Antonio Bucchiarone
Cited by
Cited by
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
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
A survey on services composition languages and models
A Bucchiarone, S Gnesi
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 51, 2006
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
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
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
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
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
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
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
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
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
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
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
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
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
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
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
A context-driven adaptation process for service-based applications
A Bucchiarone, R Kazhamiakin, C Cappiello, E Di Nitto, V Mazza
Proceedings of the 2nd International Workshop on Principles of Engineering†…, 2010
The system can't perform the operation now. Try again later.
Articles 1–20