ZAVATTARO, GIANLUIGI
ZAVATTARO, GIANLUIGI
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Aeolus - Mastering the Cloud Complexity
In corso di stampa G Zavattaro
Journal of Software (JSW)
In corso di stampa G Zavattaro
Custom Serverless Function Scheduling Policies: An APP Tutorial
2023 Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Serverless Scheduling Policies based on Cost Analysis
2023 De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study
2022 Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto
Proactive-Reactive Global Scaling, with Analytics
2022 Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0
2022 Bacchiani L.; De Palma G.; Sciullo L.; Bravetti M.; Di Felice M.; Gabbrielli M.; Zavattaro G.; Della Penna R.; Iorizzo C.; Livaldi A.; Magnotta L.; Orsini M.
A Session Subtyping Tool
2021 Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G.
A sound algorithm for asynchronous session subtyping and its implementation
2021 Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G.
Asynchronous session subtyping as communicating automata refinement
2021 Bravetti M.; Zavattaro G.
Fair Refinement for Asynchronous Session Types
2021 Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi
Microservice Dynamic Architecture-Level Deployment Orchestration
2021 Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G.
A Formal Approach to Microservice Architecture Deployment
2020 Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
2020 Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Process calculi as a tool for studying coordination, contracts and session types
2020 Bravetti M.; Zavattaro G.
A Sound Algorithm for Asynchronous Session Subtyping
2019 Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
Analysis of SLA compliance in the cloud: An automated, model-based approach
2019 de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G.
On the modeling of optimal and automatized cloud application deployment
2019 de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi
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 | - |