TIVOLI, MASSIMO
TIVOLI, MASSIMO
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023
2024-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Migrating from monoliths to microservices: enforcing correct coordination
2023-01-01 Autili, Marco; Filippone, Gianluca; Tivoli, Massimo
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization
2023-01-01 Filippone, Gianluca; Mehmood, NADEEM QAISAR; Autili, Marco; Rossi, Fabrizio; Tivoli, Massimo
An architectural style for scalable choreography-based microservice-oriented distributed systems
2023-01-01 Filippone, Gianluca; Pompilio, Claudio; Autili, Marco; Tivoli, Massimo
Thematic Series on Automated and Verifiable Internet Services and Applications Development
2022-01-01 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Synthesis of context-aware business-to-business processes for location-based services through choreographies
2022-01-01 Filippone, G.; Autili, M.; Tivoli, M.
Highly collaborative distributed systems: Synthesis and enactment at work
2021-01-01 Autili, Marco; Perucci, Alexander; Leite, Leonardo; Tivoli, Massimo; Kon, Fabio; DI SALLE, Amleto
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization
2021-01-01 Filippone, G.; Autili, M.; Rossi, F.; Tivoli, M.
Cooperative Intelligent Transport Systems: Choreography-based Urban Traffic Coordination
2021-01-01 Autili, Marco; Chen, L.; Englund, C.; Pompilio, Claudio; Tivoli, Massimo
Towards the synthesis of context-aware choreographies
2020-01-01 Filippone, Gianluca; Autili, Marco; Tivoli, Massimo
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
2020-01-01 Autili, M.; Di Salle, A.; Pompilio, C.; Tivoli, M.
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
2019-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains
2019-01-01 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
Different Glasses to Look into the Three Cs: Component, Connector, Coordination
2019-01-01 Arbab, F.; Autili, M.; Inverardi, P.; Tivoli, M.
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world
2019-01-01 Autili, Marco; Di Ruscio, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Introducing Trust in Service-oriented Distributed Systems through Blockchain
2019-01-01 Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo
Editorial to theme issue on model-driven engineering of component-based software systems
2019-01-01 Ciccozzi, Federico; Carlson, Jan; Pelliccione, Patrizio; Tivoli, Massimo
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications
2019-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo