Foto del docente

Mario Bravetti

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G., A sound algorithm for asynchronous session subtyping and its implementation, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, pp. 1 - 35 [Scientific article]Open Access

Bravetti M.; Zavattaro G., Asynchronous session subtyping as communicating automata refinement, «SOFTWARE AND SYSTEMS MODELING», 2021, 20, pp. 311 - 333 [Scientific article]Open Access

Bravetti M., Axiomatizing maximal progress and discrete time, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, pp. 1 - 44 [Scientific article]Open Access

Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi, Fair Refinement for Asynchronous Session Types, in: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021., Cham, Springer, 2021, 12650, pp. 144 - 163 (atti di: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021) [Contribution to conference proceedings]Open Access

Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G., Microservice Dynamic Architecture-Level Deployment Orchestration, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, 2021, 12717, pp. 257 - 275 (atti di: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, 2021) [Contribution to conference proceedings]

Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro, A Formal Approach to Microservice Architecture Deployment, in: Microservices, Science and Engineering, Berlin, Springer, 2020, pp. 183 - 208 [Chapter or essay]Open Access

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, pp. 1 - 31 [Scientific article]

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.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi, 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]

Latest news

At the moment no news are available.