Antonio Bucchiarone

2009
16	EE	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	EE	Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
14	EE	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	EE	Antonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy. ECEASST 10: (2008)
12	EE	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	EE	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	EE	Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
9	EE	Antonio Bucchiarone, Luigi Presti: QoS Composition of Services for Data-Intensive Application. ICIW 2007: 46
8	EE	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	EE	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
6	EE	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	EE	Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
4	EE	Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
3	EE	Antonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
2004
2	EE	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	EE	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]
15	Patrizio Pelliccione	[2] [5] [6] [7] [8] [11]
16	P. Pierini	[2] [3]
17	Andrea Polini	[6] [11]
18	Luigi Presti	[9]
19	Massimo Tivoli	[1] [6] [11]
20	Gianluca Trentanni	[15]

Colors in the list of coauthors