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

Antonio Bucchiarone Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Lane, Antonio Bucchiarone, Ita Richardson: SOAdapt: A process reference model for developing adaptable service-based applications. Information & Software Technology 54(3): 299-316 (2012)
2011
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu: A Context-Aware Framework for Business Processes Evolution. EDOCW 2011: 146-154
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin: Adaptation of service-based business processes by context-aware replanning. SOCA 2011: 1-8
2010
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasilios Andrikopoulos, Antonio Bucchiarone, Elisabetta Di Nitto, Raman Kazhamiakin, Stephen Lane, Valentina Mazza, Ita Richardson: Service Engineering. S-CUBE Book 2010: 271-337
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl: Exploiting assumption-based verification for the adaptation of service-based applications. SAC 2010: 2430-2437
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni: An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Meiländer, Sergei Gorlatch, Cinzia Cappiello, Valentina Mazza, Raman Kazhamiakin, Antonio Bucchiarone: Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications. ServiceWave 2010: 175-186
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Antonio Bucchiarone, Fabrizio Montesi: A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300
2009
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore: Design for Adaptation of Service-Based Applications: Main Issues and Requirements. ICSOC/ServiceWave Workshops 2009: 467-476
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore: A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. Electr. Notes Theor. Comput. Sci. 236: 117-130 (2009)
2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy. ECEASST 10: (2008)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi: Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75): (2008)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizio 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Luigi Presti: QoS Composition of Services for Data-Intensive Application. ICIW 2007: 46
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini: An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA 2005: 21-37
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Stefania Gnesi, P. Pierini: Quality Analysis of NL Requirements: An Industrial Case Study. RE 2005: 390-394
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-

Coauthor Index

1Vasilios Andrikopoulos [27]
2Maurice H. ter Beek [10] [22]
3Antonia Bertolino [4]
4Roberto Bruni [12] [15]
5Cinzia Cappiello [21] [24]
6Greg Dennis [17]
7Hartmut Ehrig [28]
8Claudia Ermel [28]
9Fabrizio Facchini [5]
10Alessandro Fantechi [13] [16] [25]
11Juan P. Galeotti [14]
12Andreas Gehlert [26]
13Stefania Gnesi [3] [4] [10] [12] [13] [15] [16] [17] [22] [25]
14Sergei Gorlatch [24]
15Dan Hirsch [15]
16Paola Inverardi [1]
17Raman Kazhamiakin [21] [24] [26] [27] [29]
18Giuseppe Lami [16]
19Stephen Lane [27] [31]
20Ivan Lanese [23]
21Alberto Lluch-Lafuente [15] [19]
22Annapaola Marconi [19] [30]
23Valentina Mazza [21] [24] [27]
24Dominik Meiländer [24]
25Hernán C. Melgratti [12]
26Andreas Metzger [26]
27Fabrizio Montesi [23]
28Henry Muccini [2] [4] [5] [7] [8] [18]
29Elisabetta Di Nitto [21] [27]
30Patrizio Pelliccione [2] [5] [6] [7] [8] [11] [18] [20] [28]
31P. Pierini [2] [3]
32Marco Pistore [19] [21] [26] [29] [30]
33Klaus Pohl [26]
34Andrea Polini [6] [11]
35Luigi Presti [9]
36Heorhi Raik [29]
37Ita Richardson [27] [31]
38Olga Runge [20] [28]
39Davide Di Ruscio [18]
40Adina Sirbu [30]
41Massimo Tivoli [1] [6] [11]
42Gianluca Trentanni [13] [16] [25]
43Charlie Vattani [20]

Colors in the list of coauthors

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