ZAVATTARO, GIANLUIGI

ZAVATTARO, GIANLUIGI  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 147 (tempo di esecuzione: 0.035 secondi).
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 Foundational Theory of Contracts for Multi-party Service Composition M. Bravetti; G. Zavattaro 2008-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 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 -
Aeolus: Mastering the Complexity of Cloud Application Deployment Michel Catan;Roberto Di Cosmo;Antoine Eiche;Tudor A. Lascu;Michel Lienhardt;Jacopo Mauro;Ralf Tre...inen;Stefano Zacchiroli;Gianluigi Zavattaro;Jakub Zwolakowski 2013-01-01 - Springer 4.01 Contributo in Atti di convegno -
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Gianluigi Zavattaro
2020-01-01 - Springer 4.01 Contributo in Atti di convegno -
Amending Choreographies Ivan Lanese;Fabrizio Montesi;Gianluigi Zavattaro 2013-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Analysis of SLA compliance in the cloud: An automated, model-based approach de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. 2019-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno 1908.10040v1.pdf
Asynchronous session subtyping as communicating automata refinement Bravetti M.; Zavattaro G. 2021-01-01 SOFTWARE AND SYSTEMS MODELING - 1.01 Articolo in rivista Bravetti-Zavattaro2021_Article_AsynchronousSessionSubtypingAs.pdf
Automatic application deployment in the cloud: From practice to theory and back Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; ...Zwolakowski, Jakub 2015-01-01 LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno -
Automatic Component Deployment in the Presence of Circular Dependencies Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro 2014-01-01 - Springer 4.01 Contributo in Atti di convegno -
Automatic deployment of component-based applications Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi 2015-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista 1-s2.0-S0167642315001409-main.pdf
Automatic Deployment of Services in the Cloud with Aeolus Blender Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwol...akowski, Jakub 2015-01-01 - Lecture Notes in Computer Science - Springer 4.01 Contributo in Atti di convegno -