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 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11724, pp. 29 - 47 (atti di: 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Oslo, Norway, September 18-20, 2019) [Contributo in Atti di convegno]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 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
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 [articolo]Open Access
Mario, Bravetti, Reduction Semantics in Markovian Process Algebra, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 96, pp. 41 - 64 [articolo]
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 [articolo]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 [articolo]
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 . [curatela]
Bravetti, Mario, Restful services and web-os middleware: A formal specification approach, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2017, 23, pp. 808 - 844 [articolo]
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi, Undecidability of asynchronous session subtyping, «INFORMATION AND COMPUTATION», 2017, 256, pp. 300 - 320 [articolo]
Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide, Behavioral Types in Programming Languages, «FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES», 2016, 3, pp. 95 - 230 [articolo]Open Access
Bravetti, Mario; Lluch-Lafuente, Alberto; Mazzara, Manuel; Montesi, Fabrizio, Guest Editorial: Special Issue on Service-Oriented Architectures and
Programming, Seul, Innovative Information Science & Technology Research Group (ISYOU), 2015, pp. 2 . [curatela]
Bravetti, Mario, Towards dynamic updates in service composition, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2015, 201, pp. 1 - 17 (atti di: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015) [Contributo in Atti di convegno]
Bravetti, M.; Zavattaro, G., Choreographies and behavioural contracts on the way to dynamic updates, in: Proceedings First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contributo in Atti di convegno]
