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
1792007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1262007
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
1152007
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
1152006
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
962012
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
932018
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
842009
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
672015
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
642010
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
602011
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
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
562020
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
542010
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
512006
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
492008
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
482008
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
472010
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
452005
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
412009
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
392017
The system can't perform the operation now. Try again later.
Articles 1–20