| 2026 | WoWMoM | WIP: Ad-Hoc Network Serverless Scheduling in an Industrial Case Study: Drone Swarms in Disaster-Struck Urban Environments. | Saverio Giallorenzo, Angelo Trotta, F. Bernardi, R. Morelli, A. Remus, A. Santopaolo, F. Schiano, Gianluigi Zavattaro |
| 2025 | CONCUR | A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. | Mario Bravetti, Luca Padovani, Gianluigi Zavattaro |
| 2025 | Coordination | Decidability Problems for Micro-Stipula. | Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro |
| 2025 | ECOOP | Fair Termination of Asynchronous Binary Sessions. | Luca Padovani, Gianluigi Zavattaro |
| 2025 | ICSA | Affinity-aware Serverless Function Scheduling. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2025 | IFM | Reachability Analysis of Function-as-a-Service Scheduling Policies. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | CaiSE | FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. | Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2024 | Coordination | An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | ICWS | FunLess: Functions-as-a-Service for Private Edge Cloud Systems. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | ISoLA | Function-as-a-Service Allocation Policies Made Formal. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | LOPSTR | Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. | Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2022 | ICSOC | Proactive-Reactive Global Scaling, with Analytics. | Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro |
| 2022 | ICWS | A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2021 | Coordination | Microservice Dynamic Architecture-Level Deployment Orchestration. | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2021 | Coordination | A Session Subtyping Tool. | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2021 | FOSSACS | Fair Refinement for Asynchronous Session Types. | Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2020 | ICSOC | Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro |
| 2019 | CONCUR | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | FASE | Optimal and Automated Deployment for Microservices. | Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2019 | SEFM | Relating Session Types and Behavioural Contracts: The Asynchronous Case. | Mario Bravetti, Gianluigi Zavattaro |
| 2018 | Coordination | Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. | Mario Bravetti, Gianluigi Zavattaro |
| 2015 | CONCUR | Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). | Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | ICSOC | Automatic Deployment of Services in the Cloud with Aeolus Blender. | Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | MFCS | On the Complexity of Reconfiguration in Systems with Legacy Components. | Jacopo Mauro, Gianluigi Zavattaro |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2013 | Coordination | Decidability Results for Dynamic Installation of Compensation Handlers. | Ivan Lanese, Gianluigi Zavattaro |
| 2013 | ICALP | Component Reconfiguration in the Presence of Conflicts. | Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2013 | ICTAI | A Planning Tool Supporting the Deployment of Cloud Applications. | Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro |
| 2013 | SEFM | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | CONCUR | Decidability Problems for Actor Systems. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
| 2012 | FORTE | Verification of Ad Hoc Networks with Node and Communication Failures. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2012 | ISoLA | Towards the Verification of Adaptable Processes. | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | SEFM | Towards a Formal Component Model for the Cloud. | Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2011 | Coordination | Fault in the Future. | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
| 2011 | FORTE | Adaptable Processes (Extended Abstract). | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2011 | FOSSACS | On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2011 | ICSOC | Graceful Interruption of Request-Response Service Interactions. | Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro |
| 2010 | CONCUR | Parameterized Verification of Ad Hoc Networks. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2010 | Coordination | Behavioural Contracts with Request-Response Operations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2010 | FOSSACS | On the Relationship between Spatial Logics and Behavioral Simulations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2009 | ICTAC | On the Expressiveness of Forwarding in Higher-Order Communication. | Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2009 | SEFM | Programming Sagas in SOCK. | Ivan Lanese, Gianluigi Zavattaro |
| 2008 | CONCUR | Termination Problems in Chemical Kinetics. | Gianluigi Zavattaro, Luca Cardelli |
| 2008 | SEFM | Bridging the Gap between Interaction- and Process-Oriented Choreographies. | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
| 2007 | Coordination | A Theory for Strong Service Compliance. | Mario Bravetti, Gianluigi Zavattaro |
| 2006 | Coordination | Choreography and Orchestration Conformance for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2006 | ICSOC | : A Calculus for Service Oriented Computing. | Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro |
| 2005 | Coordination | Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2005 | ESOP | Deciding Reachability in Mobile Ambients. | Nadia Busi, Gianluigi Zavattaro |
| 2005 | FOSSACS | Foundations of Web Transactions. | Cosimo Laneve, Gianluigi Zavattaro |
| 2005 | ICSOC | Choreography and Orchestration: A Synergic Approach for System Design. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2005 | SAC | Supporting e-commerce systems formalization with choreography languages. | Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2005 | WETICE | Towards a formal framework for Choreography. | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | Coordination | Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | Coordination | From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. | Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro |
| 2004 | ICALP | Comparing Recursion, Replication, and Iteration in Process Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2004 | SAC | Web Services for E-commerce: guaranteeing security access and quality of service. | Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri |
| 2004 | SAC | WSSecSpaces: a secure data-driven coordination service for Web Services applications. | Roberto Lucchi, Gianluigi Zavattaro |
| 2003 | ICALP | Replication vs. Recursive Definitions in Channel Based Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | SAC | PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. | Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro |
| 2002 | Coordination | State- and Event-Based Reactive Programming in Shared Dataspaces. | Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro |
| 2002 | Networking | Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. | Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro |
| 2002 | SAC | On the serializability of transactions in shared dataspaces with temporary data. | Nadia Busi, Gianluigi Zavattaro |
| 2001 | FOSSACS | Temporary Data in Shared Dataspace Coordination Languages. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
| 2001 | WETICE | Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. | Nadia Busi, Gianluigi Zavattaro |
| 2000 | ESOP | On the Expressiveness of Event Notification in Data-Driven Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2000 | SAC | Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. | Nadia Busi, Gianluigi Zavattaro |
| 1999 | CONCUR | Generic Process Algebras for Asynchronous Communication. | Frank S. de Boer, Gianluigi Zavattaro |
| 1999 | Coordination | Comparing Software Architectures for Coordination Languages. | Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro |
| 1999 | ECOOP | Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. | Mauro Gaspari, Gianluigi Zavattaro |
| 1997 | Coordination | Three Semantics of the Output Operation for Generative Communication. | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |