dblp.uni-trier.dewww.uni-trier.de

Antonio Bucchiarone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
16EEAntonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009)
2008
15EEAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
14EERoberto 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
13EEAntonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy. ECEASST 10: (2008)
12EERoberto 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)
11EEPatrizio 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
10EEMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
9EEAntonio Bucchiarone, Luigi Presti: QoS Composition of Services for Data-Intensive Application. ICIW 2007: 46
8EEAntonio 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
7EEAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
6EEAntonio 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
5EEPatrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
4EEAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
3EEAntonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
2004
2EEAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365
2003
1EEPaola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)