Mario Bravetti

2008
53	EE	Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
52	EE	Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
51	EE	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)
50	EE	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)
49	EE	Mario Bravetti, Gianluigi Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4): 451-478 (2008)
48	EE	Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)
47	EE	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)
2007
46	EE	Mario Bravetti, Gianluigi Zavattaro: A Theory for Strong Service Compliance. COORDINATION 2007: 96-112
45	EE	Mario Bravetti, Gianluigi Zavattaro: Contract Based Multi-party Service Composition. FSEN 2007: 207-222
44	EE	Mario Bravetti, Gianluigi Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Software Composition 2007: 34-50
43	EE	Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
42	EE	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)
41	EE	Mario Bravetti, Gianluigi Zavattaro: Service oriented computing from a process algebraic perspective. J. Log. Algebr. Program. 70(1): 3-14 (2007)
40	EE	Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)
39	EE	Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)
38	EE	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)
2006
37		Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings Springer 2006
36	EE	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)
35	EE	Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
34	EE	Mario Bravetti: Stochastic and Real Time in Process Algebra: A Conceptual Overview. Electr. Notes Theor. Comput. Sci. 162: 113-119 (2006)
33	EE	Mario Bravetti, Gianluigi Zavattaro: Service Oriented Computing: A New Challenge for Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006)
32	EE	Jos C. M. Baeten, Mario Bravetti: A Generic Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 65-71 (2006)
2005
31		Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro: 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 Springer 2005
30	EE	Jos C. M. Baeten, Mario Bravetti: A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR 2005: 248-262
29	EE	Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835
28	EE	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)
27	EE	Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)
2004
26	EE	Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
25	EE	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
24	EE	Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806
23	EE	Mario Bravetti: Real Time and Stochastic Time. SFM 2004: 132-180
22	EE	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
21	EE	Mario Bravetti, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004)
20	EE	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)
19	EE	Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)
18		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)
2003
17	EE	Mario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
16		Marco Bernardo, Mario Bravetti: Performance measure sensitive congruences for Markovian process algebras. Theor. Comput. Sci. 290(1): 117-160 (2003)
15		Mario Bravetti, Alessandro Aldini: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290(1): 355-406 (2003)
2002
14	EE	Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
13	EE	Mario Bravetti: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV 2002: 209-210
12	EE	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)
11	EE	Mario Bravetti: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
10	EE	Mario Bravetti: Revisiting Interactive Markov Chains. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
9	EE	Mario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)
2001
8	EE	Marco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151
7	EE	Mario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183
6	EE	Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
2000
5	EE	Mario Bravetti, Roberto Gorrieri: A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755
4		Alessandro Aldini, Mario Bravetti: An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606
3	EE	Mario Bravetti, Marco Bernardo: Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
2	EE	Mario Bravetti, Roberto Gorrieri: Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. Electr. Notes Theor. Comput. Sci. 27: (1999)
1998
1	EE	Mario Bravetti, Marco Bernardo, Roberto Gorrieri: Towards Performance Evaluation with General Distributions in Process Algebras. CONCUR 1998: 405-422

Coauthor Index

1	Luca Aceto	[39] [40] [48]
2	Alessandro Aldini	[4] [6] [7] [14] [15] [18]
3	Jos C. M. Baeten	[30] [32] [47]
4	Marco Bernardo	[1] [3] [8] [16]
5	Nadia Busi	[25]
6	Adalberto Casalboni	[36] [38]
7	Pedro R. D'Argenio	[22]
8	Wan Fokkink	[39] [40] [48]
9	Stephen Gilmore (Stephen T. Gilmore)	[43]
10	Andrew D. Gordon (Andy Gordon)	[39] [40] [48]
11	Roberto Gorrieri	[1] [2] [5] [9] [12] [14] [17] [18] [19] [20] [24] [25] [26] [27] [28]
12	Claudio Guidi	[29] [43]
13	Chris Hankin	[14]
14	Holger Hermanns	[35]
15	Joost-Pieter Katoen	[35]
16	Leïla Kloul	[31]
17	Ivan Lanese	[53]
18	Diego Latella	[52]
19	Michele Loreti	[52]
20	Roberto Lucchi	[17] [19] [24] [25] [26] [27] [28] [29]
21	Mieke Massink	[52]
22	Manuel Núñez	[36] [37] [38]
23	Alessandra Di Pierro	[14]
24	Ismael Rodríguez	[36] [38]
25	Mirco Tribastone	[43]
26	Herbert Wiklicky	[14]
27	Gianluigi Zavattaro	[19] [21] [24] [25] [26] [27] [28] [29] [31] [33] [37] [41] [42] [44] [45] [46] [49] [52] [53]