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 | 179 | 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 | 170 | 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 | 143 | 2006 |
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 | 88 | 2008 |
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 | 87 | 2007 |
Deadlock-free software architectures for com/dcom applications P Inverardi, M Tivoli Journal of Systems and Software 65 (3), 173-183, 2003 | 84 | 2003 |
Software architecture for correct components assembly P Inverardi, M Tivoli International School on Formal Methods for the Design of Computer …, 2003 | 76 | 2003 |
Failure-free coordinators synthesis for component-based architectures M Tivoli, P Inverardi Science of Computer Programming 71 (3), 181-212, 2008 | 65 | 2008 |
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 | 60 | 2015 |
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 | 56 | 2013 |
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 | 55 | 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 | 50 | 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 | 49 | 2009 |
Cooperative intelligent transport systems: Choreography-based urban traffic coordination M Autili, L Chen, C Englund, C Pompilio, M Tivoli IEEE Transactions on Intelligent Transportation Systems 22 (4), 2088-2099, 2021 | 48 | 2021 |
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 | 47 | 2016 |
Automated synthesis of service choreographies M Autili, P Inverardi, M Tivoli IEEE Software 32 (1), 50-57, 2014 | 46 | 2014 |
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 | 46 | 2007 |
The future of software: Adaptation and dependability P Inverardi, M Tivoli International Summer School on Software Engineering, 1-31, 2006 | 46 | 2006 |
Automatic synthesis of deadlock free connectors for COM/DCOM applications P Inverardi, M Tivoli ACM SIGSOFT Software Engineering Notes 26 (5), 121-131, 2001 | 45 | 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 | 44 | 2017 |