Scientific Publications

Journals and Book Chapters

Journal/Book ChapterAuthors (Organization)TitlePublication
LNCS Book from the outcomes of the Dagstuhl Seminar on Self-Aware ComputingCamara 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 1-37, Springer, Lecture Notes In Computer Science - LNCS, volume (In Press), 2016
LNCS Book from the outcomes of the Dagstuhl Seminar on Self-Aware ComputingRadu 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 1-35, Springer, Lecture Notes In Computer Science - LNCS, volume (In Press), 2016
LNCS Book from the outcomes of the Dagstuhl Seminar on Self-Aware ComputingMarco 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
LNCS Book from the outcomes of the Dagstuhl Seminar on Self-Aware ComputingMarco 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 1-33, Springer, Lecture Notes In Computer Science - LNCS, volume (In Press), 2016
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
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

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

Programme Committees

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

EventNameOrganization
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
31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) - Track on Reliable Software Technologies and Communication MiddlewareNikolaos GeorgantasINRIA
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
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
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
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
Projects Showcase at STAF 2015, Proceedings of the Projects Showcase, CEUR PROCEEDINGSMarco Autili, Tom Ritter, Andrey Sadovykh and Massimo TivoliUDA
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
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
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
14th ARM 2015, Proceedings of the workshop on Adaptive and Reflective Middleware, ACM - ACM/IFIP/USENIX Middleware conference (Middleware 2015)Aniruddha Gokhale, Nikolaos GeorgantasINRIA

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

Site maintained by