Mario Bravetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
1998–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. | Mario Bravetti, Luca Padovani, Gianluigi Zavattaro |
| 2024 | ECOOP | Behavioural Up/down Casting For Statically Typed Languages. | Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara |
| 2022 | ICSOC | Proactive-Reactive Global Scaling, with Analytics. | Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro |
| 2021 | Coordination | Microservice Dynamic Architecture-Level Deployment Orchestration. | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2021 | Coordination | A Session Subtyping Tool. | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2021 | FOSSACS | Fair Refinement for Asynchronous Session Types. | Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2020 | APLAS | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. | Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen, Antnio Ravara |
| 2019 | CONCUR | A Sound Algorithm for Asynchronous Session Subtyping. | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | FASE | Optimal and Automated Deployment for Microservices. | Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2019 | SEFM | Relating Session Types and Behavioural Contracts: The Asynchronous Case. | Mario Bravetti, Gianluigi Zavattaro |
| 2018 | Coordination | Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. | Mario Bravetti, Gianluigi Zavattaro |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2013 | SEFM | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | ISoLA | Towards the Verification of Adaptable Processes. | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | ISoLA | An Object Group-Based Component Model. | Michael Lienhardt, Mario Bravetti, Davide Sangiorgi |
| 2011 | FORTE | Adaptable Processes (Extended Abstract). | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2007 | Coordination | A Theory for Strong Service Compliance. | Mario Bravetti, Gianluigi Zavattaro |
| 2005 | CONCUR | A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. | Jos C. M. Baeten, Mario Bravetti |
| 2005 | SAC | Supporting e-commerce systems formalization with choreography languages. | Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | Coordination | Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
| 2004 | SAC | Web Services for E-commerce: guaranteeing security access and quality of service. | Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri |
| 2000 | ICALP | An Asynchronous Calculus for Generative-Reactive Probalistic Systems. | Alessandro Aldini, Mario Bravetti |
| 2000 | ICALP | A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. | Mario Bravetti, Roberto Gorrieri |
| 1998 | CONCUR | Towards Performance Evaluation with General Distributions in Process Algebras. | Mario Bravetti, Marco Bernardo, Roberto Gorrieri |