Massimo Tivoli
Orcid: 0000-0001-9290-1997Affiliations:
- University of L'Aquila, Italy
According to our database1,
Massimo Tivoli
authored at least 89 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.univaq.it
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
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
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
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
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
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
Future Internet, 2019
A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World.
IEEE Access, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
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
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
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
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
Proceedings of the Self-Aware Computing Systems., 2017
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
J. Internet Serv. Appl., 2016
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
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
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
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
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
2014
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 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
Proceedings of the 2014 Software Evolution Week, 2014
2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
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
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
J. Internet Serv. Appl., 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2011
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
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Proceedings of the Requirements Engineering for Systems, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010
2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
2008
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
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Proceedings of the Software Engineering, International Summer Schools, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
2007
J. Syst. Softw., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007
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
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006
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
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
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
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004
2003
J. Syst. Softw., 2003
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003
Proceedings of the Formal Methods for Software Architectures, 2003
2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001