PERUCCI, ALEXANDER
PERUCCI, ALEXANDER
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption
2021-01-01 Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; Verdecchia, R.
Highly collaborative distributed systems: Synthesis and enactment at work
2021-01-01 Autili, Marco; Perucci, Alexander; Leite, Leonardo; Tivoli, Massimo; Kon, Fabio; DI SALLE, Amleto
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains
2019-01-01 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
Synthesis and Verification of Self-aware Computing Systems
2017-01-01 Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis
2017-01-01 Autili, Marco; Perucci, Alexander; Tivoli, Massimo
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
2017-01-01 Autili, M; Inverardi, P; Perucci, A; Tivoli, M.
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems
2015-01-01 Autili, Marco; Perucci, Alexander; DI SALLE, Amleto; Tivoli, Massimo
Perspectives on static analysis of mobile apps (invited talk)
2015-01-01 Autili, Marco; Malavolta, Ivano; Perucci, Alexander; Scoccia, Gian Luca
Dependable Composition of Software and Services in the Internet of Things: A Biological Approach
2015-01-01 DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander
Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns
2015-01-01 DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander
Biological immunity and software resilience: two faces of the same coin?
2015-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander; Tivoli, Massimo
CHOReOSynt: Enforcing choreography realizability in the future internet
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Perucci, Alexander
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption | 1-gen-2021 | Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; Verdecchia, R. | |
| Highly collaborative distributed systems: Synthesis and enactment at work | 1-gen-2021 | Autili, Marco; Perucci, Alexander; Leite, Leonardo; Tivoli, Massimo; Kon, Fabio; DI SALLE, Amleto | |
| Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains | 1-gen-2019 | Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola | |
| Synthesis and Verification of Self-aware Computing Systems | 1-gen-2017 | Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo | |
| A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis | 1-gen-2017 | Autili, Marco; Perucci, Alexander; Tivoli, Massimo | |
| Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution | 1-gen-2017 | Autili, M; Inverardi, P; Perucci, A; Tivoli, M. | |
| On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems | 1-gen-2015 | Autili, Marco; Perucci, Alexander; DI SALLE, Amleto; Tivoli, Massimo | |
| Perspectives on static analysis of mobile apps (invited talk) | 1-gen-2015 | Autili, Marco; Malavolta, Ivano; Perucci, Alexander; Scoccia, Gian Luca | |
| Dependable Composition of Software and Services in the Internet of Things: A Biological Approach | 1-gen-2015 | DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander | |
| Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns | 1-gen-2015 | DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander | |
| Biological immunity and software resilience: two faces of the same coin? | 1-gen-2015 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander; Tivoli, Massimo | |
| CHOReOSynt: Enforcing choreography realizability in the future internet | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Perucci, Alexander |