IRIS

Autili, Marco

Autili, Marco  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.005 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 reference architecture for ethical-aware autonomous systems 1-gen-2026 Autili, Marco; De Sanctis, Martina; Inverardi, Paola; Memon, Mashal Afzal; Pelliccione, Patrizio; Pettinari, Sara
A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI 1-gen-2026 Amalfitano, Domenico; Metzger, Andreas; Autili, Marco; Fulcini, Tommaso; Hey, Tobias; Keim, Jan; Pelliccione, Patrizio; Scotti, Vincenzo; Koziolek, Anne; Mirandola, Raffaela; Vogelsang, Andreas
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-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
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
Ethics label for digital systems to promote transparency and user awareness 1-gen-2026 Autili, Marco; Corsi, Riccardo; 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