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]

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]

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]

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]

Paolo Bellavista; Veronica Conti; Carlo Giannelli; Jukka Honkola, The Smart-M3 Semantic Information Broker (SIB) plug-in extension: Implementation and evaluation experiences, in: Proceedings - 2012 IEEE Int. Conf. on Green Computing and Communications, GreenCom 2012, Conf. on Internet of Things, iThings 2012 and Conf. on Cyber, Physical and Social Computing, CPSCom 2012, 2012, pp. 704 - 711 (atti di: SN4MS CPSCom, Besancon, Francia, Novembre 2012) [Contributo in Atti di convegno]

Cristian Borcea; Paolo Bellavista; Carlo Giannelli; Thomas Magedanz; Florian Schreiner, Mobile Wireless Middleware, Operating Systems, and Applications, Berlin, Springer, 2012, pp. 265 (LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING). [Curatela]

I. Bartolini; M. Patella, Gestione Dati Multimediali: Modelli, Indici, Interfacce, Applicazioni, in: Patrimonio virtuale - Tecnologie e modelli per la valorizzazione e la comunicazione dei beni culturali, Napoli, ScriptaWeb, 2012, pp. 355 - 370 [Capitolo/Saggio in libro]

Ornela Dardha;Elena Giachino;Davide Sangiorgi, Session types revisited, in: Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12, ACM, 2012, pp. 139 - 150 (atti di: Symposium on Principles and practice of declarative programming, Leuven, September 19 - 21, 2012) [Contributo in Atti di convegno]

Davide Sangiorgi, Concurrency theory: timed automata, testing, program synthesis, «DISTRIBUTED COMPUTING», 2012, 25, pp. 3 - 4 [Abstract in rivista]

Pietro Di Lena; Luciano Margara, On the Undecidability of Attractor Properties for Cellular Automata, «FUNDAMENTA INFORMATICAE», 2012, 115, pp. 75 - 85 [Articolo in rivista]

Davide Sangiorgi;Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 340 . [Curatela]

Damien Pous;Davide Sangiorgi, Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 233 - 289 [Capitolo/Saggio in libro]

Davide Sangiorgi, Origins of bisimulation and coinduction, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 1 - 37 [Capitolo/Saggio in libro]

Romain Demangeon;Daniel Hirschkoff;Davide Sangiorgi, Strong Normalisation in λ-Calculi with References, in: Fundamentals of Software Engineering: Revised Selected Papers, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7141, pp. 128 - 142 (atti di: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011) [Contributo in Atti di convegno]

B. Kantarci;L. Foschini;A. Corradi;H. Mouftah, Inter-and-intra data center VM-placement for energy-efficient large-Scale cloud systems, in: Proceedings of the IEEE Globcom Workshops (GC Wkshps 2012), IEEE Computer Society Press, 2012, PISCATAWAY, NJ, pp. 708 - 713 (atti di: IEEE International Workshop on Management and Security technologies for Cloud Computing 2012 (ManSec-CC'12), within IEEE Globecom Workshops (GC Wkshps), Disneyland Hotel, Anaheim, California, USA, 3-7 December, 2012) [Contributo in Atti di convegno]

Alberto Dennunzio; Pietro Di Lena; Luciano Margara, Strictly Temporally Periodic Points in Cellular Automata, in: Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012, 90, pp. 225 - 235 (atti di: 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012) [Contributo in Atti di convegno]

Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi, An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

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/Saggio in libro]

Sara Montagna;Mirko Viroli, A Computational Framework for Multilevel Morphologies, in: Morphogenetic Engineering, Berlin, Springer Berlin Heidelberg, 2012, pp. 383 - 405 (UNDERSTANDING COMPLEX SYSTEMS) [Capitolo/Saggio in libro]

M. Casadei;M. Viroli, Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems, in: Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Los Alamitos, IEEE CS, 2012, pp. 199 - 204 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Lyon, France, 10-14 September, 2012) [Contributo in Atti di convegno]