My Publications

2018

On the Model-driven Synthesis of Adaptable Choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli
Proceedings of the 5th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2018) co-located with MODELS 2018, pages x--yyy, 2018
DOI

On the Model-driven Synthesis of Evolvable Service Choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli
Proceedings of the 12th European Conference on Software Architecture, pages 1--6, 2018
DOI

Model-driven adaptation of service choreographies
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli
Proceedings of the 33rd Annual ACM Symposium on Applied Computing (ACM SAC), pages 1441-1450, 2018
DOI

2017

User-centric Android flexible permissions
Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle and Paola Inverardi
Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on, pages 365-367, 2017
DOI

MicroART: A software architecture recovery tool for maintaining microservice-based systems
Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino and Amleto Di Salle
IEEE International Conference on Software Architecture (ICSA), 2017
DOI

Towards recovering the software architecture of microservice-based systems
Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino and Amleto Di Salle
IEEE International Conference on Software Architecture Workshops (ICSAW), pages 46-53, 2017
DOI

2016

Composition of Advanced μ-Services for the Next Generation of the Internet of Things
Amleto Di Salle, Francesco Gallo and Claudio Pompilio
Federation of International Conferences on Software Technologies: Applications and Foundations, pages 436-444, 2016
DOI

2015

On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli
Proceedings of 14th Coordination Languages and Self-Adaptive Systems (FOCLASA'15), pages 33-47, 2015
DOI

Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci and Massimo Tivoli
7th International Workshop on Software Engineering for Resilient Systems (SERENE'15), pages 1-15, Springer International Publishing - LNCS, 2015
DOI

Dependable composition of software and services in the internet of things: a biological approach
Amleto Di Salle, Francesco Gallo and Alexander Perucci
International Conference on Software Engineering and Formal Methods, pages 312-323, 2015
DOI

Towards Adapting Choreography-Based Service Compositions Through Enterprise Integration Patterns
Amleto Di Salle, Francesco Gallo and Alexander Perucci
International Conference on Software Engineering and Formal Methods, pages 240-252, 2015
DOI

2014

Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
Marco Autili, Davide Di Ruscio, Amleto Di Salle and Paola Inverardi
Proceedings of the International Workshop on Model-Driven Engineering for Component-Based Software Systems ModComp@MoDELS 2014, Valencia, Spain, pages 67-77, CEUR-WS.org, 2014

Choreosynt: enforcing choreography realizability in the future internet
Marco Autili, Davide Di Ruscio, Amleto Di Salle and Alexander Perucci
Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'14) - Tool Demo, pages 723-726, ACM New York, 2014
DOI

MDEForge: an Extensible Web-Based Modeling Platform
Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino and Alfonso Pierantonio
CloudMDE Workshop at MoDELS 2014, Valencia, Spain, http://ceur-ws.org/, 2014

Towards adaptable and evolving service choreography in the future Internet
Amleto Di Salle, Paola Inverardi and Alexander Perucci
IEEE World Congress on Services (SERVICES), pages 333-337, 2014
DOI

2013

Synthesis of resilient choreographies
Marco Autili, Amleto Di Salle and Massimo Tivoli
5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer 2013., pages 94-108, Springer-Verlang, Berlin Heidelberg, 2013
DOI

A model-based synthesis process for choreography realizability enforcement
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi and Massimo Tivoli
16th International Conference on Fundamental Approaches to Software Engineering (FASE), Rome, Italy, pages 37-52, Springer Berlin Heidelberg, 2013
DOI

2007

Software customization in model driven development of web applications
Antonio Cicchetti, Davide Di Ruscio and Amleto Di Salle
Model Transformation track of the 22th ACM Symposium on Applied Computing (SAC 2007), pages 1025-1030, ACM, 2007
DOI