Follow
Antonio Bucchiarone
Antonio Bucchiarone
FBK-MoDiS, Trento, Italy
Verified email at fbk.eu - Homepage
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
1812007
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
1352018
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1252007
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
1172007
Grand challenges in model-driven engineering: an analysis of the state of the research
A Bucchiarone, J Cabot, RF Paige, A Pierantonio
Software and Systems Modeling 19 (1), 5-13, 2020
1162020
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
992012
Microservices: Migration of a mission critical system
M Mazzara, N Dragoni, A Bucchiarone, A Giaretta, ST Larsen, S Dustdar
IEEE Transactions on Services Computing 14 (5), 1464-1477, 2018
912018
Design for adaptation of service-based applications: Main issues and requirements
A Bucchiarone, C Cappiello, ED Nitto, R Kazhamiakin, V Mazza, ...
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 467-476, 2009
862009
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
802010
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
772015
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
652011
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
622006
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
572010
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
552006
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
492005
A context-aware framework for dynamic composition of process fragments in the internet of services
A Bucchiarone, A Marconi, M Pistore, H Raik
Journal of Internet Services and Applications 8 (1), 1-23, 2017
482017
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
482010
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
482008
Graph-based design and analysis of dynamic software architectures
R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente
Concurrency, Graphs and Models, 37-56, 2008
482008
The system can't perform the operation now. Try again later.
Articles 1–20