Massimo Tivoli

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 29

Top Topics

Future Internet

Service Composition

Combinatorial Optimization

Handwritten Signature Verification

Top Venues

ISSRE Workshops

J. Internet Serv. Appl.

Publications

Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Gianluca Filippone, Claudio Pompilio, Marco Autili, Massimo Tivoli
An architectural style for scalable choreography-based microservice-oriented distributed systems. Computing 105 (9) (2023)
Gianluca Filippone, Nadeem Qaisar Mehmood, Marco Autili, Fabrizio Rossi, Massimo Tivoli
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. ICSA (2023)
Marco Autili, Gianluca Filippone, Massimo Tivoli
Migrating from Monoliths to Microservices: Enforcing Correct Coordination. ASEW (2023)
Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli
Ethical-aware autonomous systems from a social psychological lens. CoPDA@AVI (2022)
Gianluca Filippone, Marco Autili, Massimo Tivoli
Synthesis of context-aware business-to-business processes for location-based services through choreographies. J. Softw. Evol. Process. 34 (10) (2022)
Marco Autili, Alexander Perucci, Leonardo A. F. Leite, Massimo Tivoli, Fabio Kon, Amleto Di Salle
Highly collaborative distributed systems: Synthesis and enactment at work. Concurr. Comput. Pract. Exp. 33 (6) (2021)
Gianluca Filippone, Marco Autili, Fabrizio Rossi, Massimo Tivoli
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. ISSRE Workshops (2021)
Marco Autili, Lei Chen, Cristofer Englund, Claudio Pompilio, Massimo Tivoli
Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. IEEE Trans. Intell. Transp. Syst. 22 (4) (2021)
Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. COORDINATION (2020)
Gianluca Filippone, Marco Autili, Massimo Tivoli
Towards the synthesis of context-aware choreographies. ISSRE Workshops (2020)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Service choreography in practice. Sci. Comput. Program. 197 (2020)
Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione, Massimo Tivoli
Editorial to theme issue on model-driven engineering of component-based software systems. Softw. Syst. Model. 18 (1) (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. Future Internet 11 (6) (2019)
Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli
Introducing Trust in Service-Oriented Distributed Systems through Blockchain. ISSRE Workshops (2019)
Marco Autili, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi
Automated synthesis of application-layer connectors from automata-based specifications. J. Comput. Syst. Sci. 104 (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. COORDINATION (2019)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. IEEE Access 7 (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Aiding the realization of service-oriented distributed systems. SAC (2019)
Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
On the Model-driven Synthesis of Adaptable Choreographies. MoDELS (Workshops) (2018)
Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli
Thematic series on Verification and Composition for the Internet of Services and Things. J. Internet Serv. Appl. 9 (1) (2018)
Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. SEDA (2018)
Marco Autili, Paola Inverardi, Massimo Tivoli
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Sci. Comput. Program. 160 (2018)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
On the model-driven synthesis of evolvable service choreographies. ECSA (Companion) (2018)
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
Model-driven adaptation of service choreographies. SAC (2018)
Alexander Perucci, Marco Autili, Massimo Tivoli
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. MoDELS (Satellite Events) (2017)
Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli
Automatic generation of detailed flight plans from high-level mission descriptions. MoDELS (2016)
Marco Autili, Massimo Tivoli, Alfredo Goldman
Thematic series on service composition for the future internet. J. Internet Serv. Appl. 7 (1) (2016)
Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli
On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. FOCLASA (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Synthesis of correct adaptors for protocol enhancement in component-based systems. CoRR (2015)
Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli
Biological Immunity and Software Resilience: Two Faces of the Same Coin? SERENE (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Integration of Service-Oriented Software Systems. FSEN (2015)
Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. LATA (2015)
Marco Autili, Alfredo Goldman, Massimo Tivoli
IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). SERVICES (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automated Synthesis of Service Choreographies. IEEE Softw. 32 (1) (2015)
Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli
FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. ASE (2015)
Marco Autili, Paola Inverardi, Massimo Tivoli
Automatic adaptor synthesis for protocol transformation. CoRR (2014)
Marco Autili, Alfredo Goldman, Massimo Tivoli
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). SERVICES (2014)
Marco Autili, Paola Inverardi, Massimo Tivoli
CHOREOS: Large scale choreographies for the future internet. CSMR-WCRE (2014)
Marco Autili, Massimo Tivoli
Distributed Enforcement of Service Choreographies. FOCLASA (2014)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE (2013)
Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. Software Engineering for Self-Adaptive Systems (2013)
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE (2013)
Paola Inverardi, Massimo Tivoli
Automatic synthesis of modular connectors via composition of protocol mediation patterns. ICSE (2013)
Marco Autili, Amleto Di Salle, Massimo Tivoli
Synthesis of Resilient Choreographies. SERENE (2013)
Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Developing highly complex distributed systems: a software engineering perspective. J. Internet Serv. Appl. 3 (1) (2012)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop (2012)
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) (2012)
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. SIGSOFT FSE (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
ModelLAND: Where Do Models Come from? Models@run.time@Dagstuhl (2011)
Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli
A development process for requirements based service choreography. RESS (2011)
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
Application-Layer Connector Synthesis. SFM (2011)
Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli
Synthesizing adapters for conversational web-services from their WSDL interface. SEAMS (2010)
Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
Towards a Connector Algebra. ISoLA (2) (2010)
Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Towards an assume-guarantee theory for adaptable systems. SEAMS (2009)
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, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems (2009)
Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS (2009)
Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE (2009)
Paola Inverardi, Massimo Tivoli
The Future of Software: Adaptation and Dependability. ISSSE (2008)
Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini
An architectural approach to the correct and automatic assembly of evolving component-based systems. J. Syst. Softw. 81 (12) (2008)
Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
A development process for context-aware adaptive services. ASE Workshops (2008)
Massimo Tivoli, Paola Inverardi
Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71 (3) (2008)
Marco Autili, Leonardo Mostarda, Alfredo Navarra, Massimo Tivoli
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. J. Syst. Softw. 81 (12) (2008)
Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli
A Framework for Analyzing and Testing the Performance of Software Services. ISoLA (2008)
Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE (2007)
Paola Inverardi, Massimo Tivoli
A reuse-based approach to the correct and automatic composition of web-services. ESSPE (2007)
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. 80 (5) (2007)
Pascal Poizat, Gwen Salaün, Massimo Tivoli
An Adaptation-based Approach to Incrementally Build Component Systems. Electron. Notes Theor. Comput. Sci. 182 (2007)
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
Preface. Electron. Notes Theor. Comput. Sci. 189 (2007)
Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
Adaptor Synthesis for Real-Time Components. TACAS (2007)
Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
A Development Process for Self-adapting Service Oriented Applications. ICSOC (2007)
Massimo Tivoli, Marco Autili
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. Obj. Logiciel Base données Réseaux 12 (1) (2006)
Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli
Towards an architectural approach for the dynamic and automatic composition of software components. ROSATEA (2006)
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops (2006)
Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA (2006)
Massimo Tivoli, David Garlan
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. WICSA (2005)
Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic
A component-based development framework for supporting functional and non-functional analysis in control system design. ASE (2005)
Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE (2005)
Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
Correct Components Assembly for a Product Data Management Cooperative System. CBSE (2004)
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli
Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components (2004)
Paola Inverardi, Massimo Tivoli
Deadlock-free software architectures for COM/DCOM Applications. J. Syst. Softw. 65 (3) (2003)
Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone
Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE (2003)
Paola Inverardi, Massimo Tivoli
Software Architecture for Correct Components Assembly. SFM (2003)
Paola Inverardi, Massimo Tivoli
Automatic Failures-Free Connector Synthesis: An Example. RISSEF (2002)
Paola Inverardi, Massimo Tivoli
Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE (2001)