Mario Bravetti

	2011
65		Mario Bravetti, Tevfik Bultan: Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers Springer 2011
64		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105
63		Michele Boreale, Mario Bravetti: Advanced Mechanisms for Service Composition, Query and Discovery. Results of the SENSORIA Project 2011: 282-301
	2010
62		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Steps on the Road to Component Evolvability. FACS 2010: 295-299
61		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
60		Mario Bravetti: File Managing and Program Execution in Web Operating Systems CoRR abs/1005.5045: (2010)
	2009
59		Mario Bravetti, Gianluigi Zavattaro: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings Springer 2009
58		Mario Bravetti, Gianluigi Zavattaro: Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295
57		Mario Bravetti, Gianluigi Zavattaro: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3): 565-599 (2009)
56		Mario Bravetti, Gianluigi Zavattaro: A theory of contracts for strong service compliance. Mathematical Structures in Computer Science 19(3): 601-638 (2009)
	2008
55		Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
54		Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
53		Mario Bravetti, Gianluigi Zavattaro: On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18
52		Mario Bravetti, Gianluigi Zavattaro: Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54
51		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		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		Mario Bravetti, Gianluigi Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4): 451-478 (2008)
48		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)
47		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		Mario Bravetti, Gianluigi Zavattaro: A Theory for Strong Service Compliance. COORDINATION 2007: 96-112
45		Mario Bravetti, Gianluigi Zavattaro: Contract Based Multi-party Service Composition. FSEN 2007: 207-222
44		Mario Bravetti, Gianluigi Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Software Composition 2007: 34-50
43		Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
42		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		Mario Bravetti, Gianluigi Zavattaro: Service oriented computing from a process algebraic perspective. J. Log. Algebr. Program. 70(1): 3-14 (2007)
40		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)
39		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)
38		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		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		Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
34		Mario Bravetti: Stochastic and Real Time in Process Algebra: A Conceptual Overview. Electr. Notes Theor. Comput. Sci. 162: 113-119 (2006)
33		Mario Bravetti, Gianluigi Zavattaro: Service Oriented Computing: A New Challenge for Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006)
32		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		Jos C. M. Baeten, Mario Bravetti: A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. CONCUR 2005: 248-262
29		Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835
28		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		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		Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
25		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		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		Mario Bravetti: Real Time and Stochastic Time. SFM 2004: 132-180
22		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		Mario Bravetti, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004)
20		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		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		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)
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		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		Mario Bravetti: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. PAPM-PROBMIV 2002: 209-210
12		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		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)
10		Mario Bravetti: Revisiting Interactive Markov Chains. Electr. Notes Theor. Comput. Sci. 68(5): 65-84 (2002)
9		Mario Bravetti, Roberto Gorrieri: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002)
	2001
8		Marco Bernardo, Mario Bravetti: Reward Based Congruences: Can We Aggregate More? PAPM-PROBMIV 2001: 136-151
7		Mario Bravetti, Alessandro Aldini: Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV 2001: 168-183
6		Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. Electr. Notes Theor. Comput. Sci. 52(3): 246-274 (2001)
	2000
5		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		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)
	1999
2		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)
	1998
1		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	Michele Boreale	[63]
6	Tevfik Bultan	[65]
7	Nadia Busi	[25]
8	Adalberto Casalboni	[36] [38]
9	Pedro R. D'Argenio	[22]
10	Wan Fokkink	[39] [40] [48]
11	Stephen Gilmore (Stephen T. Gilmore)	[43]
12	Cinzia Di Giusto	[62] [64]
13	Andrew D. Gordon (Andy Gordon)	[39] [40] [48]
14	Roberto Gorrieri	[1] [2] [5] [9] [12] [14] [17] [18] [19] [20] [24] [25] [26] [27] [28]
15	Claudio Guidi	[29] [43]
16	Chris Hankin	[14]
17	Holger Hermanns	[35]
18	Joost-Pieter Katoen	[35]
19	Leïla Kloul	[31]
20	Ivan Lanese	[55] [61]
21	Diego Latella	[54]
22	Michael Lienhardt	[61]
23	Michele Loreti	[54]
24	Roberto Lucchi	[17] [19] [24] [25] [26] [27] [28] [29]
25	Mieke Massink	[54]
26	Manuel Núñez	[36] [37] [38]
27	Jorge A. Pérez (Jorge Andrés Pérez)	[62] [64]
28	Alessandra Di Pierro	[14]
29	Arnd Poetzsch-Heffter	[61]
30	Ismael Rodríguez	[36] [38]
31	Davide Sangiorgi	[61]
32	Jan Schäfer (Jan Schaefer)	[61]
33	Mirco Tribastone	[43]
34	Yannick Welsch	[61]
35	Herbert Wiklicky	[14]
36	Gianluigi Zavattaro	[19] [21] [24] [25] [26] [27] [28] [29] [31] [33] [37] [41] [42] [44] [45] [46] [49] [52] [53] [54] [55] [56] [57] [58] [59] [61] [62] [64]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page