IRIS

Autili, Marco

Autili, Marco  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A Scenario Based Notation for Specifying Temporal Properties 1-gen-2006 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar 1-gen-2015 Autili, Marco; Lars, Grunske; Markus, Lumpe; Pelliccione, Patrizio; Antony, Tang
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
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.
Context-Aware Adaptive Services: The PLASTIC Approach 1-gen-2009 Autili, M; Di Benedetto, Paolo; Inverardi, P
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
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 1-gen-2007 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Hey, my data are mine! Active data to empower the user 1-gen-2020 Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Maria Fiore, Matteo; Russo, Alejandro
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.
Towards a Graphical Tool for Refining User to System Requirements 1-gen-2008 Autili, Marco; Pelliccione, Patrizio