TIVOLI, MASSIMO

TIVOLI, MASSIMO  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.015 secondi).
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-2015 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; 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 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.