Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi, Fault Model Design Space for Cooperative Concurrency, in: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Berlin, Springer, 2014, 8803, pp. 22 - 36 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Corfu, Greece, October 8-11, 2014) [Contribution to conference proceedings]
Bravetti, Mario, Formalizing RESTful Services and Web-OS Middleware, in: Web Services and Formal Methods - 10th International Workshop, Springer, 2014, 8379, pp. 48 - 68 (atti di: 10th International workshop on Web Services and Formal Methods, WS-FM 2013, Beijing, China, August 2013) [Contribution to conference proceedings]
Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro, Towards Global and Local Types for Adaptation, in: SEFM 2013 Collocated Workshops (part on the 2nd International Workshop on Behavioural Types), Berlin, Springer, 2014, 8368, pp. 3 - 14 (atti di: 2nd International Workshop on Behavioural Types (BEAT 2), Madrid, Spain, September 23-24, 2013) [Contribution to conference proceedings]
Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro, A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, in: Proceedings of Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Berlin, Springer, 2013, 7684, pp. 110 - 127 (atti di: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012) [Contribution to conference proceedings]
Hierons R. M.; Merayo M. G.; Bravetti M., Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, Heidelberg, Springer, 2013, pp. 321 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contribution to conference proceedings]
M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro, Adaptable processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, Article number: 13 , pp. 1 - 71 [Scientific article]
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, 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contribution to conference proceedings]
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]
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]
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]
M. Boreale; M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery, in: Rigorous Software Engineering for Service-Oriented Systems, HEIDELBERG, Springer, 2011, pp. 282 - 301 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
M. Bravetti; G. Zavattaro, Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory, AMSTERDAM, Elsevier, 2011, pp. 1 . [Editorship]
M. Bravetti; T. Bultan, Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers, HEIDELBERG, Springer, 2011, pp. 191 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
