MAURO, JACOPO

MAURO, JACOPO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.033 secondi).
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.pdfbookBETTY-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 -