Alexander Perucci

Alexander Perucci

Ph.D. in Engineering and Information Science

Hello. I am Alexander Perucci.
I am a Ph.D. in Engineering and Information Science.

Member of the

  • Software Engineering and Architecture Laboratory (SEA lab)
  • Software Synthesis group (SoSy group)

Main Research areas

  • Software Engineering
  • Distributed Systems
  • Mobile Robotics
  • Mobile Apps

Main Research & Development activities

  • Choreography-Based Service-Oriented Systems
  • Distributed Coordination of Mobile Robots
  • Resource Analysis of Mobile Applications

Involvement in European and National Projects

  • CHOReVOLUTION (Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet) H2020 EU project, 2015-2018, Research and Innovation Actions: ICT 9 – 2014: Tools and Methods for Software Development
  • INCIPIT (INnovating CIty Planning through Information and Communication Technologies) Italian Ministry for Economic Development project

Reviewer of International Journals

  • Elsevier Science of Computer Programming Journal (SCP)

Member of Program Committees

Sub-reviewer of International Conferences and Workshops

  • 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (MODCOMP 2015), Co-located with MoDELS 2015 – Ottawa, Canada
  • 10th International Conference on Software Engineering Advances (ICSEA 2015), Co-located with SoftNet 2015 – Barcelona, Spain
  • 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Co-located with ICSE 2015 – Florence, Italy
  • Special Section of the 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems (FOCLASA 2013), In conjunction with ESOCC 2013 – Malaga, Spain

Publicity Chair & Web Chair

  • 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) , Co-located with STAF 2016 – Wien, AU
  • 11th IEEE World Congress on SERVICES 2015 Visionary Track on Service Composition for the Future Internet (SCFI 2015) at IEEE SERVICES 2015 – New York, USA
  • 1st International Workshop on the ART of Software Composition (SCART 2015) – York, UK
  • 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015), Co-located with CONCUR 2015 – Madrid, Spain


  • Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio and Paola Inverardi (2019) Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains, in: Proceedings of 6th International Conference in Software Engineering for Defence Applications (SEDA), Rome, Italy, pages 232-244, 2019.


  • Alexander Perucci, Marco Autili and Massimo Tivoli (2017) A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis, in: Proceedings of the 4th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2017) – @MoDELS 2017, Austin, Texas, pages 38-44, 2017.
  • Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J Mengshoel, Romina Spalazzese, Massimo Tivoli (2017) Synthesis and Verification of Self-aware Computing Systems, chapter 11, pages 337-373, Cham: Springer International Publishing AG, volume Part III (11), 2017.
  • Marco Autili, Paola Inverardi, Alexander Perucci and Massimo Tivoli (2017) Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution, chapter 10, pages 282-306, Springer International Publishing, Lecture Notes In Computer Science (LNCS) – Software Engineering for Self-Adaptive Systems III. Assurances (SEfSAS 3), volume 9640 – International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers, 2017.


  • Amleto Di Salle, Francesco Gallo, Alexander Perucci (2015) Towards Adapting Choreography-based Service Compositions Through Enterprise Integration Patterns In: Proceedings of the 1st International Workshop on the ART of Software Composition (SCART), 2015, York, UK, September 8, 2015, co-located with SEFM 2015 240-252 Springer.
  • Amleto Di Salle, Francesco Gallo, Alexander Perucci (2015) Dependable Composition of Software and Services in the Internet of Things: a Biological Approach In: Proceedings of the 1st International Workshop on the ART of Software Composition (SCART), 2015, York, UK, September 8, 2015, co-located with SEFM 2015 240-252 Springer.
  • Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli (2015) On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems In: Proceedings of the 14th International Workshop on Foundations of Coordination Languages and Self-Adaptation, (FOCLASA) 2015, Madrid, Spain, September 5, 2015.
  • Marco Autili, Ivano Malavolta, Alexander Perucci, Gian Luca Scoccia (2015) Perspectives on static analysis of mobile apps (invited talk) In: Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, (DeMobile) 2015, Bergamo, Italy, August 31 – September 4, 2015 29-30 ACM.
  • Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli (2015) Biological Immunity and Software Resilience : Two Faces of the Same Coin? In: Proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, (SERENE) 2015, Paris, France, September 7-8, 2015 1-15 Springer International Publishing.


  • Marco Autili, Davide Di Ruscio, Amleto Di Salle, Alexander Perucci (2014) CHOReOSynt : enforcing choreography realizability in the future internet In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 – 22, 2014 723-726 ACM.
  • Amleto Di Salle, Paola Inverardi, Alexander Perucci (2014) Towards Adaptable and Evolving Service Choreography in the Future Internet In: 2014 IEEE World Congress on Services, (SERVICES) 2014, Anchorage, AK, USA, June 27 – July 2, 2014 333-337 IEEE Computer Society.


Senza Offesa

Senza Offesa

Testa o Croce

Testa o Croce

Spring Grow

Spring Grow

Google Hash Code 2017 Qualification Round – Streaming Videos Problem

Google Hash Code 2017 Qualification Round – Streaming Videos Problem

Intel XDK Ionic Template

Intel XDK Ionic Template



Jquery Number Validation

Jquery Number Validation

Gml Map Tool

Gml Map Tool

Automatic Web Service Generation

Automatic Web Service Generation


University of L’Aquila, Via Vetoio – Room 209 Coppito 0





december 2017 – december 2019

Postdoctoral Research Fellowship in Engineering and Information Science


Topic: Automatic synthesis of dynamically adaptable services choreographies

Supervisors: Massimo Tivoli and Marco Autili




2014 – 2017

Ph.D. in Engineering and Information Science


Curricula: Emerging computing models: algorithms, software architectures and intelligent systems

Dissertation Tile: Design and Implementation of a Development Platform for Automatic Choreography Realizability Enforcement

Defence: 18/05/2018

Supervisors: Paola Inverardi and Marco Autili


2013 – 2014

Master’s Degree, Computer Science, 110/110 CUM LAUDE


Dissertation Tile: CHOReOSynt: Automatic Synthesis of Service Choreographies

Defence: 21/10/2014

Supervisors: Paola Inverardi and Marco Autili


2012 – 2013

Master in Web Technology


Courses: LAMP Applications | The Web And Public Administration | UML modeling | JEE Platform | Service Oriented Architectures | Persistence Techniques | XML Technologies | Web Mining


2009 – 2012

Bachelor’s Degree, Computer Science, 110/110


Dissertation Tile: Implementation of an approach to Model-Driven of specification and development of Choreography of Services

Defence: 18/12/2012

Supervisors: Marco Autili and Davide di Ruscio




2016 – 2019

Subject-matter Expert (SME): Foundations of Programming Languages


Granted by: Academic Council – University of L’Aquila, AQ – ITALY

Academic years: 2016/2017 – 2017/2018 – 2018/2019




06-12 September 2015 (7 days)

Attendee LASER Summer School on Software Enginnering

Elba, Island

12th LASER Summer School on Software Enginnering “Concurrency: the next frontiers”

Concurrent and parallel computation is the locus of many of the toughest challenges in computer science and software engineering. The school brings together concurrency experts representing many different approaches and views, and presents their answers to these challenges. It is a unique opportunity to familiarize yourself with the most important results in concurrency and get familiar with work at the frontier of concurrency research.
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school’s focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers.

The school included 44 hours of lectures:

  • Systems Modeling, Requirements, Interface Specifications and Architectures in a Concurrent World – Manfred Broy, TU München
  • From Concurrent Objects to Transactional Memory – Maurice Herlihy, Brown University
  • Model-based design and analysis of concurrent and adaptive software – Jeff Kramer, Imperial College London
  • Practical concurrent programming with SCOOP: three years into the Concurrency Made Easy ERC project – Bertrand Meyer, ETH Zurich
  • Structured Orchestration of Data and Computation – Jayadev Misra, University of Texas
  • Multi-Person Development of Multi-Version Software: The Essentials of Software Design – David Parnas, Middle Road Software, Inc.

Information about the LASER School can be found here.


15-19 June 2015 (5 days)

Attendee International School on Formal Methods

Centro Residenziale Universitario of Bertinoro

15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.
The 15th International School on Formal Methods is devoted to multicore programming and covers topics such as concurrency and coordination mechanisms, architecture and memory models, and type systems.

The school included 30 hours of lectures:

  • Concurrency in Java – Doug Lea, SUNY Oswego
  • Multiparty Asynchronous Session Types and their Applications – Nobuko Yoshida, IC London
  • Coordinating Multicore Computing – Farhad Arbab, CWI Amsterdam
  • Automated Inference of Atomic Sets for Safe Concurrent Execution – Gul Agha, UI Urbana-Champaign
  • Modeling of Architectures – Jade Alglave, UC London
  • Memory Models for Programming Languages – Francesco Zappa Nardelli, INRIA Paris-Rocquencourt
  • Parallel Objects for Multicores – Tobias Wrigstad, Uppsala U
  • Ownership Types – Sophia Drossopoulou,IC London & Tobias Wrigstad, Uppsala U
  • Types and Permissions in Mezzo – Francois Pottier, INRIA Paris-Rocquencourt

Information about the International School can be found here.


october 2014 – november 2014 (28 hours)

Teacher for Training Course


Course Title: Persistence Technique

I am a teacher for the training course titled “Persistence Technique”. During the course I have discussed the following topics:

  • Advanced entity association mappings;
  • Advanced entity association mappings;
  • Object states and their transitions as triggered by persistence manager operations;
  • Querying with HQL and JPA QL;
  • Querying with criteria.

I also realized a JEE application to support the topics covered.


march 2014 – august 2014 (6 months)

Scholarship for Research Activities


Topic: Choreography of services

I realized a tool called CHOReOSynt for supporting the developer of services composite based on choreographies, providing an integrated solution to the problem of the Automatic Realizability Enforcement. In addition I have studied a solution for the problems that concern the adaptation of interfaces exposed by the services through the implementation of appropriate data mapping and protocol mediation.

Supervisor: Paola Inverardi


february 2013 – january 2014 (12 months)

Scholarship for Research Activities


Topic: Choreography of services

I have focused on the study of techniques for developing service choreographies and on the implementation of Eclipse plugin for:

  • manage and manipulate choreography models based on BPMN 2.0;
  • manage model transformation and automatic deployment of software artifacts of these transformations.

I also implemented some REST services to offer the same plugin functionalities.

Supervisor: Paola Inverardi


2008 – 2009

Technical of CNC Machine


I worked at the company of marble processing “Perucci Marmi”, as technical of CNC Machine for the transformation of natural and synthetic stone.


BPMN Specification v2.0


SERVICE Choreography









Eclipse Plugins

Spring Framework


Apache Tomcat

GlassFish Server







Adobe Photoshop

Adobe Premiere