Antonio Bucchiarone
Title
Cited by
Cited by
Year
Web service composition approaches: From industrial standards to formal methods
M Ter Beek, A Bucchiarone, S Gnesi
Second International Conference on Internet and Web Applications and …, 2007
1732007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1232007
A survey on services composition languages and models
A Bucchiarone, S Gnesi
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006) 7, 2006
1182006
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
1152007
Dynamic adaptation of fragment-based and context-aware business processes
A Bucchiarone, A Marconi, M Pistore, H Raik
2012 IEEE 19th International Conference on Web Services, 33-41, 2012
922012
Design for adaptation of service-based applications: Main issues and requirements
A Bucchiarone, C Cappiello, E Di Nitto, R Kazhamiakin, V Mazza, ...
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 467-476, 2009
812009
From monolithic to microservices: An experience report from the banking domain
A Bucchiarone, N Dragoni, S Dustdar, ST Larsen, M Mazzara
Ieee Software 35 (3), 50-55, 2018
702018
Service research challenges and solutions for the future internet: S-cube-towards engineering, managing and adapting service-based systems
M Papazoglou, K Pohl, M Parkin, A Metzger
Springer, 2010
632010
A survey on service composition approaches: From industrial standards to formal methods
M ter Beek, A Bucchiarone, S Gnesi
Technical Report 2006-TR-15, 2006
602006
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
572015
Adaptation of service-based business processes by context-aware replanning
A Bucchiarone, M Pistore, H Raik, R Kazhamiakin
2011 IEEE International Conference on Service-Oriented Computing and …, 2011
542011
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
512010
Modelling dynamic software architectures using typed graph grammars
R Bruni, A Bucchiarone, S Gnesi, H Melgratti
Electronic Notes in Theoretical Computer Science 213 (1), 39-53, 2008
472008
Graph-based design and analysis of dynamic software architectures
R Bruni, A Bucchiarone, S Gnesi, D Hirsch, AL Lafuente
Concurrency, Graphs and Models, 37-56, 2008
472008
A new quality model for natural language requirements specifications
DM Berry, A Bucchiarone, S Gnesi, G Lami, G Trentanni
Proceedings of the international workshop on requirements engineering …, 2006
472006
Formal analysis and verification of self-healing systems
H Ehrig, C Ermel, O Runge, A Bucchiarone, P Pelliccione
International Conference on Fundamental Approaches to Software Engineering …, 2010
462010
Quality analysis of NL requirements: an industrial case study
A Bucchiarone, S Gnesi, P Pierini
13th IEEE International Conference on Requirements Engineering (RE'05), 390-394, 2005
422005
Self-repairing systems modeling and verification using AGG
A Bucchiarone, P Pelliccione, C Vattani, O Runge
2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009
392009
TeStor: Deriving Test Sequences from Model-Based Specifications
P Pelliccione, H Muccini, A Bucchiarone, F Facchini
International Symposium on Component-Based Software Engineering, 267-282, 2005
382005
A formalisation of adaptable pervasive flows
A Bucchiarone, AL Lafuente, A Marconi, M Pistore
International Workshop on Web Services and Formal Methods, 61-75, 2009
372009
The system can't perform the operation now. Try again later.
Articles 1–20