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 |
CHOReOSynt: enforcing choreography realizability in the future internet M Autili, D Di Ruscio, A Di Salle, A Perucci Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 20 | 2014 |
A hybrid approach to microservices load balancing M Autili, A Perucci, L De Lauretis Microservices: Science and Engineering, 249-269, 2020 | 19 | 2020 |
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption M Autili, I Malavolta, A Perucci, GL Scoccia, R Verdecchia Journal of Internet Services and Applications 12, 1-60, 2021 | 18 | 2021 |
Distributed composition of highly-collaborative services and sensors in tactical domains A Perucci, M Autili, M Tivoli, A Aloisio, P Inverardi Proceedings of 6th International Conference in Software Engineering for …, 2020 | 15 | 2020 |
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems M Autili, A Di Salle, A Perucci, M Tivoli arXiv preprint arXiv:1512.07682, 2015 | 10 | 2015 |
Biological immunity and software resilience: two faces of the same coin? M Autili, A Di Salle, F Gallo, A Perucci, M Tivoli Software Engineering for Resilient Systems: 7th International Workshop …, 2015 | 9 | 2015 |
Synthesis of distributed and adaptable coordinators to enable choreography evolution M Autili, P Inverardi, A Perucci, M Tivoli Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 8 | 2017 |
Towards adaptable and evolving service choreography in the future internet A Di Salle, P Inverardi, A Perucci 2014 IEEE World Congress on Services, 333-337, 2014 | 7 | 2014 |
Highly collaborative distributed systems: Synthesis and enactment at work M Autili, A Perucci, L Leite, M Tivoli, F Kon, A Di Salle Concurrency and Computation: Practice and Experience 33 (6), e6039, 2021 | 5 | 2021 |
Mapping BPMN2 service choreographies to colored petri nets T Najem, A Perucci Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020 | 5 | 2020 |
Towards adapting choreography-based service compositions through enterprise integration patterns A Di Salle, F Gallo, A Perucci Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops …, 2015 | 4 | 2015 |
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. A Perucci, M Autili, M Tivoli MODELS (Satellite Events), 38-44, 2017 | 3 | 2017 |
Dependable composition of software and services in the internet of things: a biological approach A Di Salle, F Gallo, A Perucci Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops …, 2015 | 3 | 2015 |
Perspectives on static analysis of mobile apps (invited talk) M Autili, I Malavolta, A Perucci, GL Scoccia Proceedings of the 3rd International Workshop on Software Development …, 2015 | | 2015 |
Synthesis and verification of self-aware systems R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ... | | |
Software Engineering Techniques for Statically Analyzing Mobile Apps M AUTILI, I MALAVOLTA, A PERUCCI, GL SCOCCIA, R VERDECCHIA | | |