Franco Mazzanti

	2011
16		Stefania Gnesi, Franco Mazzanti: An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. Results of the SENSORIA Project 2011: 390-407
15		Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino: Tools and Verification. Results of the SENSORIA Project 2011: 408-427
14		Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011)
	2010
13		Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova: An Experience on Formal Analysis of a High-Level Graphical SOA Design. FM+AM 2010: 79-98
	2009
12		João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
11		Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
	2008
10		Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
9		Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
8		Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
	2007
7		Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti: An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148
6		Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi: Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70): (2007)
	2006
5		Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
	2002
4		Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
	1999
3		Stefania Gnesi, Franco Mazzanti: On the Fly Verification of Network of Automata. PDPTA 1999: 1040-1046
	1998
2		Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
	1993
1		Paola Inverardi, Franco Mazzanti: Experimenting with Dynamic Linking with Ada. Softw., Pract. Exper. 23(1): 1-14 (1993)

Coauthor Index

1	João Abreu	[12]
2	Lucia Acciai	[8]
3	Luis Filipe Andrade	[4]
4	Paolo Baldan	[4]
5	Federico Banti	[8]
6	Massimo Bartoletti	[15]
7	Hubert Baumeister	[4]
8	Maurice H. ter Beek	[5] [6] [7] [9] [11] [13] [14]
9	Roberto Bruni	[4]
10	Luís Caires	[15]
11	Allan Clark	[8]
12	Andrea Corradini	[4]
13	Alessandro Fantechi	[2] [7] [8] [10] [14]
14	José Luiz Fiadeiro	[4] [12]
15	Fabio Gadducci	[4]
16	Stephen Gilmore (Stephen T. Gilmore)	[8]
17	Stefania Gnesi	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [16]
18	László Gönczy	[8]
19	Piotr Hoffman	[4]
20	Matthias M. Hölzl	[8]
21	Paola Inverardi	[1]
22	Nora Koch	[4] [8] [9]
23	Piotr Kosiuczenko	[4]
24	Ivan Lanese	[15]
25	Alessandro Lapadula	[4] [8] [10]
26	Diego Latella	[4]
27	Antónia Lopes	[4]
28	Michele Loreti	[4]
29	Fabio Martinelli	[6]
30	Mieke Massink	[4]
31	Philip Mayer	[8]
32	Corrado Moiso	[5]
33	Ugo Montanari	[4]
34	Rocco De Nicola	[4]
35	Cristóvão Oliveira	[4]
36	Marinella Petrocchi	[6]
37	Rosario Pugliese	[2] [4] [8] [10]
38	Davide Sangiorgi	[15]
39	Andreas Schroeder	[8]
40	Aldi Sulova	[13]
41	Andrzej Tarlecki	[4]
42	Francesco Tiezzi	[8] [10]
43	Mirco Tribastone	[8]
44	Enrico Tronci	[2]
45	Dániel Varró	[8]
46	Hugo Torres Vieira	[15]
47	Michel Wermelinger	[4]
48	Martin Wirsing	[4] [8]
49	Artur Zawlocki	[4]
50	Roberto Zunino	[15]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page