Mario Bravetti

University of Bologna — Italy

Computer Science · Physical Sciences

26h-index1.9kcitations159works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(65), Logic, programming, and type systems(52), Advanced Software Engineering Methodologies(46), Distributed systems and fault tolerance(32), Service-Oriented Architecture and Web Services(31)

Publications159 total

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
arXiv (Cornell University)·2025Open Access
Architectural Reconfiguration Platform: from Specification to Implementation
SSRN Electronic Journal·2025Open Access
Proactive–reactive microservice architecture global scaling
Journal of Systems and Software·2024· 2 citedOpen Access
Fair Asynchronous Session Subtyping
Logical Methods in Computer Science·2024Open Access
Integrated Timed Architectural Modeling/Execution Language
Lecture notes in computer science·2024Open Access
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study
IEEE Internet of Things Magazine·2022· 14 citedOpen Access
A Java typestate checker supporting inheritance
Science of Computer Programming·2022· 5 citedOpen Access
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0
2022· 2 cited
Proactive-Reactive Global Scaling, with Analytics
Lecture notes in computer science·2022· 1 citedOpen Access
Microservice Dynamic Architecture-Level Deployment Orchestration\n (Extended Version)
arXiv (Cornell University)·2021Open Access
A Session Subtyping Tool (Extended Version)
arXiv (Cornell University)·2021· 1 citedOpen Access
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
arXiv (Cornell University)·2021Open Access
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Logical Methods in Computer Science·2021· 13 citedOpen Access
Axiomatizing Maximal Progress and Discrete Time
Logical Methods in Computer Science·2021Open Access
Fair Refinement for Asynchronous Session Types (extended version).
arXiv (Cornell University)·2021· 3 citedOpen Access
Fair Asynchronous Session Subtyping
arXiv (Cornell University)·2021Open Access
Asynchronous session subtyping as communicating automata refinement
Software & Systems Modeling·2021· 7 citedOpen Access
A Session Subtyping Tool
Lecture notes in computer science·2021· 5 citedOpen Access
Microservice Dynamic Architecture-Level Deployment Orchestration
Lecture notes in computer science·2021· 6 citedOpen Access
Fair Refinement for Asynchronous Session Types
Lecture notes in computer science·2021· 11 citedOpen Access
page 1 of 8Next →

Frequent Co-authors

Gianluigi Zavattaro(17), Roberto Gorrieri(9), Gianluigi Zavattaro(6), Gianluigi Zavattaro(5), Alessandro Aldini(4), Marco Bernardo(4), Marco Carbone(4), Roberto Lucchi(4), Nobuko Yoshida(3), Jacopo Mauro(3), Davide Ancona(2), Viviana Bono(2), Joana Campos(2), Giuseppe Castagna(2), Pierre-Malo Deniélou(2), Nils Gesbert(2), Elena Giachino(2), Raymond Hu(2), Einar Broch Johnsen(2), Francisco Martins(2)