IRIS

Autili, Marco

Autili, Marco  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach 1-gen-2024 Memon, Mashal Afzal; Autili, Marco; Filippone, Gianluca; Scoccia, Gian Luca; Inverardi, Paola
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
An architectural style for scalable choreography-based microservice-oriented distributed systems 1-gen-2023 Filippone, Gianluca; Pompilio, Claudio; Autili, Marco; 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
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
Engineering Digital Systems for Humanity: A Research Roadmap 1-gen-2025 Autili, Marco; De Sanctis, Martina; Inverardi, Paola; Pelliccione, Patrizio
From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization 1-gen-2023 Filippone, G.; Qaisar Mehmood, N.; Autili, M.; Rossi, F.; Tivoli, M.
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach 1-gen-2007 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation 1-gen-2024 Filippone, Gianluca; Piñera García, Juan Antonio; Autili, Marco; 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