Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A., Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Science and Business Media Deutschland GmbH, 2020, 12470, pp. 105 - 124 (atti di: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, Fukuoka, Japan, November 30-December 2, 2020) [Contribution to conference proceedings]Open Access
Bravetti M.; Zavattaro G., Process calculi as a tool for studying coordination, contracts and session types, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2020, 112, Article number: 100527 , pp. 1 - 31 [Scientific article]Open Access
Bravetti, Mario and Carbone, Marco and Lange, Julien and
Yoshida, Nobuko and Zavattaro, Gianluigi, A Sound Algorithm for Asynchronous Session Subtyping, in: CONCUR 2019 - Concurrency Theory, 30th International Conference. Amsterdam, The Netherlands, August 26-31, 2019. Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, pp. 1 - 16 (atti di: CONCUR 2019 - Concurrency Theory, 30th International Conference, Amsterdam, The Netherlands, August 26-31, 2019) [Contribution to conference proceedings]Open Access
Bravetti, Mario; Giallorenzo, Saverio*; Mauro, Jacopo; Talevi, Iacopo; Zavattaro, Gianluigi, Optimal and automated deployment for microservices, in: Fundamental Approaches to Software Engineering, FASE 2019., Berlin, Springer Verlag, 2019, 11424, pp. 351 - 368 (atti di: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6-11 April 2019) [Contribution to conference proceedings]Open Access
Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario, Probabilistic software product lines, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 107, pp. 54 - 78 [Scientific article]
Bravetti M.; Zavattaro G., Relating Session Types and Behavioural Contracts: The Asynchronous Case, in: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Berlin, Springer Verlag, 2019, 11724, pp. 29 - 47 (atti di: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Oslo, Norway, September 18-20, 2019) [Contribution to conference proceedings]Open Access
de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro, A Petri Net Based Modeling of Active Objects and Futures, «FUNDAMENTA INFORMATICAE», 2018, 159, pp. 197 - 256 [Scientific article]
Bravetti, Mario; Zavattaro, Gianluigi, Foundations of Coordination and Contracts and Their Contribution to Session Type Theory, in: Coordination Models and Languages. 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings, Heidelberg, Springer Verlag, 2018, 10852, pp. 21 - 50 (atti di: Coordination Models and Languages, 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Madrid, Spain, June 18-21, 2018) [Contribution to conference proceedings]
Mario, Bravetti; Marco, Carbone; Gianluigi, Zavattaro, On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping, «THEORETICAL COMPUTER SCIENCE», 2018, 722, pp. 19 - 51 [Scientific article]Open Access
Mario, Bravetti, Reduction Semantics in Markovian Process Algebra, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 41 - 64 [Scientific article]
Boubeta-Puig, Juan; Bravetti, Mario; Llana, Luis; Merayo, Mercedes G., Analysis of temporal complex events in sensor networks, «JOURNAL OF INFORMATION AND TELECOMMUNICATION», 2017, 1, pp. 273 - 289 [Scientific article]Open Access
Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y.H., Dynamic Rebinding for Concurrent Object Groups: Theory and practice, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2017, 86, pp. 349 - 390 [Scientific article]
Bravetti, Mario; Hierons, Robert M.; Merayo, Mercedes G., Introduction to the Software Engineering and Formal Methods 2013 special issue, Berlin, Springer Verlag, 2017, pp. 2 . [Editorship]
Bravetti, Mario, Restful services and web-os middleware: A formal specification approach, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2017, 23, pp. 808 - 844 [Scientific article]
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi, Undecidability of asynchronous session subtyping, «INFORMATION AND COMPUTATION», 2017, 256, pp. 300 - 320 [Scientific article]
