Massimo Tivoli

Affiliations:
  • University of L'Aquila, Italy


According to our database1, Massimo Tivoli authored at least 89 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
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, January, 2024

2023
An architectural style for scalable choreography-based microservice-oriented distributed systems.
Computing, September, 2023

Migrating from Monoliths to Microservices: Enforcing Correct Coordination.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization.
Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

2022
Synthesis of context-aware business-to-business processes for location-based services through choreographies.
J. Softw. Evol. Process., 2022

Ethical-aware autonomous systems from a social psychological lens.
Proceedings of the Sixth International Workshop on Cultures of Participation in the Digital Age: AI for Humans or Humans for AI? co-located with the International Conference on Advanced Visual Interfaces (AVI 2022), 2022

2021
Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination.
IEEE Trans. Intell. Transp. Syst., 2021

Highly collaborative distributed systems: Synthesis and enactment at work.
Concurr. Comput. Pract. Exp., 2021

Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020
CHOReVOLUTION: Service choreography in practice.
Sci. Comput. Program., 2020

Towards the synthesis of context-aware choreographies.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems.
Proceedings of the Coordination Models and Languages, 2020

2019
Editorial to theme issue on model-driven engineering of component-based software systems.
Softw. Syst. Model., 2019

Automated synthesis of application-layer connectors from automata-based specifications.
J. Comput. Syst. Sci., 2019

A Choreography-Based and Collaborative Road Mobility System for L'Aquila City.
Future Internet, 2019

A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.
IEEE Access, 2019

Aiding the realization of service-oriented distributed systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Introducing Trust in Service-Oriented Distributed Systems through Blockchain.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications.
Proceedings of the Coordination Models and Languages, 2019

Different Glasses to Look into the Three Cs: Component, Connector, Coordination.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates.
Sci. Comput. Program., 2018

Thematic series on Verification and Composition for the Internet of Services and Things.
J. Internet Serv. Appl., 2018

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Model-driven adaptation of service choreographies.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

On the Model-driven Synthesis of Adaptable Choreographies.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

On the model-driven synthesis of evolvable service choreographies.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Self-aware Computing Systems: Related Concepts and Research Areas.
Proceedings of the Self-Aware Computing Systems., 2017


Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Thematic series on service composition for the future internet.
J. Internet Serv. Appl., 2016

Automatic generation of detailed flight plans from high-level mission descriptions.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

2015
Automated Synthesis of Service Choreographies.
IEEE Softw., 2015

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems.
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

Synthesis of correct adaptors for protocol enhancement in component-based systems.
CoRR, 2015

IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015).
Proceedings of the 2015 IEEE World Congress on Services, 2015

Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automated Integration of Service-Oriented Software Systems.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
Distributed Enforcement of Service Choreographies.
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

Automatic adaptor synthesis for protocol transformation.
CoRR, 2014

IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014).
Proceedings of the 2014 IEEE World Congress on Services, 2014

CHOREOS: Large scale choreographies for the future internet.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Producing software by integration: challenges and research directions (keynote).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Synthesis of Resilient Choreographies.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Automatic synthesis of modular connectors via composition of protocol mediation patterns.
Proceedings of the 35th International Conference on Software Engineering, 2013

A Model-Based Synthesis Process for Choreography Realizability Enforcement.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Developing highly complex distributed systems: a software engineering perspective.
J. Internet Serv. Appl., 2012

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Automated Inference of Models for Black Box Systems Based on Interface Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Application-Layer Connector Synthesis.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

A development process for requirements based service choreography.
Proceedings of the Requirements Engineering for Systems, 2011

ModelLAND: Where Do Models Come from?
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Towards a Connector Algebra.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Synthesizing adapters for conversational web-services from their WSDL interface.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

2009
Automatic synthesis of behavior protocols for composable web-services.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Towards an assume-guarantee theory for adaptable systems.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009


2008
Failure-free coordinators synthesis for component-based architectures.
Sci. Comput. Program., 2008

An architectural approach to the correct and automatic assembly of evolving component-based systems.
J. Syst. Softw., 2008

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems.
J. Syst. Softw., 2008

A development process for context-aware adaptive services.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

The Future of Software: Adaptation and Dependability.
Proceedings of the Software Engineering, International Summer Schools, 2008

A Framework for Analyzing and Testing the Performance of Software Services.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
The SAVE approach to component-based development of vehicular systems.
J. Syst. Softw., 2007

Adaptor Synthesis for Real-Time Components.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

A reuse-based approach to the correct and automatic composition of web-services.
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

A Development Process for Self-adapting Service Oriented Applications.
Proceedings of the Service-Oriented Computing, 2007

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
An Adaptation-based Approach to Incrementally Build Component Systems.
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Preface.
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.
Obj. Logiciel Base données Réseaux, 2006

Towards an architectural approach for the dynamic and automatic composition of software components.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.
Proceedings of the Software Architecture, Third European Workshop, 2006

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
An architectural approach to the automatic composition and adaptation of software components.
PhD thesis, 2005

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

A component-based development framework for supporting functional and non-functional analysis in control system design.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
Towards an Engineering Approach to Component Adaptation.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

Correct Components Assembly for a Product Data Management Cooperative System.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
Deadlock-free software architectures for COM/DCOM Applications.
J. Syst. Softw., 2003

Automatic synthesis of coordinators for COTS group-ware applications: an example.
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Software Architecture for Correct Components Assembly.
Proceedings of the Formal Methods for Software Architectures, 2003

2002
Automatic Failures-Free Connector Synthesis: An Example.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
Automatic synthesis of deadlock free connectors for COM/DCOM applications.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001


  Loading...