G. Zavattaro

Most-cited papers

A Foundations of Session Types and Behavioural Contracts
Hans Hüttel, E. Tuosto, H. Vieira, G. Zavattaro +8 more
2016227 citations
Semantic Scholar
Service-Oriented Programming with Jolie
F. Montesi, C. Guidi, G. Zavattaro
2014Web Services Foundations102 citations
Semantic Scholar
Foundations of Session Types and Behavioural Contracts
Hans Hüttel, Ivan Lanese, V. Vasconcelos, Luís Caires +8 more
2016ACM Computing Surveys78 citations Open access
Semantic Scholar
Aeolus: A component model for the cloud
R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro
2014Information and Computation67 citations Open access
Semantic Scholar
Undecidability of asynchronous session subtyping
M. Bravetti, Marco Carbone, G. Zavattaro
2016Information and Computation64 citations Open access
Semantic Scholar
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
G. Delzanno, Arnaud Sangnier, Riccardo Traverso, G. Zavattaro
2012Foundations of Software Technology and Theoretical Computer Science51 citations
Semantic Scholar
Amending Choreographies
Ivan Lanese, F. Montesi, G. Zavattaro
2013International Workshop on Automated Specification and Verification of Web Sites44 citations Open access
Semantic Scholar
Towards a Formal Component Model for the Cloud
R. Di Cosmo, S. Zacchiroli, G. Zavattaro
2012IEEE International Conference on Software Engineering and Formal Methods44 citations
Semantic Scholar
On the boundary between decidability and undecidability of asynchronous session subtyping
M. Bravetti, Marco Carbone, G. Zavattaro
2017Theoretical Computer Science37 citations Open access
Semantic Scholar
Verification of Ad Hoc Networks with Node and Communication Failures
G. Delzanno, Arnaud Sangnier, G. Zavattaro
2012FMOODS/FORTE37 citations Open access
Semantic Scholar
Automatic Deployment of Services in the Cloud with Aeolus Blender
R. Di Cosmo, Antoine Eiche, J. Mauro, S. Zacchiroli +2 more
2015International Conference on Service Oriented Computing34 citations Open access
Semantic Scholar
Optimal and Automated Deployment for Microservices
M. Bravetti, S. Giallorenzo, J. Mauro, Iacopo Talevi +1 more
2019Fundamental Approaches to Software Engineering30 citations Open access
Semantic Scholar
A Planning Tool Supporting the Deployment of Cloud Applications
Tudor A. Lascu, J. Mauro, G. Zavattaro
2013IEEE International Conference on Tools with Artificial Intelligence30 citations
Semantic Scholar
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
F. D. de Boer, M. Bravetti, Immo Grabe, M. Lee +2 more
2012International Workshop on Formal Aspects of Component Software30 citations Open access
Semantic Scholar
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
G. de Palma, S. Giallorenzo, J. Mauro, G. Zavattaro
2020International Conference on Service Oriented Computing26 citations Open access
Semantic Scholar
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
M. Bravetti, Marco Carbone, J. Lange, N. Yoshida +1 more
2019Log. Methods Comput. Sci.24 citations Open access
Semantic Scholar
Decidability Problems for Actor Systems
F. D. de Boer, M. Jaghoori, C. Laneve, G. Zavattaro
2012International Conference on Concurrency Theory24 citations Open access
Semantic Scholar
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study
Lorenzo Bacchiani, G. de Palma, Luca Sciullo, M. Bravetti +4 more
2022IEEE Internet of Things Magazine18 citations Open access
Semantic Scholar
Declarative Elasticity in ABS
Stijn de Gouw, J. Mauro, Behrooz Nobakht, G. Zavattaro
2016European Conference on Service-Oriented and Cloud Computing18 citations Open access
Semantic Scholar
Towards Global and Local Types for Adaptation
M. Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese +3 more
2013SEFM Workshops18 citations Open access
Semantic Scholar
Aeolus: Mastering the Complexity of Cloud Application Deployment
M. Catan, R. Di Cosmo, Antoine Eiche, Tudor A. Lascu +6 more
2013European Conference on Service-Oriented and Cloud Computing18 citations
Semantic Scholar
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +1 more
20222022 IEEE International Conference on Web Services (ICWS)16 citations Open access
Semantic Scholar
A Formal Approach to Microservice Architecture Deployment
M. Bravetti, S. Giallorenzo, J. Mauro, Iacopo Talevi +1 more
2019Microservices, Science and Engineering15 citations Open access
Semantic Scholar
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +1 more
20242024 IEEE International Conference on Web Services (ICWS)14 citations Open access
Semantic Scholar
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)
R. Di Cosmo, M. Lienhardt, J. Mauro, S. Zacchiroli +2 more
2015International Conference on Concurrency Theory14 citations Open access
Semantic Scholar
Towards the Verification of Adaptable Processes
M. Bravetti, C. Di Giusto, Jorge A. Pérez, G. Zavattaro
2012Leveraging Applications of Formal Methods14 citations
Semantic Scholar
Component Reconfiguration in the Presence of Conflicts
R. Di Cosmo, J. Mauro, S. Zacchiroli, G. Zavattaro
2013International Colloquium on Automata, Languages and Programming13 citations Open access
Semantic Scholar
Automatic Component Deployment in the Presence of Circular Dependencies
Tudor A. Lascu, J. Mauro, G. Zavattaro
2013International Workshop on Formal Aspects of Component Software13 citations Open access
Semantic Scholar
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Lorenzo Bacchiani, M. Bravetti, S. Giallorenzo, J. Mauro +2 more
2021International Conference on Coordination Models and Languages12 citations Open access
Semantic Scholar
Playing with Bisimulation in Erlang
Ivan Lanese, D. Sangiorgi, G. Zavattaro
2019Models, Languages, and Tools for Concurrent and Distributed Programming12 citations Open access
Semantic Scholar
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies
Ivan Lanese, F. Montesi, G. Zavattaro
2015Software, Services, and Systems12 citations Open access
Semantic Scholar
Automatic deployment of component-based applications
Tudor A. Lascu, J. Mauro, G. Zavattaro
2015Science of Computer Programming12 citations Open access
Semantic Scholar
A Petri Net Based Modeling of Active Objects and Futures
F. D. de Boer, M. Bravetti, M. Lee, G. Zavattaro
2018Fundamenta Informaticae11 citations Open access
Semantic Scholar
On the Integration of Automatic Deployment into the ABS Modeling Language
Stijn de Gouw, M. Lienhardt, J. Mauro, Behrooz Nobakht +1 more
2015European Conference on Service-Oriented and Cloud Computing11 citations Open access
Semantic Scholar
Automatic Deployment of Software Components in the Cloud with the Aeolus Blender
R. Di Cosmo, Antoine Eiche, J. Mauro, G. Zavattaro +2 more
201511 citations
Semantic Scholar
Asynchronous session subtyping as communicating automata refinement
M. Bravetti, G. Zavattaro
2021Journal of Software and Systems Modeling10 citations Open access
Semantic Scholar
On the modeling of optimal and automatized cloud application deployment
Stijn de Gouw, J. Mauro, G. Zavattaro
2019J. Log. Algebraic Methods Program.10 citations Open access
Semantic Scholar
Fair Refinement for Asynchronous Session Types
M. Bravetti, J. Lange, G. Zavattaro
2021Foundations of Software Science and Computation Structure9 citations Open access
Semantic Scholar
A Sound Algorithm for Asynchronous Session Subtyping (extended version)
M. Bravetti, Marco Carbone, J. Lange, N. Yoshida +1 more
2019International Conference on Concurrency Theory9 citations Open access
Semantic Scholar
Proactive-reactive microservice architecture global scaling
Lorenzo Bacchiani, M. Bravetti, S. Giallorenzo, Maurizio Gabbrielli +2 more
2024Journal of Systems and Software8 citations Open access
Semantic Scholar
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +1 more
2024IEEE Internet Computing8 citations Open access
Semantic Scholar
Relating Session Types and Behavioural Contracts: The Asynchronous Case
M. Bravetti, G. Zavattaro
2019IEEE International Conference on Software Engineering and Formal Methods7 citations Open access
Semantic Scholar
On the Complexity of Reconfiguration in Systems with Legacy Components
J. Mauro, G. Zavattaro
2015International Symposium on Mathematical Foundations of Computer Science7 citations Open access
Semantic Scholar
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +1 more
2024International Conference on Coordination Models and Languages6 citations Open access
Semantic Scholar
Adaptable TeaStore
Simon Bliudze, G. Palma, S. Giallorenzo, Ivan Lanese +2 more
2024WACA@DisCoTec6 citations Open access
Semantic Scholar
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications
Roberto Amadini, Simone Gazza, J. Soldani, Monica Vitali +6 more
2024International Workshop/Symposium on Logic-based Program Synthesis and Transformation6 citations Open access
Semantic Scholar
Formally Verifying Function Scheduling Properties in Serverless Applications
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +2 more
2023IT Professional6 citations Open access
Semantic Scholar
Topology-aware Serverless Function-Execution Scheduling
G. de Palma, S. Giallorenzo, J. Mauro, Matteo Trentin +1 more
2022Social Science Research Network6 citations Open access
Semantic Scholar
Fault Model Design Space for Cooperative Concurrency
Ivan Lanese, M. Lienhardt, M. Bravetti, E. Johnsen +3 more
2014Leveraging Applications of Formal Methods6 citations Open access
Semantic Scholar
Decidability Results for Dynamic Installation of Compensation Handlers
Ivan Lanese, G. Zavattaro
2013International Conference on Coordination Models and Languages6 citations Open access
Semantic Scholar