IRIS

TIVOLI, MASSIMO

TIVOLI, MASSIMO  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 20 di 108 (tempo di esecuzione: 0.038 secondi).
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
Migrating from monoliths to microservices: enforcing correct coordination 1-gen-2023 Autili, Marco; Filippone, Gianluca; 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
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.
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization 1-gen-2021 Filippone, G.; Autili, M.; Rossi, F.; 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
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.
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 1-gen-2019 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
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
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2019 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Introducing Trust in Service-oriented Distributed Systems through Blockchain 1-gen-2019 Autili, Marco; Gallo, Francesco; Inverardi, Paola; 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
Aiding the Realization of Service-oriented Distributed Systems 1-gen-2019 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; 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
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications 1-gen-2019 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo