Follow
Alexander Perucci
Alexander Perucci
Ph.D. in Engineering and Information Science, University of L'Aquila
Verified email at univaq.it - Homepage
Title
Cited by
Cited by
Year
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
432017
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
202014
A hybrid approach to microservices load balancing
M Autili, A Perucci, L De Lauretis
Microservices: Science and Engineering, 249-269, 2020
132020
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
112021
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
102015
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
92015
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
72017
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
72014
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
52020
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
42021
Mapping BPMN2 service choreographies to colored petri nets
T Najem, A Perucci
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020
42020
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis.
A Perucci, M Autili, M Tivoli
MODELS (Satellite Events), 38-44, 2017
32017
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
32015
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
32015
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
The system can't perform the operation now. Try again later.
Articles 1–17