TIVOLI, MASSIMO
TIVOLI, MASSIMO
Gran Sasso Science Institute - Scuola Universitaria Superiore
An architectural approach to the correct and automatic assembly of evolving component-based systems
2008-01-01 Pelliccione, Patrizio; A., Bucchiarone; AND A., Polini; 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
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2015-01-01 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Automated Synthesis of Service Choreographies
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions
2016-01-01 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Automatic synthesis of behavior protocols for composable web-services
2009-01-01 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
2018-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
CHOREOS: Large scale choreographies for the future internet
2014-01-01 Autili, Marco; Inverardi, Paola; 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
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Different Glasses to Look into the Three Cs: Component, Connector, Coordination
2019-01-01 Arbab, F.; Autili, M.; Inverardi, P.; Tivoli, M.
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains
2019-01-01 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
Editorial to theme issue on model-driven engineering of component-based software systems
2019-01-01 Ciccozzi, Federico; Carlson, Jan; Pelliccione, Patrizio; Tivoli, Massimo
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters
2015-01-01 Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; 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
ModelLAND: Where do models come from?
2014-01-01 Autili, Marco; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Self-aware Computing Systems: Related Concepts and Research Areas
2017-01-01 Camara, Javier; Bellman, Kirstie; Kephart, Jeffrey; Autili, Marco; Bencomo, Nelly; Diaconescu, Ada; Giese, Holger; Gotz, Sebastian; Inverardi, Paola; Kounev, Samuel; Tivoli, Massimo
Synthesis and Verification of Self-aware Computing Systems
2017-01-01 Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
2017-01-01 Autili, M; Inverardi, P; Perucci, A; Tivoli, M.
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An architectural approach to the correct and automatic assembly of evolving component-based systems | 1-gen-2008 | Pelliccione, Patrizio; A., Bucchiarone; AND A., Polini; 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 | |
Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo | |
Automated Synthesis of Service Choreographies | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions | 1-gen-2016 | DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo | |
Automatic synthesis of behavior protocols for composable web-services | 1-gen-2009 | Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates | 1-gen-2018 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
CHOREOS: Large scale choreographies for the future internet | 1-gen-2014 | Autili, Marco; Inverardi, Paola; 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 | |
CHOReVOLUTION: Service choreography in practice | 1-gen-2020 | Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M. | |
Different Glasses to Look into the Three Cs: Component, Connector, Coordination | 1-gen-2019 | Arbab, F.; Autili, M.; Inverardi, P.; 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 | |
Editorial to theme issue on model-driven engineering of component-based software systems | 1-gen-2019 | Ciccozzi, Federico; Carlson, Jan; Pelliccione, Patrizio; Tivoli, Massimo | |
FLYAQ: Enabling non-expert users to specify and generate missions of autonomous multicopters | 1-gen-2015 | Bozhinoski, Darko; DI RUSCIO, Davide; Malavolta, Ivano; 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 | |
ModelLAND: Where do models come from? | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Self-aware Computing Systems: Related Concepts and Research Areas | 1-gen-2017 | Camara, Javier; Bellman, Kirstie; Kephart, Jeffrey; Autili, Marco; Bencomo, Nelly; Diaconescu, Ada; Giese, Holger; Gotz, Sebastian; Inverardi, Paola; Kounev, Samuel; Tivoli, Massimo | |
Synthesis and Verification of Self-aware Computing Systems | 1-gen-2017 | Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo | |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution | 1-gen-2017 | Autili, M; Inverardi, P; Perucci, A; Tivoli, M. | |
Synthesizing adapters for conversational web-services from their WSDL interface | 1-gen-2010 | Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M. |