default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianluigi Zavattaro
Person information
- affiliation: University of Bologna, Italy
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j44]Lorenzo Bacchiani
, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-reactive microservice architecture global scaling. J. Syst. Softw. 220: 112262 (2025)- 2024
- [j43]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Asynchronous Session Subtyping. Log. Methods Comput. Sci. 20(4) (2024) - [c127]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: 69-75 - [c126]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION 2024: 201-218 - [c125]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 - [c124]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. ICWS 2024: 961-967 - [c123]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Function-as-a-Service Allocation Policies Made Formal. ISoLA (1) 2024: 306-321 - [c122]Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro:
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR 2024: 117-127 - [p6]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends 2024: 169-198 - [i14]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR abs/2405.21009 (2024) - [i13]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR abs/2406.09099 (2024) - [i12]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR abs/2407.14159 (2024) - [i11]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Affinity-aware Serverless Function Scheduling. CoRR abs/2407.14572 (2024) - 2023
- [j42]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25(6): 94-99 (2023) - [c121]Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS 2023: 40-52 - [e14]Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann:
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. OASIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-306-5 [contents] - 2022
- [j41]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): 32-37 (2022) - [c120]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: 90-91 - [c119]Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022: 237-254 - [c118]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS 2022: 337-342 - [c117]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices 2022: 5:1-5:16 - [i10]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Topology-aware Serverless Function-Execution Scheduling. CoRR abs/2205.10176 (2022) - 2021
- [j40]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) - [j39]Mario Bravetti, Gianluigi Zavattaro:
Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20(2): 311-333 (2021) - [c116]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool. COORDINATION 2021: 90-105 - [c115]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021: 257-275 - [c114]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types. FoSSaCS 2021: 144-163 - [i9]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types (extended version). CoRR abs/2101.08181 (2021) - [i8]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool (Extended Version). CoRR abs/2104.12455 (2021) - [i7]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR abs/2104.12466 (2021) - 2020
- [j38]Mario Bravetti, Gianluigi Zavattaro:
Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. 112: 100527 (2020) - [c113]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC 2020: 416-430 - [p5]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering 2020: 183-208 - [i6]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Interface Based Deployment Orchestration. CoRR abs/2008.01638 (2020)
2010 – 2019
- 2019
- [j37]Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro:
On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. 107: 108-135 (2019) - [c112]Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro:
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 71-91 - [c111]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c110]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. FASE 2019: 351-368 - [c109]Mario Bravetti, Gianluigi Zavattaro:
Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM 2019: 29-47 - [i5]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. CoRR abs/1901.09782 (2019) - [i4]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j36]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): 197-256 (2018) - [j35]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722: 19-51 (2018) - [c108]Mario Bravetti, Gianluigi Zavattaro:
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION 2018: 21-50 - [c107]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: 1-15 - 2017
- [j34]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of asynchronous session subtyping. Inf. Comput. 256: 300-320 (2017) - [i3]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR abs/1703.00659 (2017) - 2016
- [j33]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): 3:1-3:36 (2016) - [c106]Jacopo Mauro, Gianluigi Zavattaro:
On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods 2016: 344-359 - [c105]Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro:
Declarative Elasticity in ABS. ESOCC 2016: 118-134 - [i2]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of Asynchronous Session Subtyping. CoRR abs/1611.05026 (2016) - 2015
- [j32]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic deployment of component-based applications. Sci. Comput. Program. 113: 261-284 (2015) - [c104]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: 339-353 - [c103]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521 - [c102]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: 1-16 - [c101]Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro:
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC 2015: 49-64 - [c100]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: 397-411 - [c99]Jacopo Mauro, Gianluigi Zavattaro:
On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) 2015: 382-393 - 2014
- [j31]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j30]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Aeolus: A component model for the cloud. Inf. Comput. 239: 100-121 (2014) - [c98]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: 22-36 - [c97]Mario Bravetti, Gianluigi Zavattaro:
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* 2014: 12-31 - [p4]Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro:
Service-Oriented Programming with Jolie. Web Services Foundations 2014: 81-107 - 2013
- [j29]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
Behavioural contracts with request-response operations. Sci. Comput. Program. 78(2): 248-267 (2013) - [c96]Ivan Lanese, Gianluigi Zavattaro:
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150 - [c95]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: 1-3 - [c94]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic Component Deployment in the Presence of Circular Dependencies. FACS 2013: 254-272 - [c93]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Component Reconfiguration in the Presence of Conflicts. ICALP (2) 2013: 187-198 - [c92]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI 2013: 213-220 - [c91]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: 3-14 - [c90]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Amending Choreographies. WWV 2013: 34-48 - 2012
- [j28]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable processes. Log. Methods Comput. Sci. 8(4) (2012) - [j27]Giorgio Delzanno, Gianluigi Zavattaro:
Reachability problems in BioAmbients. Theor. Comput. Sci. 431: 56-74 (2012) - [j26]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology 14: 123-150 (2012) - [c89]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c88]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: 110-127 - [c87]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE 2012: 235-250 - [c86]Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS 2012: 289-300 - [c85]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283 - [c84]Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro:
Towards a Formal Component Model for the Cloud. SEFM 2012: 156-171 - [c83]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). CS2Bio 2012: 3-15 - [e13]Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro:
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7592, Springer 2012, ISBN 978-3-642-33426-9 [contents] - [i1]Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks. CoRR abs/1202.5850 (2012) - 2011
- [c82]Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future. COORDINATION 2011: 1-15 - [c81]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105 - [c80]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS 2011: 441-455 - [c79]Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600 - [c78]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. PACO 2011: 56-65 - [p3]Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - [p2]Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro:
Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325 - [e12]Gianluigi Zavattaro, Ulf Schreier, Cesare Pautasso:
9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011. IEEE 2011, ISBN 978-1-4577-1532-7 [contents] - 2010
- [j25]Luca Cardelli, Gianluigi Zavattaro:
Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. 20(1): 45-73 (2010) - [j24]Doug Lea, Gianluigi Zavattaro:
Guest editors' foreword. Sci. Comput. Program. 75(6): 375 (2010) - [c77]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: 14-19 - [c76]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Ad Hoc Networks. CONCUR 2010: 313-327 - [c75]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30 - [c74]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. FACS 2010: 295-299 - [c73]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: 165-183 - [c72]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS 2010: 146-160
2000 – 2009
- 2009
- [j23]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95(1): 73-102 (2009) - [j22]Mario Bravetti, Gianluigi Zavattaro:
On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19(3): 565-599 (2009) - [j21]Mario Bravetti, Gianluigi Zavattaro:
A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19(3): 601-638 (2009) - [j20]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6): 1191-1222 (2009) - [j19]Nadia Busi, Gianluigi Zavattaro:
Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19(6): 1223-1263 (2009) - [j18]Gianluigi Zavattaro:
Nadia Busi's publications. Math. Struct. Comput. Sci. 19(6): 1279-1284 (2009) - [c71]Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172 - [c70]Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169 - [c69]Ivan Lanese, Gianluigi Zavattaro:
Programming Sagas in SOCK. SEFM 2009: 189-198 - [c68]Mario Bravetti, Gianluigi Zavattaro:
Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295 - [c67]Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes. QAPL 2009: 167-185 - [e11]Mario Bravetti, Gianluigi Zavattaro:
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1 [contents] - [e10]Marco Bernardo, Luca Padovani, Gianluigi Zavattaro:
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. Lecture Notes in Computer Science 5569, Springer 2009, ISBN 978-3-642-01917-3 [contents] - 2008
- [j17]Mario Bravetti, Gianluigi Zavattaro:
A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae 89(4): 451-478 (2008) - [j16]Nadia Busi, Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. 75(1): 52-85 (2008) - [j15]Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008) - [c66]Luca Cardelli, Gianluigi Zavattaro:
On the Computational Power of Biochemistry. AB 2008: 65-80 - [c65]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198 - [c64]Gianluigi Zavattaro, Luca Cardelli:
Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491 - [c63]Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro:
Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234 - [c62]Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332 - [c61]Gianluigi Zavattaro:
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. SFM 2008: 507-523 - [c60]Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro:
Contract-Driven Implementation of Choreographies. TGC 2008: 1-18 - [c59]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c58]Mario Bravetti, Gianluigi Zavattaro:
On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18 - [c57]Mario Bravetti, Gianluigi Zavattaro:
Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54 - [c56]Gianluigi Zavattaro:
Reachability Analysis in BioAmbients. MeCBIC 2008: 179-193 - [e9]Doug Lea, Gianluigi Zavattaro:
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Lecture Notes in Computer Science 5052, Springer 2008, ISBN 978-3-540-68264-6 [contents] - [e8]Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro:
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. Lecture Notes in Computer Science 5016, Springer 2008, ISBN 978-3-540-68892-1 [contents] - 2007
- [j14]Mario Bravetti, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebraic Methods Program. 70(1): 1-2 (2007) - [j13]Mario Bravetti, Gianluigi Zavattaro:
Service oriented computing from a process algebraic perspective. J. Log. Algebraic Methods Program. 70(1): 3-14 (2007) - [c55]Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183 - [c54]Mario Bravetti, Gianluigi Zavattaro:
A Theory for Strong Service Compliance. COORDINATION 2007: 96-112 - [c53]Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro:
Composing Services with JOLIE. ECOWS 2007: 13-22 - [c52]Mario Bravetti, Gianluigi Zavattaro:
Contract Based Multi-party Service Composition. FSEN 2007: 207-222 - [c51]Mario Bravetti, Gianluigi Zavattaro:
Towards a Unifying Theory for Choreography Conformance and Contract Compliance. SC@ETAPS 2007: 34-50 - 2006
- [j12]Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Supporting Secure Coordination in SecSpaces. Fundam. Informaticae 73(4): 479-506 (2006) - [j11]Riccardo Focardi, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. 63(1): 1-2 (2006) - [j10]Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63(1): 3-15 (2006) - [c50]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81 - [c49]Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing. ICSOC 2006: 327-338 - [c48]Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50 - [c47]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:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [c46]Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
JOLIE: a Java Orchestration Language Interpreter Engine. CoOrg/MTCoord@COORDINATION 2006: 19-33 - [e7]Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro:
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Lecture Notes in Computer Science 4184, Springer 2006, ISBN 3-540-38862-1 [contents] - 2005
- [j9]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005) - [c45]Nadia Busi, Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219 - [c44]Nadia Busi, Gianluigi Zavattaro:
Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262 - [c43]Cosimo Laneve, Gianluigi Zavattaro:
Foundations of Web Transactions. FoSSaCS 2005: 282-298 - [c42]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240 - [c41]Nadia Busi, Gianluigi Zavattaro:
Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159 - [c40]Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835 - [c39]Cosimo Laneve, Gianluigi Zavattaro:
web-pi at Work. TGC 2005: 182-194 - [c38]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Towards a formal framework for Choreography. WETICE 2005: 107-112 - [c37]Mario Bravetti, Gianluigi Zavattaro:
Service Oriented Computing: A New Challenge for Process Algebras. APC 25 2005: 121-125 - [c36]Nadia Busi, Gianluigi Zavattaro:
A Process Algebraic View of Coordination. APC 25 2005: 141-145 - [e6]Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro:
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. Lecture Notes in Computer Science 3670, Springer 2005, ISBN 3-540-28701-9 [contents] - [e5]Martin Steffen, Gianluigi Zavattaro:
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535, Springer 2005, ISBN 3-540-26181-8 [contents] - [e4]Riccardo Focardi, Gianluigi Zavattaro:
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(5), Elsevier 2005 [contents] - 2004
- [j8]Nadia Busi, Alberto Montresor, Gianluigi Zavattaro:
Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004) - [j7]Nadia Busi, Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004) - [c35]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70 - [c34]Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro:
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. COORDINATION 2004: 105-118 - [c33]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319 - [c32]Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12 - [c31]Roberto Lucchi, Gianluigi Zavattaro:
WSSecSpaces: a secure data-driven coordination service for Web Services applications. SAC 2004: 487-491 - [c30]Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806 - [c29]Mario Bravetti, Gianluigi Zavattaro:
Preface. WSFM 2004: 1-4 - [c28]Riccardo Focardi, Gianluigi Zavattaro:
Preface. SecCo 2004: 1-2 - [c27]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo 2004: 39-53 - [e3]Mario Bravetti, Gianluigi Zavattaro:
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004. Electronic Notes in Theoretical Computer Science 105, Elsevier 2004 [contents] - 2003
- [j6]Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro:
Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003) - [j5]Nadia Busi, Gianluigi Zavattaro:
Expired data collection in shared dataspaces. Theor. Comput. Sci. 298(3): 529-556 (2003) - [c26]Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro:
A Calculus for Long-Running Transactions. FMOODS 2003: 124-138 - [c25]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144 - [c24]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro:
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386 - [c23]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Combining Partitions in SecSpaces. MEFISTO 2003: 31-47 - [c22]Riccardo Focardi, Gianluigi Zavattaro:
Preface. SecCo 2003: 142 - [e2]Riccardo Focardi, Gianluigi Zavattaro:
2nd EATCS Workshop on Foundations of Global Computing, FGC 2003, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003. Electronic Notes in Theoretical Computer Science 85(1), Elsevier 2003 [contents] - [e1]Riccardo Focardi, Gianluigi Zavattaro:
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. Electronic Notes in Theoretical Computer Science 85(3), Elsevier 2003 [contents] - 2002
- [c21]Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro:
State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124 - [c20]Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro:
Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299 - [c19]Nadia Busi, Gianluigi Zavattaro:
On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366 - [c18]Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Movement in Pure Mobile Ambients. F-WAN@ICALP 2002: 22-36 - [c17]Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. FOCLASA 2002: 310-327 - 2001
- [c16]Mauro Gaspari, Gianluigi Zavattaro:
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444 - [c15]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136 - [c14]Nadia Busi, Gianluigi Zavattaro:
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333 - [c13]Nadia Busi, Gianluigi Zavattaro:
On the Serializability of Transactions in JavaSpaces. ConCoord 2001: 92-105 - [c12]Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA 2001: 102-115 - [p1]Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro:
Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 - 2000
- [j4]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000) - [j3]Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000) - [j2]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000) - [c11]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212 - [c10]Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55 - [c9]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. FMOODS 2000: 3-19 - [c8]Nadia Busi, Gianluigi Zavattaro:
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) 2000: 233-239
1990 – 1999
- 1999
- [c7]Frank S. de Boer, Gianluigi Zavattaro:
Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241 - [c6]Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro:
Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165 - [c5]Mauro Gaspari, Gianluigi Zavattaro:
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP 1999: 495-518 - [c4]Mauro Gaspari, Gianluigi Zavattaro:
An Algebra of Actors. FMOODS 1999 - 1998
- [j1]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998) - [c3]Gianluigi Zavattaro:
Towards a Hierarchy of Negative Test Operators for Generative Communication. EXPRESS 1998: 154-170 - 1997
- [c2]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219 - [c1]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives. EXPRESS 1997: 75
Coauthor Index
[j44] [j43] [p6] [j41] [c120] [c119] [j40] [j39] [c116] [c115] [c114] [i9] [i8] [i7] [j38] [p5] [i6] [c111] [c110] [c109] [i5] [i4] [j36] [j35] [c108] [j34] [i3] [i2] [c98] [c97] [c91] [j28] [c88] [c85] [c81] [c74] [c73] [j22] [j21] [c68] [e11] [j17] [c60] [c59] [c58] [c57] [j14] [j13] [c54] [c52] [c51] [e7] [j9] [c40] [c37] [e6] [c35] [c32] [c30] [c29] [c27] [e3] [c23]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
