Antonio Bucchiarone
Antonio Bucchiarone
FBK-DAS, Trento, Italy
Verified email at fbk.eu - Homepage
TitleCited byYear
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
1662007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 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), 51, 2006
1082006
Testing service composition
A Bucchiarone, H Melgratti, F Severoni
Proceedings of the 8th Argentine Symposium on Software Engineering (ASSE’07), 2007
992007
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
792012
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
752010
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
742009
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
562006
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
472010
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
452010
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
442008
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
432011
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
422006
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
392008
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
392005
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
372005
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
342010
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
322009
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
312015
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
292009
The system can't perform the operation now. Try again later.
Articles 1–20