Massimo Tivoli
Massimo Tivoli
Associate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)
Email verificata su di.univaq.it - Home page
TitoloCitata daAnno
Software engineering for self-adaptive systems: A research roadmap
BHC Cheng, RÚ de Lemos, H Giese, P Inverardi, J Magee, J Andersson, ...
Software engineering for self-adaptive systems, 1-26, 2009
13082009
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II, 1-32, 2013
6712013
Automatic synthesis of behavior protocols for composable web-services
A Bertolino, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the the 7th joint meeting of the European software …, 2009
1572009
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
1522007
Towards an engineering approach to component adaptation
S Becker, A Brogi, I Gorton, S Overhage, A Romanovsky, M Tivoli
Architecting Systems with Trustworthy Components, 193-215, 2006
1332006
Practical assessment of the models for identification of defect-prone classes in object-oriented commercial systems using design metrics
G Succi, W Pedrycz, M Stefanovic, J Miller
Journal of systems and software 65 (1), 1-12, 2003
922003
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems
M Autili, P Inverardi, A Navarra, M Tivoli
Proceedings of the 29th international conference on Software Engineering …, 2007
822007
Deadlock-free software architectures for com/dcom applications
P Inverardi, M Tivoli
Journal of Systems and Software 65 (3), 173-183, 2003
772003
Software architecture for correct components assembly
P Inverardi, M Tivoli
International School on Formal Methods for the Design of Computer …, 2003
692003
Failure-free coordinators synthesis for component-based architectures
M Tivoli, P Inverardi
Science of Computer Programming 71 (3), 181-212, 2008
582008
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
452005
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
442009
Automatic synthesis of modular connectors via composition of protocol mediation patterns
P Inverardi, M Tivoli
Proceedings of the 2013 International Conference on Software Engineering, 3-12, 2013
432013
A model-based synthesis process for choreography realizability enforcement
M Autili, D Di Ruscio, A Di Salle, P Inverardi, M Tivoli
International Conference on Fundamental Approaches to Software Engineering …, 2013
422013
Automatic synthesis of deadlock free connectors for COM/DCOM applications
P Inverardi, M Tivoli
ACM SIGSOFT Software Engineering Notes 26 (5), 121-131, 2001
422001
A development process for self-adapting service oriented applications
M Autili, L Berardinelli, V Cortellessa, A Di Marco, D Di Ruscio, P Inverardi, ...
International Conference on Service-Oriented Computing, 442-448, 2007
402007
The future of software: Adaptation and dependability
P Inverardi, M Tivoli
Software engineering, 1-31, 2007
402007
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
402007
Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors
M Tivoli, M Autili
362006
Automated synthesis of service choreographies
M Autili, P Inverardi, M Tivoli
IEEE Software 32 (1), 50-57, 2014
342014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20