Massimo Tivoli

95 papers A* 5A 6B 4C 5Misc 2Journal 23Unranked 41

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	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 Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
2023	J	`jnl`	An architectural style for scalable choreography-based microservice-oriented distributed systems. Computing Gianluca Filippone, Claudio Pompilio, Marco Autili, Massimo Tivoli
2023	A	`conf`	From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. ICSA Gianluca Filippone, Nadeem Qaisar Mehmood, Marco Autili, Fabrizio Rossi, Massimo Tivoli
2023	—	`conf`	Migrating from Monoliths to Microservices: Enforcing Correct Coordination. ASEW Marco Autili, Gianluca Filippone, Massimo Tivoli
2022	—	`conf`	Ethical-aware autonomous systems from a social psychological lens. CoPDA@AVI Paola Inverardi, Massimiliano Palmiero, Patrizio Pelliccione, Massimo Tivoli
2022	J	`jnl`	Synthesis of context-aware business-to-business processes for location-based services through choreographies. J. Softw. Evol. Process. Gianluca Filippone, Marco Autili, Massimo Tivoli
2021	J	`jnl`	Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination. IEEE Trans. Intell. Transp. Syst. Marco Autili, Lei Chen, Cristofer Englund, Claudio Pompilio, Massimo Tivoli
2021	J	`jnl`	Highly collaborative distributed systems: Synthesis and enactment at work. Concurr. Comput. Pract. Exp. Marco Autili, Alexander Perucci, Leonardo A. F. Leite, Massimo Tivoli, Fabio Kon, Amleto Di Salle
2021	—	`conf`	Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. ISSRE Workshops Gianluca Filippone, Marco Autili, Fabrizio Rossi, Massimo Tivoli
2020	C	`conf`	CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. COORDINATION Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli
2020	J	`jnl`	CHOReVOLUTION: Service choreography in practice. Sci. Comput. Program. Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2020	—	`conf`	Towards the synthesis of context-aware choreographies. ISSRE Workshops Gianluca Filippone, Marco Autili, Massimo Tivoli
2019	J	`jnl`	A Choreography-Based and Collaborative Road Mobility System for L'Aquila City. Future Internet Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2019	J	`jnl`	A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World. IEEE Access Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2019	Misc	`conf`	Aiding the realization of service-oriented distributed systems. SAC Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2019	J	`jnl`	Automated synthesis of application-layer connectors from automata-based specifications. J. Comput. Syst. Sci. Marco Autili, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi
2019	C	`conf`	CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. COORDINATION Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2019	—	`conf`	Different Glasses to Look into the Three Cs: Component, Connector, Coordination. Models, Languages, and Tools for Concurrent and Distributed Programming Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
2019	J	`jnl`	Editorial to theme issue on model-driven engineering of component-based software systems. Softw. Syst. Model. Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione, Massimo Tivoli
2019	—	`conf`	Introducing Trust in Service-Oriented Distributed Systems through Blockchain. ISSRE Workshops Marco Autili, Francesco Gallo, Paola Inverardi, Claudio Pompilio, Massimo Tivoli
2018	J	`jnl`	Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Sci. Comput. Program. Marco Autili, Paola Inverardi, Massimo Tivoli
2018	—	`conf`	Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains. SEDA Alexander Perucci, Marco Autili, Massimo Tivoli, Alessandro Aloisio, Paola Inverardi
2018	Misc	`conf`	Model-driven adaptation of service choreographies. SAC Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2018	—	`conf`	On the Model-driven Synthesis of Adaptable Choreographies. MoDELS (Workshops) Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2018	—	`conf`	On the model-driven synthesis of evolvable service choreographies. ECSA (Companion) Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2018	J	`jnl`	Thematic series on Verification and Composition for the Internet of Services and Things. J. Internet Serv. Appl. Marco Autili, Dimitra Giannakopoulou, Massimo Tivoli
2017	—	`conf`	A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. MoDELS (Satellite Events) Alexander Perucci, Marco Autili, Massimo Tivoli
2017	—	`ch.`	Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems Javier Cámara, Kirstie L. Bellman, Jeffrey O. Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, Massimo Tivoli
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli
2017	—	`ch.`	Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems. Self-Aware Computing Systems Marco Autili, Kirstie L. Bellman, Ada Diaconescu, Lukas Esterle, Massimo Tivoli, Andrea Zisman
2016	A	`conf`	Automatic generation of detailed flight plans from high-level mission descriptions. MoDELS Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli
2016	J	`jnl`	Thematic series on service composition for the future internet. J. Internet Serv. Appl. Marco Autili, Massimo Tivoli, Alfredo Goldman
2015	—	`conf`	Automated Integration of Service-Oriented Software Systems. FSEN Marco Autili, Paola Inverardi, Massimo Tivoli
2015	C	`conf`	Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. LATA Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli
2015	J	`jnl`	Automated Synthesis of Service Choreographies. IEEE Softw. Marco Autili, Paola Inverardi, Massimo Tivoli
2015	—	`conf`	Biological Immunity and Software Resilience: Two Faces of the Same Coin? SERENE Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli
2015	A*	`conf`	FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. ASE Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli
2015	B	`conf`	IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). SERVICES Marco Autili, Alfredo Goldman, Massimo Tivoli
2015	—	`conf`	On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. FOCLASA Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli
2015	—	`ed.`	Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. FOCLASA José Proença, Massimo Tivoli
2015	—	`ed.`	Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015. STAF Projects Showcase Marco Autili, Tom Ritter, Andrey Sadovykh, Massimo Tivoli
2015	J	`jnl`	Synthesis of correct adaptors for protocol enhancement in component-based systems. CoRR Marco Autili, Paola Inverardi, Massimo Tivoli
2014	J	`jnl`	Automatic adaptor synthesis for protocol transformation. CoRR Marco Autili, Paola Inverardi, Massimo Tivoli
2014	—	`conf`	CHOREOS: Large scale choreographies for the future internet. CSMR-WCRE Marco Autili, Paola Inverardi, Massimo Tivoli
2014	—	`conf`	Distributed Enforcement of Service Choreographies. FOCLASA Marco Autili, Massimo Tivoli
2014	B	`conf`	IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). SERVICES Marco Autili, Alfredo Goldman, Massimo Tivoli
2014	—	`ed.`	Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. ModComp@MoDELS Federico Ciccozzi, Massimo Tivoli, Jan Carlson
2013	B	`conf`	A Model-Based Synthesis Process for Choreography Realizability Enforcement. FASE Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
2013	A*	`conf`	Automatic synthesis of modular connectors via composition of protocol mediation patterns. ICSE Paola Inverardi, Massimo Tivoli
2013	—	`ed.`	CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013 CBSE Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli
2013	—	`conf`	Producing software by integration: challenges and research directions (keynote). ESEC/SIGSOFT FSE Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
2013	—	`conf`	Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. Software Engineering for Self-Adaptive Systems Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
2013	—	`conf`	Synthesis of Resilient Choreographies. SERENE Marco Autili, Amleto Di Salle, Massimo Tivoli
2012	—	`conf`	Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
2012	J	`jnl`	Developing highly complex distributed systems: a software engineering perspective. J. Internet Serv. Appl. Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2012	—	`conf`	Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. Monterey Workshop Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011	—	`conf`	A development process for requirements based service choreography. RESS Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli
2011	—	`conf`	Application-Layer Connector Synthesis. SFM Paola Inverardi, Romina Spalazzese, Massimo Tivoli
2011	—	`conf`	EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty. SIGSOFT FSE Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2011	—	`conf`	ModelLAND: Where Do Models Come from? [email protected]@Dagstuhl Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2010	A	`conf`	Synthesizing adapters for conversational web-services from their WSDL interface. SEAMS Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli
2010	—	`conf`	Towards a Connector Algebra. ISoLA (2) Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli
2009	—	`conf`	Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2009	B	`conf`	CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 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
2009	—	`conf`	Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2009	A	`conf`	Towards an assume-guarantee theory for adaptable systems. SEAMS Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
2008	C	`conf`	A Framework for Analyzing and Testing the Performance of Software Services. ISoLA Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli
2008	—	`conf`	A development process for context-aware adaptive services. ASE Workshops Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
2008	J	`jnl`	An architectural approach to the correct and automatic assembly of evolving component-based systems. J. Syst. Softw. Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini
2008	J	`jnl`	Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. Massimo Tivoli, Paola Inverardi
2008	J	`jnl`	Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. J. Syst. Softw. Marco Autili, Leonardo Mostarda, Alfredo Navarra, Massimo Tivoli
2008	—	`conf`	The Future of Software: Adaptation and Dependability. ISSSE Paola Inverardi, Massimo Tivoli
2007	A	`conf`	A Development Process for Self-adapting Service Oriented Applications. ICSOC Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
2007	—	`conf`	A reuse-based approach to the correct and automatic composition of web-services. ESSPE Paola Inverardi, Massimo Tivoli
2007	A	`conf`	Adaptor Synthesis for Real-Time Components. TACAS Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
2007	—	`ed.`	Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006 WCAT@ECOOP Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2007	A*	`conf`	SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
2007	J	`jnl`	The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
2006	—	`conf`	An Adaptation-based Approach to Incrementally Build Component Systems. FACS Pascal Poizat, Gwen Salaün, Massimo Tivoli
2006	—	`conf`	Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2006	—	`conf`	Preface. WCAT@ECOOP Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
2006	J	`jnl`	SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. Obj. Logiciel Base données Réseaux Massimo Tivoli, Marco Autili
2006	—	`conf`	Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
2006	—	`conf`	Towards an architectural approach for the dynamic and automatic composition of software components. ROSATEA Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli
2005	A*	`conf`	A component-based development framework for supporting functional and non-functional analysis in control system design. ASE Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic
2005	—	`conf`	Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. WICSA Massimo Tivoli, David Garlan
2005	—	`—`	An architectural approach to the automatic composition and adaptation of software components. Massimo Tivoli
2005	A*	`conf`	Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili
2004	—	`conf`	Correct Components Assembly for a Product Data Management Cooperative System. CBSE Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
2004	—	`conf`	Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli
2003	C	`conf`	Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone
2003	J	`jnl`	Deadlock-free software architectures for COM/DCOM Applications. J. Syst. Softw. Paola Inverardi, Massimo Tivoli
2003	—	`conf`	Software Architecture for Correct Components Assembly. SFM Paola Inverardi, Massimo Tivoli
2002	—	`conf`	Automatic Failures-Free Connector Synthesis: An Example. RISSEF Paola Inverardi, Massimo Tivoli
2001	—	`conf`	Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE Paola Inverardi, Massimo Tivoli