Foto del docente

Mario Bravetti

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

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]

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 [Scientific article]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 . [Editorship]

Bravetti, Mario, Towards dynamic updates in service composition, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 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) [Contribution to conference proceedings]

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, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contribution to conference proceedings]

Latest news

At the moment no news are available.