Gianluigi Zavattaro

222 papers A* 2A 14B 20C 21Misc 5Journal 67Unranked 75

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments. ACM Trans. Internet Techn. Simone Gazza, Roberto Amadini, Antonio Brogi, Andrea D'Iapico, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Jacopo Soldani, Monica Vitali, Gianluigi Zavattaro
2026	J	`jnl`	Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum. CoRR Francisco Ponce, Simone Gazza, Andrea D'Iapico, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Davide Usai, Monica Vitali, Gianluigi Zavattaro, Jacopo Soldani
2026	—	`conf`	Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2026	J	`jnl`	tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. Sci. Comput. Program. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025	B	`conf`	A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. CONCUR Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025	J	`jnl`	A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. CoRR Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025	—	`conf`	Adaptable TeaStore. WACA@DisCoTec Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro, Brice Arleon Zemtsop Ndadji
2025	—	`conf`	Adaptable TeaStore: A Choreographic Approach. WACA@DisCoTec Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro
2025	A	`conf`	Affinity-aware Serverless Function Scheduling. ICSA Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025	C	`conf`	Decidability Problems for Micro-Stipula. COORDINATION Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	J	`jnl`	Decidability Problems for Micro-Stipula. CoRR Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	J	`jnl`	Distributed serverless function scheduling in ad-hoc drone networks. Ad Hoc Networks Giuseppe De Palma, Saverio Giallorenzo, Alexandre Heideker, Matteo Trentin, Angelo Trotta, Gianluigi Zavattaro
2025	A	`conf`	Fair Termination of Asynchronous Binary Sessions. ECOOP Luca Padovani, Gianluigi Zavattaro
2025	J	`jnl`	Fair Termination of Asynchronous Binary Sessions. CoRR Luca Padovani, Gianluigi Zavattaro
2025	J	`jnl`	Proactive-reactive microservice architecture global scaling. J. Syst. Softw. Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
2025	B	`conf`	Reachability Analysis of Function-as-a-Service Scheduling Policies. iFM Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	Affinity-aware Serverless Function Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	C	`conf`	An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`conf`	FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024	J	`jnl`	Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2024	A	`conf`	FunLess: Functions-as-a-Service for Private Edge Cloud Systems. ICWS Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`conf`	Function-as-a-Service Allocation Policies Made Formal. ISoLA (1) Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	—	`ch.`	Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2024	J	`jnl`	Leveraging static analysis for cost-aware serverless scheduling policies. Int. J. Softw. Tools Technol. Transf. Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	C	`conf`	Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024	—	`conf`	Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro
2024	J	`jnl`	Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024	J	`jnl`	WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems. IEEE Internet Comput. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023	J	`jnl`	Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023	—	`ed.`	Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, Bologna, Italy (Virtual Conference), September 2020 / Paris, France, May 10-12, 2022 Microservices Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann
2023	—	`conf`	Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	A	`conf`	A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	—	`conf`	Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022	J	`jnl`	Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
2022	A	`conf`	Proactive-Reactive Global Scaling, with Analytics. ICSOC Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
2022	—	`conf`	SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 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
2022	J	`jnl`	Topology-aware Serverless Function-Execution Scheduling. CoRR Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2021	J	`jnl`	A Session Subtyping Tool (Extended Version). CoRR Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	C	`conf`	A Session Subtyping Tool. COORDINATION Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2021	J	`jnl`	Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. Mario Bravetti, Gianluigi Zavattaro
2021	J	`jnl`	Fair Refinement for Asynchronous Session Types (extended version). CoRR Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	B	`conf`	Fair Refinement for Asynchronous Session Types. FoSSaCS Mario Bravetti, Julien Lange, Gianluigi Zavattaro
2021	J	`jnl`	Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021	C	`conf`	Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	—	`ch.`	A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	A	`conf`	Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2020	J	`jnl`	Microservice Interface Based Deployment Orchestration. CoRR Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020	J	`jnl`	Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2019	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	B	`conf`	A Sound Algorithm for Asynchronous Session Subtyping. CONCUR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	J	`jnl`	On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
2019	B	`conf`	Optimal and Automated Deployment for Microservices. FASE Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	J	`jnl`	Optimal and Automated Deployment for Microservices. CoRR Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	—	`conf`	Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
2019	B	`conf`	Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM Mario Bravetti, Gianluigi Zavattaro
2018	J	`jnl`	A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2018	C	`conf`	Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION Mario Bravetti, Gianluigi Zavattaro
2018	J	`jnl`	On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2017	J	`jnl`	Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2017	J	`jnl`	Undecidability of asynchronous session subtyping. Inf. Comput. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2016	—	`conf`	Declarative Elasticity in ABS. ESOCC Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2016	J	`jnl`	Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 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
2016	—	`conf`	On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods Jacopo Mauro, Gianluigi Zavattaro
2016	J	`jnl`	Undecidability of Asynchronous Session Subtyping. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2015	B	`conf`	Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015	A	`conf`	Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2015	J	`jnl`	Automatic deployment of component-based applications. Sci. Comput. Program. Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2015	—	`conf`	On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) Jacopo Mauro, Gianluigi Zavattaro
2015	—	`conf`	On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2015	—	`conf`	The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2015	—	`conf`	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 Gianluigi Zavattaro
2014	J	`jnl`	Aeolus: A component model for the cloud. Inf. Comput. Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2014	—	`conf`	Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* Mario Bravetti, Gianluigi Zavattaro
2014	J	`jnl`	Decidability Problems for Actor Systems. Log. Methods Comput. Sci. Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2014	—	`conf`	Fault Model Design Space for Cooperative Concurrency. ISoLA (2) Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014	—	`ch.`	Service-Oriented Programming with Jolie. Web Services Foundations Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2013	B	`conf`	A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2013	—	`conf`	Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2013	—	`conf`	Amending Choreographies. WWV Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2013	—	`conf`	Automatic Component Deployment in the Presence of Circular Dependencies. FACS Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2013	J	`jnl`	Behavioural contracts with request-response operations. Sci. Comput. Program. Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2013	—	`conf`	Component Reconfiguration in the Presence of Conflicts. ICALP (2) Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
2013	C	`conf`	Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION Ivan Lanese, Gianluigi Zavattaro
2013	—	`conf`	Towards Global and Local Types for Adaptation. SEFM Workshops Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012	—	`conf`	A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
2012	J	`jnl`	Adaptable processes Log. Methods Comput. Sci. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012	J	`jnl`	Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology Cristian Versari, Gianluigi Zavattaro
2012	—	`conf`	Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). CS2Bio Cristian Versari, Gianluigi Zavattaro
2012	B	`conf`	Decidability Problems for Actor Systems. CONCUR Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2012	—	`conf`	On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012	J	`jnl`	Reachability problems in BioAmbients. Theor. Comput. Sci. Giorgio Delzanno, Gianluigi Zavattaro
2012	—	`ed.`	Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings ESOCC Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro
2012	J	`jnl`	The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012	B	`conf`	Towards a Formal Component Model for the Cloud. SEFM Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
2012	—	`conf`	Towards the Verification of Adaptable Processes. ISoLA (1) Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012	—	`conf`	Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011	—	`ed.`	9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011 ECOWS Gianluigi Zavattaro, Ulf Schreier, Cesare Pautasso
2011	—	`conf`	Adaptable Processes (Extended Abstract). FMOODS/FORTE Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011	—	`ch.`	Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
2011	—	`ch.`	Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2011	C	`conf`	Fault in the Future. COORDINATION Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
2011	A	`conf`	Graceful Interruption of Request-Response Service Interactions. ICSOC Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
2011	B	`conf`	On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011	—	`conf`	Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2010	—	`conf`	A Component Model for the ABS Language. FMCO Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2010	C	`conf`	Behavioural Contracts with Request-Response Operations. COORDINATION Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010	J	`jnl`	Guest editors' foreword. Sci. Comput. Program. Doug Lea, Gianluigi Zavattaro
2010	—	`conf`	Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
2010	B	`conf`	On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010	B	`conf`	Parameterized Verification of Ad Hoc Networks. CONCUR Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2010	—	`conf`	Steps on the Road to Component Evolvability. FACS Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2010	J	`jnl`	Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. Luca Cardelli, Gianluigi Zavattaro
2009	J	`jnl`	A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. Mario Bravetti, Gianluigi Zavattaro
2009	B	`ed.`	CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings CONCUR Mario Bravetti, Gianluigi Zavattaro
2009	—	`conf`	Contract-Based Discovery and Composition of Web Services. SFM Mario Bravetti, Gianluigi Zavattaro
2009	J	`jnl`	Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. Nadia Busi, Gianluigi Zavattaro
2009	J	`jnl`	Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2009	—	`ed.`	Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures SFM Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
2009	—	`conf`	From Biochemistry to Stochastic Processes. QAPL Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
2009	J	`jnl`	Nadia Busi's publications. Math. Struct. Comput. Sci. Gianluigi Zavattaro
2009	C	`conf`	On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009	J	`jnl`	On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. Mario Bravetti, Gianluigi Zavattaro
2009	J	`jnl`	On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2009	B	`conf`	Programming Sagas in SOCK. SEFM Ivan Lanese, Gianluigi Zavattaro
2009	—	`conf`	The CMSB Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
2008	J	`jnl`	A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae Mario Bravetti, Gianluigi Zavattaro
2008	—	`conf`	A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. SFM Gianluigi Zavattaro
2008	J	`jnl`	A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. Nadia Busi, Gianluigi Zavattaro
2008	B	`conf`	Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro
2008	—	`conf`	Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
2008	—	`conf`	Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM Mario Bravetti, Gianluigi Zavattaro
2008	—	`conf`	Contract-Driven Implementation of Choreographies. TGC Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
2008	C	`ed.`	Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings COORDINATION Doug Lea, Gianluigi Zavattaro
2008	—	`conf`	Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro
2008	—	`ed.`	Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures SFM Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
2008	—	`conf`	On the Computational Power of Biochemistry. AB Luca Cardelli, Gianluigi Zavattaro
2008	—	`conf`	On the Expressive Power of Process Interruption and Compensation. WS-FM Mario Bravetti, Gianluigi Zavattaro
2008	—	`conf`	On the interplay between fault handling and request-response service invocations. ACSD Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2008	—	`conf`	Reachability Analysis in BioAmbients. MeCBIC Gianluigi Zavattaro
2008	B	`conf`	Termination Problems in Chemical Kinetics. CONCUR Gianluigi Zavattaro, Luca Cardelli
2008	J	`jnl`	nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
2007	C	`conf`	A Theory for Strong Service Compliance. COORDINATION Mario Bravetti, Gianluigi Zavattaro
2007	—	`conf`	Composing Services with JOLIE. ECOWS Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2007	—	`conf`	Contract Based Multi-party Service Composition. FSEN Mario Bravetti, Gianluigi Zavattaro
2007	J	`jnl`	Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2007	—	`conf`	Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
2007	J	`jnl`	Service oriented computing from a process algebraic perspective. J. Log. Algebraic Methods Program. Mario Bravetti, Gianluigi Zavattaro
2007	A	`conf`	Towards a Unifying Theory for Choreography Conformance and Contract Compliance. SC Mario Bravetti, Gianluigi Zavattaro
2006	A	`conf`	: A Calculus for Service Oriented Computing. ICSOC Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
2006	C	`conf`	Choreography and Orchestration Conformance for System Design. COORDINATION Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006	J	`jnl`	Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. Riccardo Focardi, Gianluigi Zavattaro
2006	—	`conf`	JOLIE: a Java Orchestration Language Interpreter Engine. CoOrg/MTCoord@COORDINATION Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006	—	`conf`	SCC: A Service Centered Calculus. WS-FM Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2006	J	`jnl`	Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
2006	—	`conf`	SensoriaProcess Calculi for Service-Oriented Computing. TGC Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2006	J	`jnl`	Supporting Secure Coordination in SecSpaces. Fundam. Informaticae Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2006	—	`ed.`	Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings WS-FM Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
2005	—	`conf`	A Process Algebraic View of Coordination. APC 25 Nadia Busi, Gianluigi Zavattaro
2005	A	`conf`	Choreography and Orchestration: A Synergic Approach for System Design. ICSOC Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005	A	`conf`	Deciding Reachability in Mobile Ambients. ESOP Nadia Busi, Gianluigi Zavattaro
2005	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings FMOODS Martin Steffen, Gianluigi Zavattaro
2005	—	`ed.`	Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings EPEW/WS-FM Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro
2005	B	`conf`	Foundations of Web Transactions. FoSSaCS Cosimo Laneve, Gianluigi Zavattaro
2005	C	`conf`	Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION Nadia Busi, Gianluigi Zavattaro
2005	—	`ed.`	Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004 SecCo Riccardo Focardi, Gianluigi Zavattaro
2005	J	`jnl`	Quantitative information in the tuple space coordination model. Theor. Comput. Sci. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005	—	`conf`	Reachability Analysis in Boxed Ambients. ICTCS Nadia Busi, Gianluigi Zavattaro
2005	—	`conf`	Service Oriented Computing: A New Challenge for Process Algebras. APC 25 Mario Bravetti, Gianluigi Zavattaro
2005	Misc	`conf`	Supporting e-commerce systems formalization with choreography languages. SAC Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005	C	`conf`	Towards a formal framework for Choreography. WETICE Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005	—	`conf`	web-pi at Work. TGC Cosimo Laneve, Gianluigi Zavattaro
2004	A*	`conf`	Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2004	J	`jnl`	Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. Nadia Busi, Alberto Montresor, Gianluigi Zavattaro
2004	C	`conf`	From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. COORDINATION Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro
2004	—	`conf`	On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	J	`jnl`	On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. Nadia Busi, Gianluigi Zavattaro
2004	—	`conf`	Preface. WSFM Mario Bravetti, Gianluigi Zavattaro
2004	—	`conf`	Preface. SecCo Riccardo Focardi, Gianluigi Zavattaro
2004	C	`conf`	Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	—	`ed.`	Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004 WSFM Mario Bravetti, Gianluigi Zavattaro
2004	—	`conf`	Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004	Misc	`conf`	WSSecSpaces: a secure data-driven coordination service for Web Services applications. SAC Roberto Lucchi, Gianluigi Zavattaro
2004	Misc	`conf`	Web Services for E-commerce: guaranteeing security access and quality of service. SAC Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
2003	—	`ed.`	2nd EATCS Workshop on Foundations of Global Computing, FGC 2003, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 FGC Riccardo Focardi, Gianluigi Zavattaro
2003	—	`conf`	A Calculus for Long-Running Transactions. FMOODS Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
2003	—	`conf`	Combining Partitions in SecSpaces. MEFISTO Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2003	J	`jnl`	Comparing coordination models and architectures using embeddings. Sci. Comput. Program. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
2003	J	`jnl`	Expired data collection in shared dataspaces. Theor. Comput. Sci. Nadia Busi, Gianluigi Zavattaro
2003	—	`ed.`	First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 SecCo Riccardo Focardi, Gianluigi Zavattaro
2003	Misc	`conf`	PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
2003	—	`conf`	Preface. SecCo Riccardo Focardi, Gianluigi Zavattaro
2003	A*	`conf`	Replication vs. Recursive Definitions in Channel Based Calculi. ICALP Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2002	—	`conf`	On the Expressiveness of Movement in Pure Mobile Ambients. F-WAN@ICALP Nadia Busi, Gianluigi Zavattaro
2002	Misc	`conf`	On the serializability of transactions in shared dataspaces with temporary data. SAC Nadia Busi, Gianluigi Zavattaro
2002	—	`conf`	SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. FOCLASA Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2002	C	`conf`	State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro
2002	—	`conf`	Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
2001	—	`conf`	An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets Mauro Gaspari, Gianluigi Zavattaro
2001	—	`conf`	Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
2001	—	`ch.`	Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro
2001	—	`conf`	On the Serializability of Transactions in JavaSpaces. ConCoord Nadia Busi, Gianluigi Zavattaro
2001	C	`conf`	Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE Nadia Busi, Gianluigi Zavattaro
2001	B	`conf`	Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000	J	`jnl`	A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
2000	J	`jnl`	Comparing three semantics for Linda-like languages. Theor. Comput. Sci. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000	—	`conf`	Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) Nadia Busi, Gianluigi Zavattaro
2000	A	`conf`	On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP Nadia Busi, Gianluigi Zavattaro
2000	J	`jnl`	On the Expressiveness of Linda Coordination Primitives. Inf. Comput. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000	—	`conf`	On the Semantics of JavaSpaces. FMOODS Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
2000	—	`conf`	Process Calculi for Coordination: From Linda to JavaSpaces. AMAST Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1999	—	`conf`	An Algebra of Actors. FMOODS Mauro Gaspari, Gianluigi Zavattaro
1999	C	`conf`	Comparing Software Architectures for Coordination Languages. COORDINATION Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
1999	B	`conf`	Generic Process Algebras for Asynchronous Communication. CONCUR Frank S. de Boer, Gianluigi Zavattaro
1999	A	`conf`	Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP Mauro Gaspari, Gianluigi Zavattaro
1998	J	`jnl`	A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1998	—	`conf`	Towards a Hierarchy of Negative Test Operators for Generative Communication. EXPRESS Gianluigi Zavattaro
1997	—	`conf`	On the Turing equivalence of Linda coordination primitives. EXPRESS Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
1997	C	`conf`	Three Semantics of the Output Operation for Generative Communication. COORDINATION Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro