Automatic synthesis of deadlock free connectors for COM/DCOM applications. - Paola Inverardi; Massimo Tivoli (ESEC / SIGSOFT FSE, 2001)

Automatic Failures-Free Connector Synthesis: An Example. - Paola Inverardi; Massimo Tivoli (RISSEF, 2002)

Software Architecture for Correct Components Assembly. - Paola Inverardi; Massimo Tivoli (SFM, 2003)

Automatic synthesis of coordinators for COTS group-ware applications: an example. - Paola Inverardi; Massimo Tivoli; Antonio Bucchiarone (WETICE, 2003)

Deadlock-free software architectures for COM/DCOM Applications. - Paola Inverardi; Massimo Tivoli (J. Syst. Softw., 2003)

Correct Components Assembly for a Product Data Management Cooperative System. - Massimo Tivoli; Paola Inverardi; Valentina Presutti; Alessandro Forghieri; Maurizio Sebastianis (CBSE, 2004)

Towards an Engineering Approach to Component Adaptation. - Steffen Becker 001; Antonio Brogi; Ian Gorton; Sven Overhage; Alexander B. Romanovsky; Massimo Tivoli (Architecting Systems with Trustworthy Components, 2004)

A component-based development framework for supporting functional and non-functional analysis in control system design. - Johan Fredriksson; Massimo Tivoli; Ivica Crnkovic (ASE, 2005)

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. - Paola Inverardi; Leonardo Mostarda; Massimo Tivoli; Marco Autili (ASE, 2005)

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. - Massimo Tivoli; David Garlan (WICSA, 2005)

An architectural approach to the automatic composition and adaptation of software components. - Massimo Tivoli (2005)

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (ECOOP Workshops, 2006)

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. - Marco Autili; Michele Flammini; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (EWSA, 2006)

Towards an architectural approach for the dynamic and automatic composition of software components. - Antonio Bucchiarone; Andrea Polini; Patrizio Pelliccione; Massimo Tivoli (ROSATEA, 2006)

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. - Massimo Tivoli; Marco Autili (Obj. Logiciel Base données Réseaux, 2006)

Preface. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (WCAT@ECOOP, 2006)

An Adaptation-based Approach to Incrementally Build Component Systems. - Pascal Poizat; Gwen Salaün; Massimo Tivoli (FACS, 2006)

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. - Marco Autili; Paola Inverardi; Alfredo Navarra; Massimo Tivoli (ICSE, 2007)

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 (ICSOC, 2007)

A reuse-based approach to the correct and automatic composition of web-services. - Paola Inverardi; Massimo Tivoli (ESSPE, 2007)

Adaptor Synthesis for Real-Time Components. - Massimo Tivoli; Pascal Fradet; Alain Girault; Gregor Gößler (TACAS, 2007)

The SAVE approach to component-based development of vehicular systems. - Mikael Åkerholm; Jan Carlson; Johan Fredriksson; Hans Hansson; John Håkansson; Anders Möller; Paul Pettersson; Massimo Tivoli (J. Syst. Softw., 2007)

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 (ISoLA, 2008)

The Future of Software: Adaptation and Dependability. - Paola Inverardi; Massimo Tivoli (ISSSE, 2008)

A development process for context-aware adaptive services. - Marco Autili; Paolo Di Benedetto; Davide Di Ruscio; Paola Inverardi; Massimo Tivoli (ASE Workshops, 2008)

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. - Marco Autili; Leonardo Mostarda; Alfredo Navarra; Massimo Tivoli (J. Syst. Softw., 2008)

An architectural approach to the correct and automatic assembly of evolving component-based systems. - Patrizio Pelliccione; Massimo Tivoli; Antonio Bucchiarone; Andrea Polini (J. Syst. Softw., 2008)

Failure-free coordinators synthesis for component-based architectures. - Massimo Tivoli; Paola Inverardi (Sci. Comput. Program., 2008)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee; Jesper Andersson; Basil Becker; Nelly Bencomo; Yuriy Brun; Bojan Cukic; Giovanna Di Marzo Serugendo; Schahram Dustdar; et al. (Software Engineering for Self-Adaptive Systems, 2009)

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. - Valérie Issarny; Bernhard Steffen; Bengt Jonsson 001; Gordon S. Blair; Paul Grace; Marta Z. Kwiatkowska; Radu Calinescu; Paola Inverardi; Massimo Tivoli; Antonia Bertolino; Antonino Sabetta (ICECCS, 2009)

Towards an assume-guarantee theory for adaptable systems. - Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (SEAMS, 2009)

Automatic synthesis of behavior protocols for composable web-services. - Antonia Bertolino; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (ESEC/SIGSOFT FSE, 2009)

Synthesizing adapters for conversational web-services from their WSDL interface. - Luca Cavallaro; Elisabetta Di Nitto; Patrizio Pelliccione; Matteo Pradella; Massimo Tivoli (SEAMS, 2010)

Towards a Connector Algebra. - Marco Autili; Chris Chilton; Paola Inverardi; Marta Z. Kwiatkowska; Massimo Tivoli (ISoLA (2), 2010)

ModelLAND: Where Do Models Come from? - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Models@run.time@Dagstuhl, 2011)

A development process for requirements based service choreography. - Marco Autili; Davide Di Ruscio; Paola Inverardi; James Lockerbie; Massimo Tivoli (RESS, 2011)

Application-Layer Connector Synthesis. - Paola Inverardi; Romina Spalazzese; Massimo Tivoli (SFM, 2011)

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (SIGSOFT FSE, 2011)

Automated Inference of Models for Black Box Systems Based on Interface Descriptions. - Maik Merten; Falk Howar; Bernhard Steffen; Patrizio Pelliccione; Massimo Tivoli (ISoLA (1), 2012)

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. - Marco Autili; Vittorio Cortellessa; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (Monterey Workshop, 2012)

Developing highly complex distributed systems: a software engineering perspective. - Marco Autili; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (J. Internet Serv. Appl., 2012)

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. - Marco Autili; Paola Inverardi; Alexander Perucci; Massimo Tivoli (Software Engineering for Self-Adaptive Systems, 2013)

A Model-Based Synthesis Process for Choreography Realizability Enforcement. - Marco Autili; Davide Di Ruscio; Amleto Di Salle; Paola Inverardi; Massimo Tivoli (FASE, 2013)

Automatic synthesis of modular connectors via composition of protocol mediation patterns. - Paola Inverardi; Massimo Tivoli (ICSE, 2013)

Synthesis of Resilient Choreographies. - Marco Autili; Amleto Di Salle; Massimo Tivoli (SERENE, 2013)

Producing software by integration: challenges and research directions (keynote). - Paola Inverardi; Marco Autili; Davide Di Ruscio; Patrizio Pelliccione; Massimo Tivoli (ESEC/SIGSOFT FSE, 2013)

CHOREOS: Large scale choreographies for the future internet. - Marco Autili; Paola Inverardi; Massimo Tivoli (CSMR-WCRE, 2014)

IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). - Marco Autili; Alfredo Goldman; Massimo Tivoli (SERVICES, 2014)

Automatic adaptor synthesis for protocol transformation. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2014)

Distributed Enforcement of Service Choreographies. - Marco Autili; Massimo Tivoli (FOCLASA, 2014)

Automated Integration of Service-Oriented Software Systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (FSEN, 2015)

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. - Darko Bozhinoski; Davide Di Ruscio; Ivano Malavolta; Patrizio Pelliccione; Massimo Tivoli (ASE, 2015)

Biological Immunity and Software Resilience: Two Faces of the Same Coin? - Marco Autili; Amleto Di Salle; Francesco Gallo; Alexander Perucci; Massimo Tivoli (SERENE, 2015)

IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). - Marco Autili; Alfredo Goldman; Massimo Tivoli (SERVICES, 2015)

Synthesis of correct adaptors for protocol enhancement in component-based systems. - Marco Autili; Paola Inverardi; Massimo Tivoli (CoRR, 2015)

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. - Marco Autili; Amleto Di Salle; Alexander Perucci; Massimo Tivoli (FOCLASA, 2015)

Automated Synthesis of Service Choreographies. - Marco Autili; Paola Inverardi; Massimo Tivoli (IEEE Softw., 2015)

Automatic generation of detailed flight plans from high-level mission descriptions. - Davide Di Ruscio; Ivano Malavolta; Patrizio Pelliccione; Massimo Tivoli (MoDELS, 2016)

Thematic series on service composition for the future internet. - Marco Autili; Massimo Tivoli; Alfredo Goldman (J. Internet Serv. Appl., 2016)

Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems. - Marco Autili; Kirstie L. Bellman; Ada Diaconescu; Lukas Esterle; Massimo Tivoli; Andrea Zisman (Self-Aware Computing Systems, 2017)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Self-aware Computing Systems: Related Concepts and Research Areas. - Javier Cámara 001; Kirstie L. Bellman; Jeffrey O. Kephart; Marco Autili; Nelly Bencomo; Ada Diaconescu; Holger Giese; Sebastian Götz; Paola Inverardi; Samuel Kounev; Massimo Tivoli (Self-Aware Computing Systems, 2017)

A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. - Alexander Perucci; Marco Autili; Massimo Tivoli (MoDELS (Satellite Events), 2017)

On the model-driven synthesis of evolvable service choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (ECSA (Companion), 2018)

On the Model-driven Synthesis of Adaptable Choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (MoDELS (Workshops), 2018)

Model-driven adaptation of service choreographies. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (SAC, 2018)

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. - Alexander Perucci; Marco Autili; Massimo Tivoli; Alessandro Aloisio; Paola Inverardi (SEDA, 2018)

Thematic series on Verification and Composition for the Internet of Services and Things. - Marco Autili; Dimitra Giannakopoulou; Massimo Tivoli (J. Internet Serv. Appl., 2018)

Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. - Marco Autili; Paola Inverardi; Massimo Tivoli (Sci. Comput. Program., 2018)

Different Glasses to Look into the Three Cs: Component, Connector, Coordination. - Farhad Arbab; Marco Autili; Paola Inverardi; Massimo Tivoli (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (COORDINATION, 2019)

Introducing Trust in Service-Oriented Distributed Systems through Blockchain. - Marco Autili; Francesco Gallo; Paola Inverardi; Claudio Pompilio; Massimo Tivoli (ISSRE Workshops, 2019)

Aiding the realization of service-oriented distributed systems. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (SAC, 2019)

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. - Marco Autili; Davide Di Ruscio; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (IEEE Access, 2019)

A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (Future Internet, 2019)

Automated synthesis of application-layer connectors from automata-based specifications. - Marco Autili; Paola Inverardi; Romina Spalazzese; Massimo Tivoli; Filippo Mignosi (J. Comput. Syst. Sci., 2019)

Editorial to theme issue on model-driven engineering of component-based software systems. - Federico Ciccozzi; Jan Carlson; Patrizio Pelliccione; Massimo Tivoli (Softw. Syst. Model., 2019)

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. - Marco Autili; Amleto Di Salle; Claudio Pompilio; Massimo Tivoli (COORDINATION, 2020)

Towards the synthesis of context-aware choreographies. - Gianluca Filippone; Marco Autili; Massimo Tivoli (ISSRE Workshops, 2020)

CHOReVOLUTION: Service choreography in practice. - Marco Autili; Amleto Di Salle; Francesco Gallo; Claudio Pompilio; Massimo Tivoli (Sci. Comput. Program., 2020)

Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. - Gianluca Filippone; Marco Autili; Fabrizio Rossi; Massimo Tivoli (ISSRE Workshops, 2021)

Highly collaborative distributed systems: Synthesis and enactment at work. - Marco Autili; Alexander Perucci; Leonardo A. F. Leite; Massimo Tivoli; Fabio Kon; Amleto Di Salle (Concurr. Comput. Pract. Exp., 2021)

Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. - Marco Autili; Lei Chen 006; Cristofer Englund; Claudio Pompilio; Massimo Tivoli (IEEE Trans. Intell. Transp. Syst., 2021)

Ethical-aware autonomous systems from a social psychological lens. - Paola Inverardi; Massimiliano Palmiero; Patrizio Pelliccione; Massimo Tivoli (CoPDA@AVI, 2022)

Synthesis of context-aware business-to-business processes for location-based services through choreographies. - Gianluca Filippone; Marco Autili; Massimo Tivoli (J. Softw. Evol. Process., 2022)

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 (ICSA, 2023)

Migrating from Monoliths to Microservices: Enforcing Correct Coordination. - Marco Autili; Gianluca Filippone; Massimo Tivoli (ASEW, 2023)

An architectural style for scalable choreography-based microservice-oriented distributed systems. - Gianluca Filippone; Claudio Pompilio; Marco Autili; Massimo Tivoli (Computing, 2023)

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. - Farhad Arbab; Marco Autili; Federico Ciccozzi; Pascal Poizat; Massimo Tivoli (ACM SIGSOFT Softw. Eng. Notes, 2024)