AUTILI, Marco
AUTILI, Marco
Dipartimento di Ingegneria e scienze dell informazione e matematica
Aiding the Realization of Service-oriented Distributed Systems
2019-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
2015-01-01 Autili, Marco; Lars, Grunske; Markus, Lumpe; Pelliccione, Patrizio; Antony, Tang
Architecting Service Oriented Middleware for Pervasive Networking
2009-01-01 Autili, M.; Caporuscio, M.; Issarny, V.
Architectural Style for the Development of Choreographies in the Future Internet
2014-01-01 Athanasopoulos, D; Autili, Marco; Georgantas, N; Issarny, V; Tivoli, Massimo; Zarras, A.
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?
2012-01-01 Autili, M; Inverardi, P; Tivoli, M
Automated integration of service-oriented software systems
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
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 Application-layer Connectors from Automata-based Specifications
2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Automated Synthesis of Service Choreographies
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automatic adaptor synthesis for protocol transformation
2004-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Biological immunity and software resilience: two faces of the same coin?
2015-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander; Tivoli, Massimo
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
2018-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City
2019-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
CHOREOS: Large scale choreographies for the future internet
2014-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
CHOReOSynt: Enforcing choreography realizability in the future internet
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Perucci, Alexander
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications
2019-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
2020-01-01 Autili, M.; Di Salle, A.; Pompilio, C.; Tivoli, M.
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Composing Services in the Future Internet: Choreography-Based Approach
2013-01-01 Autili, Marco; Ben HAMIDA, A; DE ANGELIS, Guglielmo; Silingas, D.
A Conceptual Model for Adaptable Context-aware Services
2006-01-01 Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Aiding the Realization of Service-oriented Distributed Systems | 1-gen-2019 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
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 | |
Architecting Service Oriented Middleware for Pervasive Networking | 1-gen-2009 | Autili, M.; Caporuscio, M.; Issarny, V. | |
Architectural Style for the Development of Choreographies in the Future Internet | 1-gen-2014 | Athanasopoulos, D; Autili, Marco; Georgantas, N; Issarny, V; Tivoli, Massimo; Zarras, A. | |
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? | 1-gen-2012 | Autili, M; Inverardi, P; Tivoli, M | |
Automated integration of service-oriented software systems | 1-gen-2015 | Autili, Marco; Inverardi, Paola; 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 adaptor synthesis for protocol transformation | 1-gen-2004 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
Biological immunity and software resilience: two faces of the same coin? | 1-gen-2015 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Perucci, Alexander; Tivoli, Massimo | |
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates | 1-gen-2018 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City | 1-gen-2019 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
CHOREOS: Large scale choreographies for the future internet | 1-gen-2014 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
CHOReOSynt: Enforcing choreography realizability in the future internet | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Perucci, Alexander | |
CHOReVOLUTION: automating the realization of highly-collaborative distributed applications | 1-gen-2019 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems | 1-gen-2020 | Autili, M.; Di Salle, A.; Pompilio, C.; Tivoli, M. | |
CHOReVOLUTION: Service choreography in practice | 1-gen-2020 | Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M. | |
Composing Services in the Future Internet: Choreography-Based Approach | 1-gen-2013 | Autili, Marco; Ben HAMIDA, A; DE ANGELIS, Guglielmo; Silingas, D. | |
A Conceptual Model for Adaptable Context-aware Services | 1-gen-2006 | Autili, Marco; Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola |