![]() | ![]() |
| 2012 | ||
|---|---|---|
| 31 | Stephen 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 | ||
| 30 | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu: A Context-Aware Framework for Business Processes Evolution. EDOCW 2011: 146-154 | |
| 29 | Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin: Adaptation of service-based business processes by context-aware replanning. SOCA 2011: 1-8 | |
| 2010 | ||
| 28 | Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153 | |
| 27 | Vasilios Andrikopoulos, Antonio Bucchiarone, Elisabetta Di Nitto, Raman Kazhamiakin, Stephen Lane, Valentina Mazza, Ita Richardson: Service Engineering. S-CUBE Book 2010: 271-337 | |
| 26 | Andreas 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 | |
| 25 | Antonio 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 | |
| 24 | Dominik 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 | |
| 23 | Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi: A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300 | |
| 2009 | ||
| 22 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108 | |
| 21 | Antonio 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 | |
| 20 | Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190 | |
| 19 | Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore: A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75 | |
| 18 | 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) | |
| 17 | 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 | ||
| 16 | Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi: QuARS Express - A Tool Demonstration. ASE 2008: 473-474 | |
| 15 | 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 | |
| 14 | Antonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy. ECEASST 10: (2008) | |
| 13 | Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi: Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75): (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- | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page