Mario Bravetti

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable processes. Logical Methods in Computer Science 8(4) (2012)

Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro: A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS 2012: 110-127

Michael Lienhardt, Mario Bravetti, Davide Sangiorgi: An Object Group-Based Component Model. ISoLA (1) 2012: 64-78

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283

Michele Boreale, Mario Bravetti: Advanced Mechanisms for Service Composition, Query and Discovery. Results of the SENSORIA Project 2011: 282-301

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105

Mario Bravetti, Tevfik Bultan (Eds.): Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6551, Springer 2011, isbn 978-3-642-19588-4

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Steps on the Road to Component Evolvability. FACS 2010: 295-299

Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter: A Component Model for the ABS Language. FMCO 2010: 165-183

Mario Bravetti: File Managing and Program Execution in Web Operating Systems. CoRR abs/1005.5045 (2010)

Mario Bravetti, Gianluigi Zavattaro: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3): 565-599 (2009)

Mario Bravetti, Gianluigi Zavattaro: A theory of contracts for strong service compliance. Mathematical Structures in Computer Science 19(3): 601-638 (2009)

Mario Bravetti, Gianluigi Zavattaro: Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295

Mario Bravetti, Gianluigi Zavattaro (Eds.): CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, isbn 978-3-642-04080-1

Mario Bravetti: Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. Electr. Notes Theor. Comput. Sci. 194(2): 31-57 (2008)

Mario Bravetti: Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. Electr. Notes Theor. Comput. Sci. 209: 83-106 (2008)

Mario Bravetti, Gianluigi Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4): 451-478 (2008)

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)

Jos C. M. Baeten, Mario Bravetti: A ground-complete axiomatisation of finite-state processes in a generic process algebra. Mathematical Structures in Computer Science 18(6): 1057-1089 (2008)

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18

Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68

Mario Bravetti, Gianluigi Zavattaro: On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18

Mario Bravetti, Gianluigi Zavattaro: Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54

Mario Bravetti, Gianluigi Zavattaro: Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebr. Program. 70(1): 1-2 (2007)

Mario Bravetti, Gianluigi Zavattaro: Service oriented computing from a process algebraic perspective. J. Log. Algebr. Program. 70(1): 3-14 (2007)

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)

Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. UCS 13(13): 2035-2075 (2007)

Mario Bravetti, Gianluigi Zavattaro: A Theory for Strong Service Compliance. COORDINATION 2007: 96-112

Mario Bravetti, Gianluigi Zavattaro: Contract Based Multi-party Service Composition. FSEN 2007: 207-222

Mario Bravetti, Gianluigi Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Software Composition 2007: 34-50

Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221

Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-barter Models to an Implementation Based on Web Services. Electr. Notes Theor. Comput. Sci. 159: 241-264 (2006)

Jos C. M. Baeten, Mario Bravetti: A Generic Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 65-71 (2006)

Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)

Mario Bravetti: Stochastic and Real Time in Process Algebra: A Conceptual Overview. Electr. Notes Theor. Comput. Sci. 162: 113-119 (2006)

Mario Bravetti, Gianluigi Zavattaro: Service Oriented Computing: A New Challenge for Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006)

Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (Eds.): Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Lecture Notes in Computer Science 4184, Springer 2006, isbn 3-540-38862-1

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)

Jos C. M. Baeten, Mario Bravetti: A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR 2005: 248-262

Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835

Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.): 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, Proceedings. Lecture Notes in Computer Science 3670, Springer 2005, isbn 3-540-28701-9

Mario Bravetti, Roberto Gorrieri: Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. Electr. Notes Theor. Comput. Sci. 99: 1-2 (2004)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)

Mario Bravetti, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004)

Alessandro Aldini, Mario Bravetti, Roberto Gorrieri: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security 12(2): 191-245 (2004)

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70

Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12

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

Mario Bravetti: Real Time and Stochastic Time. SFM 2004: 132-180

Mario Bravetti, Pedro R. D'Argenio: Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. Validation of Stochastic Systems 2004: 44-88

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. Electr. Notes Theor. Comput. Sci. 85(3): 54-70 (2003)

Marco Bernardo, Mario Bravetti: Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290(1): 117-160 (2003)

Mario Bravetti, Alessandro Aldini: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003)

Mario Bravetti: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. Electr. Notes Theor. Comput. Sci. 68(5): 34-64 (2002)

Mario Bravetti: Revisiting Interactive Markov Chains. Electr. Notes Theor. Comput. Sci. 68(5): 65-84 (2002)

Mario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)

Mario Bravetti, Roberto Gorrieri: Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3(4): 465-520 (2002)

Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43

Mario Bravetti: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV 2002: 209-210

Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. Electr. Notes Theor. Comput. Sci. 52(3): 246-274 (2001)

Marco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151

Mario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183

Mario Bravetti, Marco Bernardo: Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. Electr. Notes Theor. Comput. Sci. 39(3): 197-230 (2000)

Alessandro Aldini, Mario Bravetti: An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606

Mario Bravetti, Roberto Gorrieri: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755

Mario Bravetti, Roberto Gorrieri: Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. Electr. Notes Theor. Comput. Sci. 27: 107-126 (1999)

Mario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422