ZAVATTARO, GIANLUIGI
ZAVATTARO, GIANLUIGI
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Component Model for the ABS Language
2012 M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
A Formal Approach to Microservice Architecture Deployment
2020 Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro
A Foundational Theory of Contracts for Multi-party Service Composition
2008 M. Bravetti; G. Zavattaro
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form
2008 G. Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
2013 Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures
2018 de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro
A Planning Tool Supporting the Deployment of Cloud Applications
2013 Tudor A. Lascu;Jacopo Mauro;Gianluigi Zavattaro
A Process Algebraic View of Coordination
2006 N. Busi; G. Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
2008 N. Busi; G. Zavattaro
A Session Subtyping Tool
2021 Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G.
A Sound Algorithm for Asynchronous Session Subtyping
2019 Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
A sound algorithm for asynchronous session subtyping and its implementation
2021 Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G.
A Theory for Strong Service Compliance
2007 M.Bravetti; G.Zavattaro
A theory of contracts for strong service compliance
2009 M. Bravetti; G. Zavattaro
Adaptable processes
2012 M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro
Adaptable Processes (Extended Abstract)
2011 M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro
Advanced Mechanisms for Service Combination and Transactions
2011 C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro
Aeolus - Mastering the Cloud Complexity
In corso di stampa G Zavattaro
Aeolus: A component model for the cloud
2014 Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G.
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Component Model for the ABS Language | M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter | 2012-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | icws2022.pdf |
A Formal Approach to Microservice Architecture Deployment |
Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavat...taro |
2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | main.pdf |
A Foundational Theory of Contracts for Multi-party Service Composition | M. Bravetti; G. Zavattaro | 2008-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form | G. Zavattaro | 2008-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures | Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro | 2013-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Petri Net Based Modeling of Active Objects and Futures | de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Planning Tool Supporting the Deployment of Cloud Applications | Tudor A. Lascu;Jacopo Mauro;Gianluigi Zavattaro | 2013-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
A Process Algebraic View of Coordination | N. Busi; G. Zavattaro | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
A Process Algebraic View of Shared Dataspace Coordination | N. Busi; G. Zavattaro | 2008-01-01 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | - | 1.01 Articolo in rivista | - |
A Session Subtyping Tool | Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi |
2019-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | preview.pdf |
A sound algorithm for asynchronous session subtyping and its implementation | Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1907.00421v5.pdf |
A Theory for Strong Service Compliance | M.Bravetti; G.Zavattaro | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A theory of contracts for strong service compliance | M. Bravetti; G. Zavattaro | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Adaptable processes | M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro | 2012-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Adaptable Processes (Extended Abstract) | M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro | 2011-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Advanced Mechanisms for Service Combination and Transactions | C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro | 2011-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Aeolus - Mastering the Cloud Complexity | G Zavattaro | 9999-01-01 | - | - | 8.04 Coordinamento di progetti di ricerca | - |
Aeolus: A component model for the cloud | Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. | 2014-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |