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