Alexander Perucci

Alexander Perucci

Ph.D. Student, in Computer Science at the University of L'Aquila

Hello. I am Alexander Perucci.
I am a Ph.D. Student, in Computer Science at the University of L’Aquila.

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

Full List
Google Scholar
dblp

2017

  • 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

2015

  • 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.

2014

  • 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.

MY WORKS

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

Simplemailer

Simplemailer

Jquery Number Validation

Jquery Number Validation

Gml Map Tool

Gml Map Tool

Automatic Web Service Generation

Automatic Web Service Generation

CONTACT

alexander.perucci@univaq.it

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

LOCATION

FOLLOW ME

STUDIES

2014

2014 – present

Ph.D. Student, in Computer Science

UNIVERSITY OF L’AQUILA

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

Supervisors: Paola Inverardi and Marco Autili

2013

2013 – 2014

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

UNIVERSITY OF L’AQUILA

Dissertation Tile: CHOReOSynt: Automatic Synthesis of Service Choreographies

Defence: 21/10/2014

Supervisors: Paola Inverardi and Marco Autili

2012

2012 – 2013

Master in Web Technology

UNIVERSITY OF L’AQUILA

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

2009

2009 – 2012

Bachelor’s Degree, Computer Science, 110/110

UNIVERSITY OF L’AQUILA

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

 

ACADEMIC QUALIFICATIONS

2016

2016 – 2019

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

UNIVERSITY OF L’AQUILA

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

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

EXPERIENCES

2015

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.

2015

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.

2014

october 2014 – november 2014 (28 hours)

Teacher for Training Course

INTECS SpA

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.

2014

march 2014 – august 2014 (6 months)

Scholarship for Research Activities

UNIVERSITY OF L’AQUILA

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 Manager: Paola Inverardi

2013

february 2013 – january 2014 (12 months)

Scholarship for Research Activities

UNIVERSITY OF L’AQUILA

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 Manager: Paola Inverardi

2008

2008 – 2009

Technical of CNC Machine

PERUCCI EMILIO S.N.C.

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

TECHNICAL SKILLS

BPMN Specification v2.0

SERVICE COMPOSITION

SERVICE Choreography

JAX-WS

SOA

UML

MAVEN

tycho

DEVELOPMENT SKILLS

JAVA

JAVA EE

Eclipse Plugins

Spring Framework

Hibernate

Apache Tomcat

GlassFish Server

PHP

HTML5

CSS3

Javascript

jQuery

DESIGN SKILLS

Adobe Photoshop

Adobe Premiere

VIEW MY LINKEDIN PROFILE