Foto del docente

Gianluigi Zavattaro

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Laurea in Informatica

Pubblicazioni

Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro, Decidability Problems for Actor Systems, in: Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contributo in Atti di convegno]

G. Delzanno;A. Sangnier;R. Traverso;G. Zavattaro, On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks, in: Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 18, pp. 289 - 300 (atti di: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012) [Contributo in Atti di convegno]

F. De Paoli; E. Pimentel; G. Zavattaro, Proceedings of European Conference on Service-Oriented, ESOCC 2012, Berlin, Springer, 2012, pp. 2 (LECTURE NOTES IN COMPUTER SCIENCE). [curatela]

Giorgio Delzanno;Gianluigi Zavattaro, Reachability problems in BioAmbients, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 56 - 74 [articolo]

Mario Bravetti;Gianluigi Zavattaro, Service Discovery and Composition Based on Contracts and Choreographic Descriptions, in: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, Hershey, Pennsylvania, IGI Global, 2012, pp. 60 - 88 [capitolo di libro]

M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Steps on the Road to Component Evolvability, in: Proceedings of Formal Aspects of Component Software - 7th International Workshop, FACS 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 6921, pp. 295 - 299 (atti di: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010) [Contributo in Atti di convegno]

Roberto Cosmo;Stefano Zacchiroli;Gianluigi Zavattaro, Towards a Formal Component Model for the Cloud, in: Proceedings of Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7504, pp. 156 - 171 (atti di: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012) [Contributo in Atti di convegno]

Mario Bravetti;Cinzia Giusto;Jorge A. Pérez;Gianluigi Zavattaro, Towards the Verification of Adaptable Processes, in: Proceedings of Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, part I, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 269 - 283 (atti di: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, Verification of Ad Hoc Networks with Node and Communication Failures, in: Proceedings of Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 7273, pp. 235 - 250 (atti di: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012) [Contributo in Atti di convegno]

M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Adaptable Processes (Extended Abstract), in: Proceeding Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6722, pp. 90 - 105 (atti di: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011) [Contributo in Atti di convegno]

C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro, Advanced Mechanisms for Service Combination and Transactions, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 302 - 325 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

L. Caires; R. De Nicola; R. Pugliese; V. Vasconcelos; G. Zavattaro, Core Calculi for Service-Oriented Computing, in: M. WIRSING M. HOLZL, Results of the SENSORIA Project - LNCS 6582, BERLIN, Springer, 2011, pp. 153 - 188 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Johnsen E. B.; Lanese I.; Zavattaro G., Fault in the Future, in: Proceedings of COORDINATION 2011, 13th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6721, pp. 1 - 15 (atti di: COORDINATION 2011, 13th International Conference on Coordination Models and Languages, Reykjavik, Iceland, 6-9/6/2011) [Contributo in Atti di convegno]

Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro, Graceful Interruption of Request-Response Service Interactions, in: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings, BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 7084, pp. 590 - 600 (atti di: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Cipro, 2011) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks, in: Proceedings of Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6604, pp. 441 - 455 (atti di: Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.