| 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 | 177 | 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 |
| 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 |
| 08031software 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 | 86 | 2008 |
| 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 | 77 | 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 | 57 | 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 | 53 | 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 | 46 | 2021 |
| 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 ComputingICSOC 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 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 | 45 | 2016 |
| 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 |
Marco AutiliProfessore Associato, Università dell'AquilaPatvirtintas el. paštas univaq.it
