MAURO, JACOPO
MAURO, JACOPO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
On the Evaluation of (Meta-)solver Approaches
2023 Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)
2022 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
sunny-as2: Enhancing SUNNY for Algorithm Selection
2021 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
2019 Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J.
On the modeling of optimal and automatized cloud application deployment
2019 de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi
Programming adaptive microservice applications: An AIOCJ tutorial
2017 Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M.
Declarative elasticity in ABS
2016 de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
On the expressiveness of synchronization in component deployment
2016 Mauro, Jacopo; Zavattaro, Gianluigi
Automatic application deployment in the cloud: From practice to theory and back
2015 Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Automatic deployment of component-based applications
2015 Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi
Automatic Deployment of Services in the Cloud with Aeolus Blender
2015 Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Developing correct, distributed, adaptive software
2015 Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
On the complexity of reconfiguration in systems with legacy components
2015 Mauro, Jacopo; Zavattaro, Gianluigi
On the integration of automatic deployment into the ABS modeling language
2015 De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
SUNNY for algorithm selection: A preliminary study
2015 Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J.
Aeolus: A component model for the cloud
2014 Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G.
AIOCJ
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
AIOCJ: A choreographic framework for safe adaptive distributed applications
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Formally Verifying Function Scheduling Properties in Serverless Applications | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2023-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | 10411728.pdf |
| On the Evaluation of (Meta-)solver Approaches | Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro | 2023-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | 14102wPg#s.pdf |
| A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | icws2022.pdf |
| sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | 0804.pdf |
| sunny-as2: Enhancing SUNNY for Algorithm Selection | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2021-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | sminton,+13116-Article+(PDF)-28464-1-11-20211006+(1).pdf |
| Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J. | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | postPrintWithPreface.pdf |
| On the modeling of optimal and automatized cloud application deployment | de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Programming adaptive microservice applications: An AIOCJ tutorial | Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M. | 2017-01-01 | - | River Publishers | 2.01 Capitolo / saggio in libro | main.pdf; bookBETTY-AIOCJ.pdf |
| Declarative elasticity in ABS | de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2016-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| On the expressiveness of synchronization in component deployment | Mauro, Jacopo; Zavattaro, Gianluigi | 2016-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
| Automatic application deployment in the cloud: From practice to theory and back | Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; ...Zwolakowski, Jakub | 2015-01-01 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Automatic deployment of component-based applications | Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642315001409-main.pdf |
| Automatic Deployment of Services in the Cloud with Aeolus Blender | Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwol...akowski, Jakub | 2015-01-01 | - | Lecture Notes in Computer Science - Springer | 4.01 Contributo in Atti di convegno | - |
| Developing correct, distributed, adaptive software | Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| On the complexity of reconfiguration in systems with legacy components | Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| On the integration of automatic deployment into the ABS modeling language | De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2015-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| SUNNY for algorithm selection: A preliminary study | Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J. | 2015-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | - |
| Aeolus: A component model for the cloud | Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. | 2014-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
| AIOCJ | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | - | 7.04 Software | - |
| AIOCJ: A choreographic framework for safe adaptive distributed applications | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |