ZAVATTARO, GIANLUIGI

ZAVATTARO, GIANLUIGI  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 154 (tempo di esecuzione: 0.074 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Aeolus - Mastering the Cloud Complexity G Zavattaro 9999-01-01 - - 8.04 Coordinamento di progetti di ricerca -
Journal of Software (JSW) G Zavattaro 9999-01-01 JOURNAL OF SOFTWARE - 8.01 Ruolo editoriale in rivista -
Custom Serverless Function Scheduling Policies: An APP Tutorial Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro 2023-01-01 - Schloss Dagstuhl - Leibniz Center for Informatic 4.01 Contributo in Atti di convegno pp-microservices20-22a.pdf
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
Serverless Scheduling Policies based on Cost Analysis De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavatta...ro, Gianluigi 2023-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno ticsa2023.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
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrie...lli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto 2022-01-01 IEEE INTERNET OF THINGS MAGAZINE - 1.01 Articolo in rivista IoT_Magazine-2.pdf
Proactive-Reactive Global Scaling, with Analytics Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro,... Stefano Pio Zingaro 2022-01-01 - Springer 4.01 Contributo in Atti di convegno icsoc2022.pdf
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 Bacchiani L.; De Palma G.; Sciullo L.; Bravetti M.; Di Felice M.; Gabbrielli M.; Zavattaro G.; De...lla Penna R.; Iorizzo C.; Livaldi A.; Magnotta L.; Orsini M. 2022-01-01 - Institute of Electrical and Electronics Engineers Inc. (IEEE) 4.01 Contributo in Atti di convegno -
A Session Subtyping Tool Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. 2021-01-01 - Springer 4.01 Contributo in Atti di convegno main.pdf
A sound algorithm for asynchronous session subtyping and its implementation Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. 2021-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 1907.00421v5.pdf
Asynchronous session subtyping as communicating automata refinement Bravetti M.; Zavattaro G. 2021-01-01 SOFTWARE AND SYSTEMS MODELING - 1.01 Articolo in rivista Bravetti-Zavattaro2021_Article_AsynchronousSessionSubtypingAs.pdf
Fair Refinement for Asynchronous Session Types Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi 2021-01-01 - Springer 4.01 Contributo in Atti di convegno Bravetti2021_Chapter_FairRefinementForAsynchronousS.pdf
Microservice Dynamic Architecture-Level Deployment Orchestration Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G. 2021-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno coordination2021_md.pdf
A Formal Approach to Microservice Architecture Deployment Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavat...
taro
2020-01-01 - Springer 2.01 Capitolo / saggio in libro main.pdf
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Gianluigi Zavattaro
2020-01-01 - Springer 4.01 Contributo in Atti di convegno icsoc2020.pdf
Process calculi as a tool for studying coordination, contracts and session types Bravetti M.; Zavattaro G. 2020-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista full.pdf
A Sound Algorithm for Asynchronous Session Subtyping Bravetti, Mario and Carbone, Marco and Lange, Julien and
Yoshida, Nobuko and Zavattaro, Gianluigi
2019-01-01 - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 4.01 Contributo in Atti di convegno preview.pdf
Analysis of SLA compliance in the cloud: An automated, model-based approach de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. 2019-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno 1908.10040v1.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 -