BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Switzerland
1 × USA
2 × Italy
Collaborated with:
G.Zavattaro R.Gorrieri R.Lucchi C.Guidi S.Giallorenzo J.Mauro I.Talevi
Talks about:
servic (3) commerc (2) time (2) web (2) choreographi (1) microservic (1) discoveri (1) congruenc (1) stochast (1) guarante (1)

Person: Mario Bravetti

DBLP DBLP: Bravetti:Mario

Facilitated 1 volumes:

SEFM 2013Ed

Contributed to:

SFM 20092009
SAC 20052005
SAC 20042004
SFM-RT 20042004
ICALP 20002000
FASE 20192019

Wrote 6 papers:

SFM-2009-BravettiZ #composition #contract #web #web service
Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SAC-2005-BravettiGLZ #e-commerce #formal method
Supporting e-commerce systems formalization with choreography languages (MB, CG, RL, GZ), pp. 831–835.
SAC-2004-BravettiLZG #e-commerce #quality #security #web #web service
Web Services for E-commerce: guaranteeing security access and quality of service (MB, RL, GZ, RG), pp. 800–806.
SFM-2004-Bravetti #probability #realtime
Real Time and Stochastic Time (MB), pp. 132–180.
ICALP-2000-BravettiG #axiom #behaviour #congruence #finite
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.
FASE-2019-BravettiGMTZ #automation #deployment
Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.