Gianluigi Zavattaro

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 43

Top Venues

Publications

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Affinity-aware Serverless Function Scheduling. CoRR (2024)
Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR (2024)
Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25 (6) (2023)
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS (2023)
Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
Proactive-Reactive Global Scaling, with Analytics. ICSOC (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Topology-aware Serverless Function-Execution Scheduling. CoRR (2022)
Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5 (3) (2022)
Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco De Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna, Corrado Iorizzo, Andrea Livaldi, Luca Magnotta, Mirko Orsini
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS (2022)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17 (1) (2021)
Mario Bravetti, Gianluigi Zavattaro
Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20 (2) (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool (Extended Version). CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
A Session Subtyping Tool. COORDINATION (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types (extended version). CoRR (2021)
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Fair Refinement for Asynchronous Session Types. FoSSaCS (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Interface Based Deployment Orchestration. CoRR (2020)
Mario Bravetti, Gianluigi Zavattaro
Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. 112 (2020)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC (2020)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. CoRR (2019)
Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. 107 (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR (2019)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. FASE (2019)
Mario Bravetti, Gianluigi Zavattaro
Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM (2019)
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Mario Bravetti, Gianluigi Zavattaro
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION (2018)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159 (3) (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722 (2018)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR (2017)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of asynchronous session subtyping. Inf. Comput. 256 (2017)
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Undecidability of Asynchronous Session Subtyping. CoRR (2016)
Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Declarative Elasticity in ABS. ESOCC (2016)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Jacopo Mauro, Gianluigi Zavattaro
On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods (2016)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
Automatic deployment of component-based applications. Sci. Comput. Program. 113 (2015)
Gianluigi Zavattaro
When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi. Programming Languages with Applications to Biology and Security (2015)
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC (2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR (2015)
Jacopo Mauro, Gianluigi Zavattaro
On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) (2015)
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC (2015)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems (2015)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10 (4) (2014)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Aeolus: A component model for the cloud. Inf. Comput. 239 (2014)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Mario Bravetti, Gianluigi Zavattaro
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* (2014)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
Amending Choreographies. WWV (2013)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI (2013)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
Automatic Component Deployment in the Presence of Circular Dependencies. FACS (2013)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Component Reconfiguration in the Presence of Conflicts. ICALP (2) (2013)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC (2013)
Cristian Versari, Gianluigi Zavattaro
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). Electron. Notes Theor. Comput. Sci. 293 (2013)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural contracts with request-response operations. Sci. Comput. Program. 78 (2) (2013)
Ivan Lanese, Gianluigi Zavattaro
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION (2013)
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS (2012)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR (2012)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. CONCUR (2012)
Giorgio Delzanno, Gianluigi Zavattaro
Reachability problems in BioAmbients. Theor. Comput. Sci. 431 (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable processes Log. Methods Comput. Sci. 8 (4) (2012)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE (2012)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Towards the Verification of Adaptable Processes. ISoLA (1) (2012)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS (2012)
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
Towards a Formal Component Model for the Cloud. SEFM (2012)
Cristian Versari, Gianluigi Zavattaro
Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology 14 (2012)
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
Fault in the Future. COORDINATION (2011)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Adaptable Processes (Extended Abstract). FMOODS/FORTE (2011)
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
Graceful Interruption of Request-Response Service Interactions. ICSOC (2011)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS (2011)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO (2011)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS (2010)
Luca Cardelli, Gianluigi Zavattaro
Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. 20 (1) (2010)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
Steps on the Road to Component Evolvability. FACS (2010)
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA (2010)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Parameterized Verification of Ad Hoc Networks. CONCUR (2010)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural Contracts with Request-Response Operations. COORDINATION (2010)
Doug Lea, Gianluigi Zavattaro
Guest editors' foreword. Sci. Comput. Program. 75 (6) (2010)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB (2009)
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95 (1) (2009)
Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC (2009)
Mario Bravetti, Gianluigi Zavattaro
Contract-Based Discovery and Composition of Web Services. SFM (2009)
Gianluigi Zavattaro
Nadia Busi's publications. Math. Struct. Comput. Sci. 19 (6) (2009)
Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
From Biochemistry to Stochastic Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Ivan Lanese, Gianluigi Zavattaro
Programming Sagas in SOCK. SEFM (2009)
Mario Bravetti, Gianluigi Zavattaro
A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19 (3) (2009)
Gianluigi Zavattaro
Reachability Analysis in BioAmbients. Electron. Notes Theor. Comput. Sci. 227 (2009)
Mario Bravetti, Gianluigi Zavattaro
On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19 (3) (2009)
Nadia Busi, Gianluigi Zavattaro
Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19 (6) (2009)
Mario Bravetti, Gianluigi Zavattaro
On the Expressive Power of Process Interruption and Compensation. WS-FM (2008)
Nadia Busi, Gianluigi Zavattaro
A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. 75 (1) (2008)

Gianluigi Zavattaro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gianluigi Zavattaro