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, 2012, 7454, pp. 562 - 577 (atti di: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
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). [Editorship]
Giorgio Delzanno;Gianluigi Zavattaro, Reachability problems in BioAmbients, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 56 - 74 [Scientific article]
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 [Chapter or essay]
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, 2012, 6921, pp. 295 - 299 (atti di: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010) [Contribution to conference proceedings]
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, 2012, 7504, pp. 156 - 171 (atti di: Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
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) [Chapter or essay]
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) [Chapter or essay]
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, 2011, 6721, pp. 1 - 15 (atti di: COORDINATION 2011, 13th International Conference on Coordination Models and Languages, Reykjavik, Iceland, 6-9/6/2011) [Contribution to conference proceedings]
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, 2011, LNCS 7084, pp. 590 - 600 (atti di: Service-Oriented Computing - 9th International Conference, ICSOC 2011, Cipro, 2011) [Contribution to conference proceedings]
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, 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) [Contribution to conference proceedings]
