Dr. Antonio Bucchiarone
Ph.D. in Computer Science and Engineering
Book Chapters
- A. Bucchiarone, D. di Ruscio, H. Muccini and P. Pelliccione.
From
Requirements to Java code: an Architecture-centric Approach for
producing quality systems.
In: Chapter in "Model-Driven Software
Development: Integrating Quality Assurance", Joerg Rech and Christian
Bunse (Eds.). Publisher: Information Science Reference (Idea Group). To
appear in 2008.
International Journals
- P. Pelliccione, M. Tivoli, A. Bucchiarone, and A. Polini
An
architectural approach to the correct and automatic assembly of
evolving component-based systems.
Journal of Systems and Software, 2008. 10.1016/j.jss.2008.05.030
- M.H. ter Beek, A. Bucchiarone, and S. Gnesi
Formal
Methods for Service Composition.
Annals of Mathematics, Computing &
Teleinformatics 1, 5 (2007), 1-10.
International Conferences and Workshops
- A. Bucchiarone, C. Cappiello, E. Di Nitto, R. Kazhamiakin, V. Mazza and M. Pistore
Design for Adaptation of Service-Based Applications: Main Issues and Requirements.
To appear in Fifth International Workshop on Engineering Service-Oriented Applications: Supporting Software Service Development Lifecycles (WESOA), 2009
- A. Bucchiarone, A. Lluch Lafuente, A. Marconi and M. Pistore
A formalisation of Adaptable Pervasive Flows.
To appear in Proceedings of the 6th International Workshop on Web Services and Formal Methods (WSFM'09), Bologna, Italy, 4-5 September 2009.
- A. Bucchiarone, P. Pelliccione, C. Vattani and O. Runge
Self-Repairing Systems Modeling and Verification using AGG
To appear in Proceedings of the Joinf Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, Cambridge, UK, 14-17 September 2009.
- A. Bucchiarone, S. Gnesi, M. ter Beek
Dynamic
Software Architecture Development: Towards an Automated Process
To appear in Proceedings of the 35th EUROMICRO
Conference
on Software Engineering and Advanced Applications (SEAA'09), Patras,
Greece, IEEE Press, 2009.
- A. Bucchiarone, S. Gnesi, G. Trentanni and A. Fantechi
Evaluation
of Natural Language Requirements in the MODCONTROL Project
in Ercim News Number 75 - October 2008
- A. Bucchiarone, G. Dennis and S. Gnesi
A Graph-based Design
Framework for Global Computing Systems
ENTCS, Volume 236, 2 April 2009, Pages
117-130. Proceedings of the 3rd
International Workshop on Views On Designing Complex Architectures
(VODCA 2008).
- R. Bruni, A. Bucchiarone, S. Gnesi, D. Hirsch and A. Lluch Lafuente
Graph-Based
Design and Analysis of Dynamic Software Architectures.
Concurrency, Graphs and Models, LNCS, vol.
5065, pages. 37-56, 2008.
- A. Bucchiarone
Formal Specification and
Validation of Dynamic Software Architectures.
Doctoral Symposium at the 15th International
Symposium on Formal Methods (FM'08), May 26 - 30, 2008, Turku, Finland.
- A. Bucchiarone and J. P. Galeotti
Dynamic Software
Architectures Verification using DynAlloy.
ECEASST, Volume 10: Graph Transformation and
Visual Modeling Techniques 2008
- A. Bucchiarone, M. ter Beek and S. Gnesi
Formal Methods for
Service Composition.
3rd South-East European Workshop on Formal
Methods (SEEFM'07).
30 November 2007 to 1 December 2007 Thessaloniki, Greece.
- A. Bucchiarone, H. Melgratti, S. Gnesi and R. Bruni
Modelling Dynamic
Software Architectures using Typed Graph Grammars.
Graph Transformation for Verification and
Concurrency (GT-VC 2007).
ENTCS, vol. 213, n. 1, pag. 39-53, 2007
- A. Bucchiarone, H. Melgratti and F. Severoni
Testing Service
Composition.
In Proceedings of the 8th Argentine Symposium
on Software Engineering (ASSE'07) Mar del Plata, Argentina August
29-31, 2007.
- A. Bucchiarone, M. ter Beek and S. Gnesi
Web
Service Composition Approaches: From Industrial Standards to Formal
Methods.
In Proceedings of the 2nd International
Conference on Internet and Web Applications and Services (ICIW'07), IEEE
Computer Society , 2007.
- A. Bucchiarone and L. Presti
QoS
Composition of Services for Data-Intensive Application.
In Proceedings of the 2nd International Conference on
Internet and Web Applications and Services (ICIW'07), IEEE
Computer Society, 2007.
- A. Bucchiarone, P. Pelliccione, A. Polini and M. Tivoli.
Towards an architectural approach for the dynamic and automatic composition of software components.
In: Proc. 2nd International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 2), held in conjunction with ISSTA2006 Portland, Maine, July 17th, 2006. Pages: 12-21. ISBN: 1-59593-459-6. Publisher: ACM Press, New York, NY, USA.
- A. Bucchiarone, P. Pelliccione and H. Muccini.
Architecting Fault-tolerant Component-based Systems: from requirements to testing.
In: Proc. 2nd VODCA workshop on Views On Designing Complex Architectures, September 2006, Bertinoro, Italy. In ENTCS, Volume 168(2007), Pages 77-90 .
- A. Bucchiarone, H. Muccini and P. Pelliccione.
A Practic
al Architecture-centric Analysis Process.
In: Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006. In Springer Verlag Lecture Notes in Computer Science (LNCS) Series, Volume 4214/2006.
- A. Bucchiarone, S. Gnesi, G. Lami, D.M. Berry and G.
Trentanni.
A New Quality Model for Natural Language Requirements Specification.
In: Proc. of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’06), June 2006, Luxembourg, Grand-Duchy of Luxembourg, Essener Informatik Beitrage, ISBN 3-922602-26-6
- A. Bucchiarone and S. Gnesi.
A Survey on Service Composition Languages and Models.
[WsMaTe 2006]
- P. Pelliccione, H. Muccini, A. Bucchiarone, and F.
Facchini.
TeStor: Deriving Test Sequences from Model-based Specifications.
In: Proc. 8th International SIGSOFT Symposium on Component-based Software Engineering. May 2005, St. Louis, Missouri, USA. LNCS n. 3489. pp. 267-282.
- A. Bucchiarone, S. Gnesi and P. Pierini.
Quality Analysis of NL Requirements: An Industrial Case Study.
In: Proc. of the 13th IEEE International Requirements Engineering Conference, Paris, France. IEEE 0-7695-2425-7: 390-398.
- A. Bertolino, A. Bucchiarone, S. Gnesi, and H. Muccini.
An Architecture-centric Approach for producing Quality Systems.
In: Proc. of the 1st International Conference on Quality of Software Architectures (QoSA 2005). LNCS 3712: 21-37.
- A. Bucchiarone, H. Muccini, P. Pelliccione, and P.
Pierini.
Model-Checking plus Testing: from Software Architecture Analysis to Code Testing.
In: Proc. 1st International Workshop on Integration of Testing Methodologies
(ITM 2004). October 1-2 ,2004, Toledo, Spain. LNCS n.3236. pp 351-365.
- P.Inverardi ,M.Tivoli and A.Bucchiarone.
Automatic synthesis of coordinators of COTS group-ware applications: an example.
In: Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2003) 9-11 June, ISSN: 1080-1383. ISBN: 0-7695-1963-6. Pages: 123-128. Publisher: IEEE Computer Society, Los Alamitos, CA, USA.
Tool Demos
- A. Bucchiarone, A. Fantechi, S. Gnesi, G. Lami and G. Trentanni