Antonio Bucchiarone

	2009
18		Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190
17		Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione: From Requirements to code: an Architecture-centric Approach for producing Quality Systems CoRR abs/0910.0493: (2009)
16		Antonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009)
	2008
15		Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
14		Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente: Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
13		Antonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy. ECEASST 10: (2008)
12		Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti: Modelling Dynamic Software Architectures using Typed Graph Grammars. Electr. Notes Theor. Comput. Sci. 213(1): 39-53 (2008)
11		Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini: An architectural approach to the correct and automatic assembly of evolving component-based systems. Journal of Systems and Software 81(12): 2237-2251 (2008)
	2007
10		Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
9		Antonio Bucchiarone, Luigi Presti: QoS Composition of Services for Data-Intensive Application. ICIW 2007: 46
8		Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: Architecting Fault-tolerant Component-based Systems: from requirements to testing. Electr. Notes Theor. Comput. Sci. 168: 77-90 (2007)
	2006
7		Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
6		Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli: Towards an architectural approach for the dynamic and automatic composition of software components. ROSATEA 2006: 12-21
	2005
5		Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
4		Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
3		Antonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
	2004
2		Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365
	2003
1		Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-

Coauthor Index

1	Maurice H. ter Beek	[10]
2	Antonia Bertolino	[4]
3	Roberto Bruni	[12] [14]
4	Greg Dennis	[16]
5	Fabrizio Facchini	[5]
6	Alessandro Fantechi	[15]
7	Juan P. Galeotti	[13]
8	Stefania Gnesi	[3] [4] [10] [12] [14] [15] [16]
9	Dan Hirsch	[14]
10	Paola Inverardi	[1]
11	Giuseppe Lami	[15]
12	Alberto Lluch-Lafuente	[14]
13	Hernán C. Melgratti	[12]
14	Henry Muccini	[2] [4] [5] [7] [8] [17]
15	Patrizio Pelliccione	[2] [5] [6] [7] [8] [11] [17] [18]
16	P. Pierini	[2] [3]
17	Andrea Polini	[6] [11]
18	Luigi Presti	[9]
19	Olga Runge	[18]
20	Davide Di Ruscio	[17]
21	Massimo Tivoli	[1] [6] [11]
22	Gianluca Trentanni	[15]
23	Charlie Vattani	[18]

Colors in the list of coauthors