Follow
Massimo Tivoli
Massimo Tivoli
Full Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Verified email at univaq.it - Homepage
Title
Cited by
Cited by
Year
Automatic synthesis of behavior protocols for composable web-services
A Bertolino, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the 7th joint meeting of the European software engineering …, 2009
1782009
The SAVE approach to component-based development of vehicular systems
M Åkerholm, J Carlson, J Fredriksson, H Hansson, J Håkansson, A Möller, ...
Journal of Systems and Software 80 (5), 655-667, 2007
1692007
Towards an engineering approach to component adaptation
S Becker, A Brogi, I Gorton, S Overhage, A Romanovsky, M Tivoli
Architecting Systems with Trustworthy Components: International Seminar …, 2006
1442006
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems
M Autili, P Inverardi, A Navarra, M Tivoli
29th International Conference on Software Engineering (ICSE'07), 784-787, 2007
862007
08031--Software engineering for self-adaptive systems: A research road map
BHC Cheng, H Giese, P Inverardi, J Magee, R de Lemos, J Andersson, ...
Dagstuhl Seminar Proceedings, 2008
842008
Deadlock-free software architectures for com/dcom applications
P Inverardi, M Tivoli
Journal of Systems and Software 65 (3), 173-183, 2003
842003
Software architecture for correct components assembly
P Inverardi, M Tivoli
International School on Formal Methods for the Design of Computer …, 2003
752003
Failure-free coordinators synthesis for component-based architectures
M Tivoli, P Inverardi
Science of Computer Programming 71 (3), 181-212, 2008
652008
Automatic synthesis of modular connectors via composition of protocol mediation patterns
P Inverardi, M Tivoli
2013 35th International Conference on Software Engineering (ICSE), 3-12, 2013
542013
A model-based synthesis process for choreography realizability enforcement
M Autili, D Di Ruscio, A Di Salle, P Inverardi, M Tivoli
Fundamental Approaches to Software Engineering: 16th International …, 2013
532013
Flyaq: Enabling non-expert users to specify and generate missions of autonomous multicopters
D Bozhinoski, D Di Ruscio, I Malavolta, P Pelliccione, M Tivoli
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
512015
Connect challenges: Towards emergent connectors for eternal networked systems
V Issarny, B Steffen, B Jonsson, G Blair, P Grace, M Kwiatkowska, ...
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
492009
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
P Inverardi, L Mostarda, M Tivoli, M Autili
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
492005
The future of software: Adaptation and dependability
P Inverardi, M Tivoli
International Summer School on Software Engineering, 1-31, 2006
472006
A development process for self-adapting service oriented applications
M Autili, L Berardinelli, V Cortellessa, A Di Marco, D Di Ruscio, P Inverardi, ...
Service-Oriented Computing–ICSOC 2007: Fifth International Conference …, 2007
462007
Adaptor synthesis for real-time components
M Tivoli, P Fradet, A Girault, G Goessler
International Conference on Tools and Algorithms for the Construction and …, 2007
442007
Synthesis and verification of self-aware computing systems
R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ...
Self-Aware Computing Systems, 337-373, 2017
432017
Automated synthesis of service choreographies
M Autili, P Inverardi, M Tivoli
IEEE Software 32 (1), 50-57, 2014
432014
Automatic synthesis of deadlock free connectors for COM/DCOM applications
P Inverardi, M Tivoli
ACM SIGSOFT Software Engineering Notes 26 (5), 121-131, 2001
432001
Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates
M Autili, P Inverardi, M Tivoli
Science of Computer Programming 160, 3-29, 2018
412018
The system can't perform the operation now. Try again later.
Articles 1–20