Alexander Perucci
Alexander Perucci
Ph.D. in Engineering and Information Science, University of L'Aquila
Email verificata su univaq.it - Home page
Titolo
Citata da
Citata da
Anno
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
332017
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
182014
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
92015
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
International Conference in Software Engineering for Defence Applications …, 2018
52018
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, 282-306, 2017
52017
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
M Autili, A Di Salle, F Gallo, A Perucci, M Tivoli
International Workshop on Software Engineering for Resilient Systems, 1-15, 2015
52015
A hybrid approach to microservices load balancing
M Autili, A Perucci, L De Lauretis
Microservices, 249-269, 2020
32020
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
SEFM 2015 Collocated Workshops, 240-252, 2015
32015
Dependable composition of software and services in the internet of things: a biological approach
A Di Salle, F Gallo, A Perucci
SEFM 2015 Collocated Workshops, 312-323, 2015
22015
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
2021
Mapping BPMN2 Service Choreographies to Colored Petri Nets
T Najem, A Perucci
International Conference on Software Engineering and Formal Methods, 85-100, 2019
2019
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
Software Engineering Techniques for Statically Analyzing Mobile Apps
M AUTILI, I MALAVOLTA, A PERUCCI, GL SCOCCIA, R VERDECCHIA
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–15