Massimo Tivoli
Massimo Tivoli
Full Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
08031–software engineering for self-adaptive systems: A research road map
BHC Cheng, H Giese, P Inverardi, J Magee, R de Lemos, J Andersson, ...
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2008
Deadlock-free software architectures for com/dcom applications
P Inverardi, M Tivoli
Journal of Systems and Software 65 (3), 173-183, 2003
Software architecture for correct components assembly
P Inverardi, M Tivoli
International School on Formal Methods for the Design of Computer …, 2003
Failure-free coordinators synthesis for component-based architectures
M Tivoli, P Inverardi
Science of Computer Programming 71 (3), 181-212, 2008
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
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
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
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
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
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
The future of software: Adaptation and dependability
P Inverardi, M Tivoli
International Summer School on Software Engineering, 1-31, 2006
Automated synthesis of service choreographies
M Autili, P Inverardi, M Tivoli
IEEE Software 32 (1), 50-57, 2014
Automatic synthesis of deadlock free connectors for COM/DCOM applications
P Inverardi, M Tivoli
ACM SIGSOFT Software Engineering Notes 26 (5), 121-131, 2001
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
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
Automatic generation of detailed flight plans from high-level mission descriptions
DD Ruscio, I Malavolta, P Pelliccione, M Tivoli
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
The system can't perform the operation now. Try again later.
Articles 1–20