Service-oriented middleware for the future internet: state of the art and research directions V Issarny, N Georgantas, S Hachem, A Zarras, P Vassiliadist, M Autili, ... Journal of internet services and applications 2, 23-45, 2011 | 240 | 2011 |
Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar M Autili, L Grunske, M Lumpe, P Pelliccione, A Tang IEEE Transactions on Software Engineering 41 (7), 620-638, 2015 | 176 | 2015 |
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14, 293-340, 2007 | 131 | 2007 |
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 | 86 | 2007 |
Context-aware adaptive services: The plastic approach M Autili, P Di Benedetto, P Inverardi International Conference on Fundamental Approaches to Software Engineering …, 2009 | 77 | 2009 |
A scenario based notation for specifying temporal properties M Autili, P Inverardi, P Pelliccione Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 61 | 2006 |
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 | 49 | 2005 |
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 |
An investigation into Android run-time permissions from the end users' perspective GL Scoccia, S Ruberto, I Malavolta, M Autili, P Inverardi Proceedings of the 5th international conference on mobile software …, 2018 | 44 | 2018 |
Automated synthesis of service choreographies M Autili, P Inverardi, M Tivoli IEEE Software 32 (1), 50-57, 2014 | 44 | 2014 |
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 | 43 | 2017 |
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 | 42 | 2018 |
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 | 39 | 2021 |
Synthesis, a tool for synthesizing correct and protocol-enhanced adaptors M Tivoli, M Autili L'Objet (Paris) 12 (1), 77-103, 2006 | 38 | 2006 |
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems M Autili, L Mostarda, A Navarra, M Tivoli Journal of Systems and Software 81 (12), 2210-2236, 2008 | 36 | 2008 |
A conceptual model for adaptable context-aware services M Autili, V Cortellessa, A Di Marco, P Inverardi International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 15, 2006 | 36 | 2006 |
An integrated development and runtime environment for the future internet A Ben Hamida, F Kon, G Ansaldi Oliva, CEM Dos Santos, JP Lorré, ... The Future Internet: Future Internet Assembly 2012: From Promises to Reality …, 2012 | 32 | 2012 |
Self-aware computing systems: Related concepts and research areas J Cámara, KL Bellman, JO Kephart, M Autili, N Bencomo, A Diaconescu, ... Self-Aware Computing Systems, 17-49, 2017 | 31 | 2017 |
CHOREOS: Large scale choreographies for the future internet M Autili, P Inverardi, M Tivoli 2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014 | 31 | 2014 |