Mario Bravetti
Università degli Studi di Bologna
H-index: 27
Europe-Italy
Top articles of Mario Bravetti
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Integrated Timed Architectural Modeling/Execution Language | Lorenzo Bacchiani Mario Bravetti Saverio Giallorenzo Jacopo Mauro Gianluigi Zavattaro | 2024/1/29 | |
Proactive-reactive global scaling, with analytics | Service-Oriented Computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29–December 2, 2022, Proceedings | Lorenzo Bacchiani Mario Bravetti Maurizio Gabbrielli Saverio Giallorenzo Gianluigi Zavattaro | 2022/11/22 |
J. UCS Journal of Universal Computer Science | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | Mario Bravetti | 2022/10/15 |
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) | Aleksandra Mileva | 2012/10/26 | |
Low-latency anomaly detection on the edge-cloud continuum for Industry 4.0 applications: The SEAWALL case study | IEEE Internet of Things Magazine | Lorenzo Bacchiani Giuseppe De Palma Luca Sciullo Mario Bravetti Marco Di Felice | 2022/9 |
A Java typestate checker supporting inheritance | Science of Computer Programming | Lorenzo Bacchiani Mario Bravetti Marco Giunti João Mota António Ravara | 2022/9/1 |
SEAWALL: Seamless low latency cloud platforms for the industry 4.0 | Lorenzo Bacchiani Giuseppe De Palma Luca Sciullo Mario Bravetti Marco De Felice | 2022/3/28 | |
Axiomatizing maximal progress and discrete time | Logical Methods in Computer Science | Mario Bravetti | 2021/1/21 |
A Session Subtyping Tool (Extended Version) | arXiv preprint arXiv:2104.12455 | Lorenzo Bacchiani Mario Bravetti Julien Lange Gianluigi Zavattaro | 2021/4/26 |
Fair Asynchronous Session Subtyping | arXiv preprint arXiv:2101.08181 | Mario Bravetti Julien Lange Gianluigi Zavattaro | 2021/1/20 |
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version) | arXiv preprint arXiv:2104.12466 | Lorenzo Bacchiani Mario Bravetti Saverio Giallorenzo Jacopo Mauro Iacopo Talevi | 2021/4/26 |
Fair refinement for asynchronous session types (extended version) | arXiv e-prints | Mario Bravetti Julien Lange Gianluigi Zavattaro | 2021/1 |
Asynchronous session subtyping as communicating automata refinement | Software and Systems Modeling | Mario Bravetti Gianluigi Zavattaro | 2021/4 |
A session subtyping tool | Lorenzo Bacchiani Mario Bravetti Julien Lange Gianluigi Zavattaro | 2021 | |
Fair refinement for asynchronous session types | Mario Bravetti Julien Lange Gianluigi Zavattaro | 2021/3/23 | |
A sound algorithm for asynchronous session subtyping and its implementation | Logical Methods in Computer Science | Mario Bravetti Marco Carbone Julien Lange Nobuko Yoshida Gianluigi Zavattaro | 2021/3/4 |
Microservice Interface Based Deployment Orchestration | arXiv preprint arXiv:2008.01638 | Lorenzo Bacchiani Mario Bravetti Saverio Giallorenzo Jacopo Mauro Iacopo Talevi | 2020/8/4 |
Process calculi as a tool for studying coordination, contracts and session types | Journal of Logical and Algebraic Methods in Programming | Mario Bravetti Gianluigi Zavattaro | 2020/4/1 |
A formal approach to microservice architecture deployment | Microservices: Science and Engineering | Mario Bravetti Saverio Giallorenzo Jacopo Mauro Iacopo Talevi Gianluigi Zavattaro | 2020 |
Behavioural types for memory and method safety in a core object-oriented language | Mario Bravetti Adrian Francalanza Iaroslav Golovanov Hans Hüttel Mathias S Jakobsen | 2020/11/24 |
