| 2023 | ICSA | From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. | Gianluca Filippone, Nadeem Qaisar Mehmood, Marco Autili, Fabrizio Rossi, Massimo Tivoli |
| 2022 | AVI | Ethical-aware autonomous systems from a social psychological lens. | Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli |
| 2021 | ISSRE | Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. | Gianluca Filippone, Marco Autili, Fabrizio Rossi, Massimo Tivoli |
| 2020 | Coordination | CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. | Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli |
| 2020 | ISSRE | Towards the synthesis of context-aware choreographies. | Gianluca Filippone, Marco Autili, Massimo Tivoli |
| 2019 | Coordination | CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
| 2019 | ISSRE | Introducing Trust in Service-Oriented Distributed Systems through Blockchain. | Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli |
| 2019 | SAC | Aiding the realization of service-oriented distributed systems. | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
| 2018 | ECSA | On the model-driven synthesis of evolvable service choreographies. | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
| 2018 | MODELS | On the Model-driven Synthesis of Adaptable Choreographies. | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
| 2018 | SAC | Model-driven adaptation of service choreographies. | Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli |
| 2017 | MODELS | A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. | Alexander Perucci, Marco Autili, Massimo Tivoli |
| 2016 | MODELS | Automatic generation of detailed flight plans from high-level mission descriptions. | Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli |
| 2015 | LATA | Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
| 2015 | SERVICES | IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). | Marco Autili, Alfredo Goldman, Massimo Tivoli |
| 2014 | SERVICES | IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). | Marco Autili, Alfredo Goldman, Massimo Tivoli |
| 2013 | FASE | A Model-Based Synthesis Process for Choreography Realizability Enforcement. | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
| 2013 | ICSE | Automatic synthesis of modular connectors via composition of protocol mediation patterns. | Paola Inverardi, Massimo Tivoli |
| 2012 | ISoLA | Automated Inference of Models for Black Box Systems Based on Interface Descriptions. | Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli |
| 2011 | RE | A development process for requirements based service choreography. | Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli |
| 2010 | ICSE | Synthesizing adapters for conversational web-services from their WSDL interface. | Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli |
| 2010 | ISoLA | Towards a Connector Algebra. | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
| 2009 | ICECCS | CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. | Valrie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
| 2009 | ICSE | Towards an assume-guarantee theory for adaptable systems. | Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
| 2008 | ISoLA | A Framework for Analyzing and Testing the Performance of Software Services. | Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
| 2007 | ICSE | SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. | Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
| 2007 | ICSOC | A Development Process for Self-adapting Service Oriented Applications. | Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
| 2007 | TACAS | Adaptor Synthesis for Real-Time Components. | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler |
| 2006 | ISSTA | Towards an architectural approach for the dynamic and automatic composition of software components. | Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli |
| 2003 | WETICE | Automatic synthesis of coordinators for COTS group-ware applications: an example. | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |