Mario Bravetti - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Adaptable Processes (Extended Abstract)Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. forte 2011: 90-105 [doi]

Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected PapersMario Bravetti, Tevfik Bultan, editors, Volume 6551 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2009

CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. ProceedingsMario Bravetti, Gianluigi Zavattaro, editors, Volume 5710 of Lecture Notes in Computer Science, Springer, 2009. [doi]

On the expressive power of process interruption and compensationMario Bravetti, Gianluigi Zavattaro. mscs, 19(3):565-599, 2009. [doi]

A theory of contracts for strong service complianceMario Bravetti, Gianluigi Zavattaro. mscs, 19(3):601-638, 2009. [doi]

Contract-Based Discovery and Composition of Web ServicesMario Bravetti, Gianluigi Zavattaro. sfm 2009: 261-295 [doi]

2008

Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 75(1):1-2, 2008. [doi]

A ground-complete axiomatisation of finite-state processes in a generic process algebraJos C. M. Baeten, Mario Bravetti. mscs, 18(6):1057-1089, 2008. [doi]

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and TimeMario Bravetti. ENTCS, 209:83-106, 2008. [doi]

Combining Timed Coordination Primitives and Probabilistic Tuple SpacesMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro. tgc 2009: 52-68 [doi]

On the Expressive Power of Process Interruption and CompensationMario Bravetti, Gianluigi Zavattaro. wsfm 2009: 1-18 [doi]

Contract-Driven Implementation of ChoreographiesMario Bravetti, Ivan Lanese, Gianluigi Zavattaro. tgc 2009: 1-18 [doi]

Contract Compliance and Choreography Conformance in the Presence of Message QueuesMario Bravetti, Gianluigi Zavattaro. wsfm 2009: 37-54 [doi]

A Foundational Theory of Contracts for Multi-party Service CompositionMario Bravetti, Gianluigi Zavattaro. FUIN, 89(4):451-478, 2008. [doi]

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed SystemsMario Bravetti. ENTCS, 194(2):31-57, 2008. [doi]

2007

Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 70(2):119-120, 2007. [doi]

Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 72(1):1-2, 2007. [doi]

A Theory for Strong Service ComplianceMario Bravetti, Gianluigi Zavattaro. coordination 2007: 96-112 [doi]

Towards a Unifying Theory for Choreography Conformance and Contract ComplianceMario Bravetti, Gianluigi Zavattaro. SC 2007: 34-50 [doi]

Guest editor s introduction: Special issue on Web Services and Formal MethodsMario Bravetti, Gianluigi Zavattaro. jlp, 70(1):1-2, 2007. [doi]

Replicating Web Services for ScalabilityMario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone. tgc 2008: 204-221 [doi]

Service oriented computing from a process algebraic perspectiveMario Bravetti, Gianluigi Zavattaro. jlp, 70(1):3-14, 2007. [doi]

From Theoretical e-Barter Models to Two Alternative Implementations Based on Web SevicesMario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez. jucs, 13(13):2035-2075, 2007. [doi]

Contract Based Multi-party Service CompositionMario Bravetti, Gianluigi Zavattaro. fsen 2007: 207-222 [doi]

2006

A Generic Process AlgebraJos C. M. Baeten, Mario Bravetti. ENTCS, 162:65-71, 2006. [doi]

Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, ProceedingsMario Bravetti, Manuel Núñez, Gianluigi Zavattaro, editors, Volume 4184 of Lecture Notes in Computer Science, Springer, 2006.

Stochastic and Real Time in Process Algebra: A Conceptual OverviewMario Bravetti. ENTCS, 162:113-119, 2006. [doi]

YMCA: - Why Markov Chain Algebra? - Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. ENTCS, 162:107-112, 2006. [doi]

Service Oriented Computing: A New Challenge for Process AlgebrasMario Bravetti, Gianluigi Zavattaro. ENTCS, 162:121-125, 2006. [doi]

From Theoretical e-barter Models to an Implementation Based on Web ServicesMario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez. ENTCS, 159:241-264, 2006. [doi]

2005

A Ground-Complete Axiomatization of Finite State Processes in Process AlgebraJos C. M. Baeten, Mario Bravetti. concur 2005: 248-262 [doi]

Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, ProceedingsMario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Volume 3670 of Lecture Notes in Computer Science, Springer, 2005.

Quantitative information in the tuple space coordination modelMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. TCS, 346(1):28-57, 2005. [doi]

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in LindaMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ENTCS, 128(5):39-53, 2005. [doi]

Supporting e-commerce systems formalization with choreography languagesMario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. SAC 2005: 831-835 [doi]

2004

A process-algebraic approach for the analysis of probabilistic noninterferenceAlessandro Aldini, Mario Bravetti, Roberto Gorrieri. jcs, 12(2):191-245, 2004.

PrefaceMario Bravetti, Gianluigi Zavattaro. ENTCS, 105:1-4, 2004. [doi]

Real Time and Stochastic TimeMario Bravetti. sfm 2004: 132-180 [doi]

Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General DistributionsMario Bravetti, Pedro R. D Argenio. voss 2004: 44-88 [doi]

Combining Partitions in SecSpacesMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ENTCS, 99:31-47, 2004. [doi]

Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and TimeMario Bravetti, Roberto Gorrieri. ENTCS, 99:1-2, 2004. [doi]

Security Issues in the Tuple-Space Coordination ModelMario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. ifip1-7 2005: 1-12 [doi]

Probabilistic and Prioritized Data Retrieval in the Linda Coordination ModelMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. coordination 2004: 55-70 [doi]

Web Services for E-commerce: guaranteeing security access and quality of serviceMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri. SAC 2004: 800-806 [doi]

2003

Performance measure sensitive congruences for Markovian process algebrasMarco Bernardo, Mario Bravetti. TCS, 290(1):117-160, 2003.

Discrete time generative-reactive probabilistic processes with different advancing speedsMario Bravetti, Alessandro Aldini. TCS, 290(1):355-406, 2003.

A formal approach for checking security properties in SecSpacesMario Bravetti, Roberto Gorrieri, Roberto Lucchi. ENTCS, 85(3), 2003. [doi]

2002

2001

Reward Based Congruences: Can We Aggregate More?Marco Bernardo, Mario Bravetti. papm 2001: 136-151 [doi]

Expressing Processes with Different Action Durations through ProbabilitiesMario Bravetti, Alessandro Aldini. papm 2001: 168-183 [doi]

Non-determinism in Probabilistic Timed Systems with General DistributionsMario Bravetti, Alessandro Aldini. ENTCS, 52(3), 2001. [doi]

2000

An Asynchronous Calculus for Generative-Reactive Probalistic SystemsAlessandro Aldini, Mario Bravetti. icalp 2000: 591-606

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and TimeMario Bravetti, Marco Bernardo. ENTCS, 39(3), 2000. [doi]

A Complete Axiomatization for Observational Congruence of Prioritized Finite-State BehaviorsMario Bravetti, Roberto Gorrieri. icalp 2000: 744-755 [doi]

1999

Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action RefinementMario Bravetti, Roberto Gorrieri. ENTCS, 27, 1999. [doi]

1998

Towards Performance Evaluation with General Distributions in Process AlgebrasMario Bravetti, Marco Bernardo, Roberto Gorrieri. concur 1998: 405-422 [doi]