| Journal/Book Chapter | Authors (Organization) | Title | Publication |
|---|
| Journal of Science of Computer Programming | Marco Autili, Paola Inverardi, Massimo Tivoli (UDA) | Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates | Science of Computer Programming (Elsevier, ISSN 0167-6423), 2017
|
| LNCS Book | Camara 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 Book | Marco Autili, Bellman Kirstie, Diaconescu Ada, Lukas Esterle, Massimo Tivoli and Andrea Zisman (UDA) | Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems | pages 305-336, Springer, Lecture Notes In Computer Science - LNCS, 2017
|
| LNCS Book | Radu 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 Systems | pages 337-373, Springer, Lecture Notes In Computer Science - LNCS, 2017
|
| Hindawi Journal of Advanced Transportation | Lei Chen, Cristofer Englund (RISE) | Every second counts: integrating edge computing and service oriented architecture for automatic emergency management | Hindawi Journal of Advanced Transportation (submitted), 2017
|
| LNCS Book | Marco 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 Applications | Marco Autili, Dimitra Giannakopoulou and Massimo Tivoli (UDA) | Thematic series on Verification and Composition for the Internet of Services and Things | Springer 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_3 | Marco Autili, Paola Inverardi and Massimo Tivoli (UDA) | Synthesis of Distributed and Adaptable Coordinators to Enable Goal-driven Choreography Evolution | LNCS volume, Springer Verlag, 2015 |
| JISA Journal | Nikolaos Georgantas, Bhaskar Krishnamachari, Animesh Pathak, Nalini Venkatasubramanian (INRIA) | Thematic Series on the Internet of Things | Springer Open, Journal of Internet Services and Applications
|
| JISA Journal | Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA) | Thematic Series on Service Composition for the Future Internet | Springer Science and Business Media, Springer Open, volume To Appear, 2015
|
| Conference Name | Authors | Paper Submitted | Publication |
|---|
| SAC’18 | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli (UDA) | Model-driven adaptation of service choreographies | In Proceedings of ACM SAC Conference (SAC’18). ACM, New York, NY, USA, 2018
|
| ICSA 2017 | Giona 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 2017 | Giona Granchelli, Mario Cardarelli, Paolo Di Francesco, Ivano Malavolta, Ludovico Iovino, Amleto Di Salle (UDA) | MicroART: A Software Architecture Recovery Tool for Maintaining Microservice-based Systems | ICSA 2017 (Proceedings of the 14th International Conference on Software Architecture)
|
| CONTEST 2017 | Lei Chen, Cristofer Englund (RISE) | Choreographing services for smart cities: smart traffic demonstration | In 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 2017 | Georgios Bouloukakis, Ioannis Moscholios, Nikolaos Georgantas, Valerie Issarny (Inria) | Performance Modeling of the Middleware Overlay Infrastructure of Mobile Things | IEEE International Conference on Communications (ICC 2017), May 2017, Paris, France
|
| ICPE 2017 | Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valerie Issarny (Inria) | Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems | 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), April 2017, L'Aquila, Italy
|
| ICSOC 2016 | Valérie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet (INRIA) | Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective | 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada. 2016. |
| MODELS '16 | Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo (UDA) | Automatic Generation of detailed Flight Plans from High-level Mission Descriptions | In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS '16), 2016
|
| ITS 2016 | Lei Chen, Cristofer Englund (RISE) | CHOREM: Choreographing services for emergency management | In Proceedings of the 23rd World Congress on Intelligent Transport Systems, 2016
|
| ISC2 2016 | G. Bajaj, R. Agarwal, G. Bouloukakis, P. Singh, N. Georgantas and V. Issarny (INRIA) | Towards building real-time, convenient route recommendation system for public transit | 2016 IEEE International Smart Cities Conference (ISC2), Trento, 2016, pp. 1-5.
|
| ASE 2015 | Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo (UDA) | FlyAQ: Enabling Non-Expert Users to Program Missions of Autonomous Multicopters | In Proc. of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015
|
| LATA2015 | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo Tivoli (UDA) | Automated Synthesis of Application-layer Connectors from Automata-based Specifications | in: LNCS Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015), pages 3-24, Springer International Publishing, 2015
|
| FSEN 2015 | Marco Autili, Paola Inverardi and Massimo Tivoli (UDA) | Automated Integration of Service-oriented Software Systems | pages 30-45, Springer International Publishing, 2015
|
| ICSOC 2015 | Ajay Kattepur, Nikolaos Georgantas, Georgios Bouloukakis, Valerie Issarny (Inria) | Analysis of Timing Constraints in Heterogeneous Middleware Interactions | International Conference on Service Oriented Computing (ICSOC 2015), Nov 2015, Goa, India
|
| WiMob 2015 | Georgios Bouloukakis, Rachit Agarwal, Nikolaos Georgantas, Animesh Pathak, Valerie Issarny (Inria) | Leveraging CDR datasets for Context-Rich Performance Modeling of Large-Scale Mobile Pub/Sub Systems | 11th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2015, Abu Dhabi, United Arab Emirates
|
| ITSC 2015 | Garvita Bajaj, Georgios Bouloukakis, Animesh Pathak, Singh Pushpendra, Nikolaos Georgantas, Valerie Issarny (Inria) | Toward Enabling Convenient Urban Transit through Mobile Crowdsensing | 18th IEEE International Conference on Intelligent Transportation Systems, Sep 2015, Gran Canaria, Spain
|
| Event | Authors | Title | Location | More information |
|---|
| MoComp 2017 | Autili, Marco; Perucci, Alexander; Tivoli, Massimo (UDA) | A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis | Proceedings of the 4th International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2017) co-located at MoDELS 2017 |
|
| ICSA 2017 | Giona 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 2017 | Lei Chen, Cristofer Englund (RISE) | Choreographing services for smart cities: smart traffic demonstration | Proceedings of the 2nd International Workshop on Connecting All Things for Enabling Smart Cities (CONTEST) in conjunction with Vehicular Technology Conference (VTC2017-Spring), 2017 |
|
| ICSOC 2016 | Valerie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet (Inria) | Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective | International Conference on Service Oriented Computing (ICSOC 2016), Oct 2016, Banff, Alberta, Canada
|
| STAF 2016 | Amleto 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 Foundations | Collocated Workshop VeryComp, Vienna |
|
| FOCLASA 2015 | Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli (UDA) | On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems | Proceedings of the 14th FOCLASA 2015 |
Pages 33-47, Electronic Proceedings in Theoretical Computer Science 2015, #201 |
| SERENE'15 | Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci and Massimo Tivoli (UDA) | Biological Immunity and Software Resilience: two faces of the same coin | Proceedings of the 7th SERENE 15 | Pages 1-15, Springer International Publishing - LNCS, 2015
|
| VERY*SCART | Amleto Di Salle, Francesco Gallo, Alexander Perucci (UDA) | Towards Adapting Choreography-based Service Compositions Through Enterprise Integration Patterns | Proceedings of the 1st International Workshop of The Art of Service Composition and Formal Verification for Self-* Systems | Springer International Publishing - LNCS, 2015, York, UK |
| VERY*SCART | Amleto Di Salle, Francesco Gallo, Alexander Perucci (UDA) | VISION: Dependable Composition of Software and Services in the Internet of Things: a Biological Approach | Proceedings of the 1st International Workshop of The Art of Service Composition and Formal Verification for Self-* Systems | Springer International Publishing - LNCS, 2015, York, UK
|
| NetMob | Georgios Bouloukakis, Nikolaos Georgantas, Rachit Agarwal, Animesh Pathak, Valerie Issarny (INRIA) | Towards Mobile Social Crowd-Sensing for Transport Information Management | NetMob, Data for Development (D4D) Challenge, Apr 2015, MIT Media Lab, United States. 2015 |
|
| ESOCC 2015 | Gomes, R., Lima, J., Costa, F., Rocha, R., Georgantas, N. (INRIA) | A Model-Based Approach to Pragmatic Service Choreography Deployment | Proceedings of Second Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications, 2015 | Second Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications, 2015, Taormina, Italy
|
| Event/Journal | Title | Name & Organization |
|---|
| JISA | Thematic 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 2015 | Proceedings 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, 2015 | Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA), Organizers and Editors |
| SEFM 2015 | Proceedings 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 2015 | Proceedings of the Projects Showcase@STAF'15, CEUR PROCEEDINGS - Software Technologies: Applications and Foundations federation of conferences | Marco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli, Organizers and Editors Marco Autili, Alfredo Goldman and Massimo Tivoli (UDA), Editors |
| Springer Open | Thematic 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-9 | Marco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli (UDA), Organizers and Editors |
| 14th ARM 2015 | Proceedings of the workshop on Adaptive and Reflective Middleware, ACM - ACM/IFIP/USENIX Middleware conference (Middleware 2015) | Aniruddha Gokhale, Nikolaos Georgantas (INRIA) |
| JISA | Thematic Series on the Internet of Things, Springer Open, Journal of Internet Services and Applications (JISA), 2015 | Nikolaos Georgantas, Bhaskar Krishnamachari, Animesh Pathak, Nalini Venkatasubramanian (INRIA), Editors |
| Event | Name | Organization |
|---|
| IEEE International Conference on Software Architecture - ICSA 2018 | Massimo Tivoli | UDA |
| Poster Track of the 40th International Conference on Software Engineering - ICSE 2018 | Massimo Tivoli | UDA |
| International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems - FOCLASA 2017 | Massimo Tivoli | UDA |
| International Conference on Information and Software Technologies - ICIST 2018 | Massimo Tivoli | UDA |
| IEEE International Conference on Software Architecture - ICSA 2017 | Massimo Tivoli | UDA |
| ACM Student Research Competition (ACM SRC) sponsored by Microsoft Research is hosted by MobileSoft 2017) co-located with ICSE 2017 | Marco Autili | UDA |
| 39th ACM/IEEE International Conference on Software Engineering - Poster Track (ICSE 2017 Poster Track) | Marco Autili, Massimo Tivoli | UDA |
| 10th Innovations in Software Engineering Conference - Mobile Software Engineering track (ISEC 2017) | Marco Autili | UDA |
| 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017) co-located with ICSE 2017 | Marco Autili | UDA |
| 2st International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2017) held in conjunction with MODELSWARD 2017 | Marco Autili, Massimo Tivoli | UDA |
| 3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2016) at MODELS 2016 | Marco Autili, Massimo Tivoli | UDA |
| Reviewer of the Springer Book: "Digital Marketplaces Unleashed - There is no future for companies which do not digitalize" | Marco Autili | UDA |
| 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017) | Marco Autili, Massimo Tivoli | UDA |
| 8th International Workshop on Software Engineering for Resilient Systems (SERENE 2016) | Marco Autili | UDA |
| SACS Book Program Committee Member - Dagstuhl Seminar 15041 Model-driven Algorithms and Architectures for Self-Aware Computing Systems | Marco Autili, Massimo Tivoli | UDA |
| ACM Student Research Competition (ACM SRC) sponsored by Microsoft Research The competition is hosted by MOBILESoft 2016 co-located with ICSE 2016 | Marco Autili | UDA |
| 2st International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2016) | Marco Autili | UDA |
| 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016) | Marco Autili, Massimo Tivoli | UDA |
| 3th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) | Marco Autili, Massimo Tivoli | UDA |
| 3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2016) co-located with ICSE 2016 | Marco Autili | UDA |
| 1st International Workshop on domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2016) held in conjunction with MODELSWARD 2016 | Marco Autili | UDA |
| ModelCyPhy Track on Model-Driven Engineering for Cyber-Physical Systems (ModelCyPhy 2016) at the 13th International Conference On Information Technology: New Generations ITGN | Marco Autili | UDA |
| SEfSAS Book 3 - Dagstuhl Seminar 13511 Software Engineering for Self-Adaptive Systems: Assurances | Marco Autili | UDA |
| ModComp 2015. 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp 2015) at MODELS 2015 | Marco Autili | UDA |
| 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015), co-located with CONCUR | Marco Autili | UDA |
| 10th International Conference on Software Engineering Advances (ICSEA 2015) | Marco Autili, Massimo Tivoli | UDA |
| 7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015) | Marco Autili | UDA |
| 1st International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2015) | Marco Autili, Massimo Tivoli | UDA |
| 5th International Conference on Information Society and Techology (ICIST 2015) | Massimo Tivoli | UDA |
| 41st Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2015) | Massimo Tivoli | UDA |
| 13th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2015) | Massimo Tivoli | UDA |
| 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015) | Massimo Tivoli | UDA |
| 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 Tivoli | UDA |
| 38th International Conference on Software Engineering Poster Track (ICSE 2016) | Massimo Tivoli | UDA |
| 37th International Conference on Software Engineering - RC member (ICSE 2015) | Massimo Tivoli | UDA |
| Projects Showcase at STAF 2015, Proceedings of the Projects Showcase, CEUR PROCEEDINGS | Marco Autili, Tom Ritter, Andrey Sadovykh and Massimo Tivoli | UDA |
| FiCloud’17 (International Conference on Future Internet of Things and Cloud) | Nikolaos Georgantas | INRIA |
| ICSE’17 Poster Track (International Conference on Software Engineering) | Nikolaos Georgantas | INRIA |
| SAC’18’17’16 (ACM/SIGAPP Symposium on Applied Computing) | Nikolaos Georgantas | INRIA |
| WETICE’17’16 (IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises) | Nikolaos Georgantas | INRIA |
| AmI’17 (International Joint Conference on Ambient Intelligence) | Nikolaos Georgantas | INRIA |
| ANT’16 (International Conference on Ambient Systems, Networks and Technologies) | Nikolaos Georgantas | INRIA |
| CASA’17 (Workshop on Context-aware, Autonomous and Smart Architecture) | Nikolaos Georgantas | INRIA |
| SOSE’18’17’16 (International Symposium on Service Oriented System Engineering) | Nikolaos Georgantas | INRIA |
| MRT’17’16 (International Workshop on Models@run.time) | Nikolaos Georgantas | INRIA |
| IoT-ASAP’17 (International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms) | Nikolaos Georgantas | INRIA |
| SERENE’17’16 (International Workshop on Software Engineering for Resilient Systems) | Nikolaos Georgantas | INRIA |
| ARM’16 (International Middleware Workshop on Adaptive and Reflective Middleware) | Nikolaos Georgantas | INRIA |
| 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) - Track on Reliable Software Technologies and Communication Middleware | Nikolaos Georgantas | INRIA |
| 1st International Workshop on the ART of Software Composition (SCART 2015) | Nikolaos Georgantas | INRIA |
| 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2015) Track on Big Data, Data Management and Analytic | Nikolaos Georgantas | INRIA |
| Projects Showcase at Software Technologies: Applications and Foundations at STAF 2015 | Nikolaos Georgantas | INRIA |
| European Conference on Ambient Intelligence (AmI 2015) | Nikolaos Georgantas | INRIA |
| 7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015) | Nikolaos Georgantas | INRIA |
| IEEE International Symposium on Service-Oriented System Engineering (SOSE 2015) | Nikolaos Georgantas | INRIA |
| 11th International Joint Conference on Software Engineering and Applications (ICSOFT-EA 2015) | Nikolaos Georgantas | INRIA |
| 11th International Joint Conference on Software Paradigm Trends (ICSOFT-PT 2015) | Nikolaos Georgantas | INRIA |
| 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) | Nikolaos Georgantas | INRIA |
| 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) - Track on Agent Systems, Intelligent Computing and Applications | Nikolaos Georgantas | INRIA |
| 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) - Track on Smart Environments and Applications | Nikolaos Georgantas | INRIA |
| 3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015) | Nikolaos Georgantas | INRIA |
| 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015) | Nikolaos Georgantas | INRIA |
| 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) - Track on Reliable Software Technologies and Communication Middleware | Nikolaos Georgantas | INRIA |
