Scientific Publications

Academic Degrees

DiplomaUniversityAuthor NameTitleDate of defense
Master’s ThesisUniversity of L'Aquila, ItalyTala NajemDefinition of a Formal Semantics for BPMN2 Choreography Diagrams Based on Petri Netsongoing
PhD thesisInria Paris & UPMC, FranceGeorgios BouloukakisEnabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis1 August 2017
Master thesisRoyal Institute of Technology KTH, SwedenEfthymios NeroutsosChoreographing Traffic Services for Driving Assistance10 May 2017
PhD ThesisUniversity of L'Aquila, ItalyAlexander PerucciDefinition and Implementation of a Development Platform for the Automatic Choreography Realizability EnforcementApril 2017

Journals and Book Chapters

Journal/Book ChapterAuthors (Organization)TitlePublication
Journal of Science of Computer ProgrammingMarco Autili, Paola Inverardi, Massimo Tivoli (UDA)Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination DelegatesScience of Computer Programming (Elsevier, ISSN 0167-6423), 2017
LNCS BookCamara Javier, Bellman Kirstie, Kephart Jeffrey, Marco Autili, Nelly Bencomo, Diaconescu Ada, Holger Giese, Gotz Sebastian, Paola Inverardi, Kounev Samuel and Massimo Tivoli (UDA)Self-aware Computing Systems: Related Concepts and Research Areas pages 17-49, Springer, Lecture Notes In Computer Science - LNCS, 2017
LNCS BookMarco Autili, Bellman Kirstie, Diaconescu Ada, Lukas Esterle, Massimo Tivoli and Andrea Zisman (UDA)Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systemspages 305-336, Springer, Lecture Notes In Computer Science - LNCS, 2017
LNCS BookRadu Calinescu, Marco Autili, Camara Javier, Antinisca Di Marco, Simos Gerasimo, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese and Massimo Tivoli (UDA)Synthesis and Verification of Self-aware Systemspages 337-373, Springer, Lecture Notes In Computer Science - LNCS, 2017
Hindawi Journal of Advanced TransportationLei Chen, Cristofer Englund (RISE)Every second counts: integrating edge computing and service oriented architecture for automatic emergency managementHindawi Journal of Advanced Transportation (submitted), 2017
LNCS BookMarco Autili, Paola Inverardi, Alexander Perucci and Massimo Tivoli (UDA)Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution pages 1-25, Springer, Lecture Notes In Computer Science - LNCS, volume (In Press), 2016
Journal of Internet Services and ApplicationsMarco Autili, Dimitra Giannakopoulou and Massimo Tivoli (UDA)Thematic series on Verification and Composition for the Internet of Services and ThingsSpringer Journal of Internet Services and Applications (in press), 2017
IEEE SOFTWARE Marco Autili, Paola Inverardi and Massimo Tivoli (UDA)Automated Synthesis of Service Choreographies (2015)in: IEEE SOFTWARE - Special Issue on "Software Engineering for Internet Computing: Internetware and Beyond", 32:1(50-57)
SEfSAS Book_3Marco Autili, Paola Inverardi and Massimo Tivoli (UDA)Synthesis of Distributed and Adaptable Coordinators to Enable Goal-driven Choreography EvolutionLNCS volume, Springer Verlag, 2015
JISA JournalNikolaos Georgantas, Bhaskar Krishnamachari, Animesh Pathak, Nalini Venkatasubramanian (INRIA)Thematic Series on the Internet of ThingsSpringer Open, Journal of Internet Services and Applications
JISA JournalMarco Autili, Alfredo Goldman and Massimo Tivoli (UDA)Thematic Series on Service Composition for the Future InternetSpringer Science and Business Media, Springer Open, volume To Appear, 2015

Conferences

Conference NameAuthorsPaper SubmittedPublication
SAC’18Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli (UDA)Model-driven adaptation of service choreographiesIn Proceedings of ACM SAC Conference (SAC’18). ACM, New York, NY, USA, 2018
ICSA 2017Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, Amleto Di Salle (UDA)Towards Recovering the Software Architecture of Microservice-based Systems.ICSA 2017 (Proceedings of the 14th International Conference on Software Architecture)
ICSA 2017Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, Amleto Di Salle (UDA)MicroART: A Software Architecture Recovery Tool for Maintaining Microservice-based SystemsICSA 2017 (Proceedings of the 14th International Conference on Software Architecture)
CONTEST 2017Lei Chen, Cristofer Englund (RISE)Choreographing services for smart cities: smart traffic demonstrationIn Proceedings of the 2nd International Workshop on Connecting All Things for Enabling Smart Cities (CONTEST) in conjunction with Vehicular Technology Conference (VTC2017-Spring), 2017
ICC 2017Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valerie Issarny (Inria) Performance Modeling of the Middleware Overlay Infrastructure of Mobile ThingsIEEE International Conference on Communications (ICC 2017), May 2017, Paris, France
ICPE 2017Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valerie Issarny (Inria) Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), April 2017, L'Aquila, Italy
ICSOC 2016Valérie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet (INRIA)Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. 2016.
MODELS '16Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo (UDA)Automatic Generation of detailed Flight Plans from High-level Mission DescriptionsIn Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS '16), 2016
ITS 2016Lei Chen, Cristofer Englund (RISE)CHOREM: Choreographing services for emergency managementIn Proceedings of the 23rd World Congress on Intelligent Transport Systems, 2016
ISC2 2016G. Bajaj, R. Agarwal, G. Bouloukakis, P. Singh, N. Georgantas and V. Issarny (INRIA)Towards building real-time, convenient route recommendation system for public transit2016 IEEE International Smart Cities Conference (ISC2), Trento, 2016, pp. 1-5.
ASE 2015Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo (UDA)FlyAQ: Enabling Non-Expert Users to Program Missions of Autonomous MulticoptersIn Proc. of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015
LATA2015Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo Tivoli (UDA)Automated Synthesis of Application-layer Connectors from Automata-based Specificationsin: LNCS Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015), pages 3-24, Springer International Publishing, 2015
FSEN 2015Marco Autili, Paola Inverardi and Massimo Tivoli (UDA)Automated Integration of Service-oriented Software Systemspages 30-45, Springer International Publishing, 2015
ICSOC 2015Ajay Kattepur, Nikolaos Georgantas, Georgios Bouloukakis, Valerie Issarny (Inria)Analysis of Timing Constraints in Heterogeneous Middleware InteractionsInternational Conference on Service Oriented Computing (ICSOC 2015), Nov 2015, Goa, India
WiMob 2015Georgios Bouloukakis, Rachit Agarwal, Nikolaos Georgantas, Animesh Pathak, Valerie Issarny (Inria)Leveraging CDR datasets for Context-Rich Performance Modeling of Large-Scale Mobile Pub/Sub Systems11th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2015, Abu Dhabi, United Arab Emirates
ITSC 2015Garvita Bajaj, Georgios Bouloukakis, Animesh Pathak, Singh Pushpendra, Nikolaos Georgantas, Valerie Issarny (Inria)Toward Enabling Convenient Urban Transit through Mobile Crowdsensing18th IEEE International Conference on Intelligent Transportation Systems, Sep 2015, Gran Canaria, Spain

Workshops and Posters

EventAuthorsTitleLocationMore information
MoComp 2017Autili, Marco; Perucci, Alexander; Tivoli, Massimo (UDA)A Multipurpose Framework for Model-based Reuse-oriented Software Integration SynthesisProceedings of the 4th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2017) co-located at MoDELS 2017
ICSA 2017Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, Amleto Di SalleAnno (UDA)Towards Recovering the Software Architecture of Microservice-based Systems First International Workshop on Architecting with MicroServices Co-located with the IEEE International Conference on Software Architecture
CONTEST 2017Lei Chen, Cristofer Englund (RISE)Choreographing services for smart cities: smart traffic demonstrationProceedings of the 2nd International Workshop on Connecting All Things for Enabling Smart Cities (CONTEST) in conjunction with Vehicular Technology Conference (VTC2017-Spring), 2017
ICSOC 2016Valerie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet (Inria) Revisiting Service-oriented Architecture for the IoT: A Middleware PerspectiveInternational Conference on Service Oriented Computing (ICSOC 2016), Oct 2016, Banff, Alberta, Canada
STAF 2016Amleto Di Salle, Francesco Gallo, Claudio Pompilio (UDA)Composition of advanced (μ)services for the next generation of the internet of things.Conference: Software Technologies: Applications and FoundationsCollocated Workshop VeryComp, Vienna 
FOCLASA 2015Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli (UDA)On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed SystemsProceedings of the 14th FOCLASA 2015
Pages 33-47, Electronic Proceedings in Theoretical Computer Science 2015, #201
SERENE'15Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci and Massimo Tivoli (UDA)Biological Immunity and Software Resilience: two faces of the same coinProceedings of the 7th SERENE 15Pages 1-15, Springer International Publishing - LNCS, 2015
VERY*SCARTAmleto Di Salle, Francesco Gallo, Alexander Perucci (UDA)Towards Adapting Choreography-based Service Compositions Through Enterprise Integration PatternsProceedings of the 1st International Workshop of The Art of Service Composition and Formal Verification for Self-* SystemsSpringer International Publishing - LNCS, 2015, York, UK
VERY*SCARTAmleto Di Salle, Francesco Gallo, Alexander Perucci (UDA)VISION: Dependable Composition of Software and Services in the Internet of Things: a Biological ApproachProceedings of the 1st International Workshop of The Art of Service Composition and Formal Verification for Self-* SystemsSpringer International Publishing - LNCS, 2015, York, UK
NetMobGeorgios Bouloukakis, Nikolaos Georgantas, Rachit Agarwal, Animesh Pathak, Valerie Issarny (INRIA)Towards Mobile Social Crowd-Sensing for Transport Information ManagementNetMob, Data for Development (D4D) Challenge, Apr 2015, MIT Media Lab, United States. 2015
ESOCC 2015Gomes, R., Lima, J., Costa, F., Rocha, R., Georgantas, N. (INRIA)A Model-Based Approach to Pragmatic Service Choreography DeploymentProceedings of Second Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications, 2015Second Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications, 2015, Taormina, Italy

Event chairing and editorship of special issues

Event/JournalTitleName & Organization
JISAThematic series on Verification and Composition for the Internet of Services and Things (2017), in: SPRINGER JOURNAL OF INTERNET SERVICES AND APPLICATIONS, (In press)Marco Autili, Dimitra Giannakopoulou and Massimo Tivoli (UDA), Editors
SERVICES 2015Proceedings of the 11th IEEE World Congress on SERVICES 2015 Visionary Track on Service Composition for the Future Internet (SCFI 2015), IEEE Conference Publishing Services - 11th World Congress on Services - IEEE SERVICES, 2015Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA), Organizers and Editors
SEFM 2015Proceedings of the International Workshop on the "ART" of Software Composition (SCART 2015), Springer International Publishing, LNCS - 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA), Organizers and Editors 
STAF 2015Proceedings of the Projects Showcase@STAF'15, CEUR PROCEEDINGS - Software Technologies: Applications and Foundations federation of conferencesMarco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli, Organizers and Editors Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA), Editors 
Springer OpenThematic Series on Service Composition for the Future Internet, Springer Science and Business Media, Springer Open, vol. 7:3, p. 3:1-3:4, 2016, doi: 10.1186/s13174-016-0045-9Marco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli (UDA), Organizers and Editors 
14th ARM 2015Proceedings of the workshop on Adaptive and Reflective Middleware, ACM - ACM/IFIP/USENIX Middleware conference (Middleware 2015)Aniruddha Gokhale, Nikolaos Georgantas (INRIA)
JISAThematic Series on the Internet of Things, Springer Open, Journal of Internet Services and Applications (JISA), 2015Nikolaos Georgantas, Bhaskar Krishnamachari, Animesh Pathak, Nalini Venkatasubramanian (INRIA), Editors

Programme Committees

The following members took part in programme committees of the listed events:

EventNameOrganization
IEEE International Conference on Software Architecture - ICSA 2018Massimo TivoliUDA
Poster Track of the 40th International Conference on Software Engineering - ICSE 2018Massimo TivoliUDA
International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems - FOCLASA 2017Massimo TivoliUDA
International Conference on Information and Software Technologies - ICIST 2018Massimo TivoliUDA
IEEE International Conference on Software Architecture - ICSA 2017Massimo TivoliUDA
ACM Student Research Competition (ACM SRC) sponsored by Microsoft Research is hosted by MobileSoft 2017) co-located with ICSE 2017Marco AutiliUDA
39th ACM/IEEE International Conference on Software Engineering - Poster Track (ICSE 2017 Poster Track)Marco Autili, Massimo TivoliUDA
10th Innovations in Software Engineering Conference - Mobile Software Engineering track (ISEC 2017)Marco AutiliUDA
4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) co-located with ICSE 2017Marco AutiliUDA
2st International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2017) held in conjunction with MODELSWARD 2017Marco Autili, Massimo TivoliUDA
3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2016) at MODELS 2016Marco Autili, Massimo TivoliUDA
Reviewer of the Springer Book: "Digital Marketplaces Unleashed - There is no future for companies which do not digitalize"Marco AutiliUDA 
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017)Marco Autili, Massimo TivoliUDA
8th International Workshop on Software Engineering for Resilient Systems (SERENE 2016)Marco AutiliUDA
SACS Book Program Committee Member - Dagstuhl Seminar 15041 Model-driven Algorithms and Architectures for Self-Aware Computing SystemsMarco Autili, Massimo TivoliUDA
ACM Student Research Competition (ACM SRC) sponsored by Microsoft Research The competition is hosted by MOBILESoft 2016 co-located with ICSE 2016Marco AutiliUDA
2st International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2016)Marco AutiliUDA
4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016)Marco Autili, Massimo TivoliUDA
3th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)Marco Autili, Massimo TivoliUDA
3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2016) co-located with ICSE 2016Marco AutiliUDA
1st International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2016) held in conjunction with MODELSWARD 2016Marco AutiliUDA
ModelCyPhy Track on Model-Driven Engineering for Cyber-Physical Systems (ModelCyPhy 2016) at the 13th International Conference On Information Technology: New Generations ITGNMarco AutiliUDA
SEfSAS Book 3 - Dagstuhl Seminar 13511 Software Engineering for Self-Adaptive Systems: AssurancesMarco AutiliUDA
ModComp 2015. 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2015) at MODELS 2015Marco AutiliUDA
14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015), co-located with CONCURMarco AutiliUDA
10th International Conference on Software Engineering Advances (ICSEA 2015)Marco Autili, Massimo TivoliUDA
7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015)Marco AutiliUDA
1st International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2015)Marco Autili, Massimo TivoliUDA
5th International Conference on Information Society and Techology (ICIST 2015)Massimo TivoliUDA
41st Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2015)Massimo TivoliUDA
13th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2015)Massimo TivoliUDA
18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015)Massimo TivoliUDA
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE NIER 2015)Massimo TivoliUDA
38th International Conference on Software Engineering Poster Track (ICSE 2016)Massimo TivoliUDA
37th International Conference on Software Engineering - RC member (ICSE 2015)Massimo TivoliUDA
Projects Showcase at STAF 2015, Proceedings of the Projects Showcase, CEUR PROCEEDINGSMarco Autili, Tom Ritter, Andrey Sadovykh and Massimo TivoliUDA
FiCloud’17 (International Conference on Future Internet of Things and Cloud)Nikolaos GeorgantasINRIA
ICSE’17 Poster Track (International Conference on Software Engineering)Nikolaos GeorgantasINRIA
SAC’18’17’16 (ACM/SIGAPP Symposium on Applied Computing)Nikolaos GeorgantasINRIA
WETICE’17’16 (IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises)Nikolaos GeorgantasINRIA
AmI’17 (International Joint Conference on Ambient Intelligence)Nikolaos GeorgantasINRIA
ANT’16 (International Conference on Ambient Systems, Networks and Technologies)Nikolaos GeorgantasINRIA
CASA’17 (Workshop on Context-aware, Autonomous and Smart Architecture)Nikolaos GeorgantasINRIA
SOSE’18’17’16 (International Symposium on Service Oriented System Engineering)Nikolaos GeorgantasINRIA
MRT’17’16 (International Workshop on Models@run.time)Nikolaos GeorgantasINRIA
IoT-ASAP’17 (International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms)Nikolaos GeorgantasINRIA
SERENE’17’16 (International Workshop on Software Engineering for Resilient Systems)Nikolaos GeorgantasINRIA
ARM’16 (International Middleware Workshop on Adaptive and Reflective Middleware)Nikolaos GeorgantasINRIA
31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) - Track on Reliable Software Technologies and Communication MiddlewareNikolaos GeorgantasINRIA
1st International Workshop on the ART of Software Composition (SCART 2015)Nikolaos GeorgantasINRIA
10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2015) Track on Big Data, Data Management and AnalyticNikolaos GeorgantasINRIA
Projects Showcase at Software Technologies: Applications and Foundations at STAF 2015Nikolaos GeorgantasINRIA
European Conference on Ambient Intelligence (AmI 2015)Nikolaos GeorgantasINRIA
7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015)Nikolaos GeorgantasINRIA
IEEE International Symposium on Service-Oriented System Engineering (SOSE 2015)Nikolaos GeorgantasINRIA
11th International Joint Conference on Software Engineering and Applications (ICSOFT-EA 2015)Nikolaos GeorgantasINRIA
11th International Joint Conference on Software Paradigm Trends (ICSOFT-PT 2015)Nikolaos GeorgantasINRIA
24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015)Nikolaos GeorgantasINRIA
6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) - Track on Agent Systems, Intelligent Computing and ApplicationsNikolaos GeorgantasINRIA
6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) - Track on Smart Environments and ApplicationsNikolaos GeorgantasINRIA
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)Nikolaos GeorgantasINRIA
18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015)Nikolaos GeorgantasINRIA
31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) - Track on Reliable Software Technologies and Communication MiddlewareNikolaos GeorgantasINRIA

This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 5.4.6 - Documentation

Site maintained by