BRAVETTI, MARIO
BRAVETTI, MARIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY)
In corso di stampa M Bravetti
J.UCS Journal of Universal Computer Science
In corso di stampa M Bravetti
A Java typestate checker supporting inheritance
2022 Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A.
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study
2022 Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto
Proactive-Reactive Global Scaling, with Analytics
2022 Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0
2022 Bacchiani L.; De Palma G.; Sciullo L.; Bravetti M.; Di Felice M.; Gabbrielli M.; Zavattaro G.; Della Penna R.; Iorizzo C.; Livaldi A.; Magnotta L.; Orsini M.
A Session Subtyping Tool
2021 Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G.
A sound algorithm for asynchronous session subtyping and its implementation
2021 Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G.
Asynchronous session subtyping as communicating automata refinement
2021 Bravetti M.; Zavattaro G.
Axiomatizing maximal progress and discrete time
2021 Bravetti M.
Fair Refinement for Asynchronous Session Types
2021 Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi
Microservice Dynamic Architecture-Level Deployment Orchestration
2021 Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G.
A Formal Approach to Microservice Architecture Deployment
2020 Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
2020 Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A.
Process calculi as a tool for studying coordination, contracts and session types
2020 Bravetti M.; Zavattaro G.
A Sound Algorithm for Asynchronous Session Subtyping
2019 Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi
Optimal and automated deployment for microservices
2019 Bravetti, Mario; Giallorenzo, Saverio*; Mauro, Jacopo; Talevi, Iacopo; Zavattaro, Gianluigi
Probabilistic software product lines
2019 Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario
Relating Session Types and Behavioural Contracts: The Asynchronous Case
2019 Bravetti M.; Zavattaro G.
A Petri Net Based Modeling of Active Objects and Futures
2018 de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) | M Bravetti | 9999-01-01 | - | - | 8.04 Coordinamento di progetti di ricerca | - |
| J.UCS Journal of Universal Computer Science | M Bravetti | 9999-01-01 | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | - | 8.01 Ruolo editoriale in rivista | - |
| A Java typestate checker supporting inheritance | Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A. | 2022-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642322000776-main.pdf |
| Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study | Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrie...lli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto | 2022-01-01 | IEEE INTERNET OF THINGS MAGAZINE | - | 1.01 Articolo in rivista | IoT_Magazine-2.pdf |
| Proactive-Reactive Global Scaling, with Analytics | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro,... Stefano Pio Zingaro | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | icsoc2022.pdf |
| SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 | Bacchiani L.; De Palma G.; Sciullo L.; Bravetti M.; Di Felice M.; Gabbrielli M.; Zavattaro G.; De...lla Penna R.; Iorizzo C.; Livaldi A.; Magnotta L.; Orsini M. | 2022-01-01 | - | Institute of Electrical and Electronics Engineers Inc. (IEEE) | 4.01 Contributo in Atti di convegno | - |
| A Session Subtyping Tool | Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
| A sound algorithm for asynchronous session subtyping and its implementation | Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1907.00421v5.pdf |
| Asynchronous session subtyping as communicating automata refinement | Bravetti M.; Zavattaro G. | 2021-01-01 | SOFTWARE AND SYSTEMS MODELING | - | 1.01 Articolo in rivista | Bravetti-Zavattaro2021_Article_AsynchronousSessionSubtypingAs.pdf |
| Axiomatizing maximal progress and discrete time | Bravetti M. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2001.08040.pdf |
| Fair Refinement for Asynchronous Session Types | Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi | 2021-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | Bravetti2021_Chapter_FairRefinementForAsynchronousS.pdf |
| Microservice Dynamic Architecture-Level Deployment Orchestration | Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | coordination2021_md.pdf |
| A Formal Approach to Microservice Architecture Deployment |
Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavat...taro |
2020-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | main.pdf |
| Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language | Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A. | 2020-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | APLAS2020.pdf |
| Process calculi as a tool for studying coordination, contracts and session types | Bravetti M.; Zavattaro G. | 2020-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | full.pdf |
| A Sound Algorithm for Asynchronous Session Subtyping |
Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi |
2019-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | preview.pdf |
| Optimal and automated deployment for microservices | Bravetti, Mario; Giallorenzo, Saverio*; Mauro, Jacopo; Talevi, Iacopo; Zavattaro, Gianluigi | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | Bravetti2019_Chapter_OptimalAndAutomatedDeploymentF.pdf |
| Probabilistic software product lines | Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Relating Session Types and Behavioural Contracts: The Asynchronous Case | Bravetti M.; Zavattaro G. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | Relating_BravettiZavattaro.pdf |
| A Petri Net Based Modeling of Active Objects and Futures | de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |