Foto del docente

Mario Bravetti

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A., A Java typestate checker supporting inheritance, «SCIENCE OF COMPUTER PROGRAMMING», 2022, 221, Article number: 102844, pp. 1 - 8 [articolo]

Bacchiani, Lorenzo; De Palma, Giuseppe; Sciullo, Luca; Bravetti, Mario; Di Felice, Marco; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Della Penna, Roberto, Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study, «IEEE INTERNET OF THINGS MAGAZINE», 2022, 5, pp. 32 - 37 [articolo]

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro, Proactive-Reactive Global Scaling, with Analytics, in: Service-Oriented Computing, 20th International Conference, ICSOC 2022,, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13740, pp. 237 - 254 (atti di: The 20th International Conference on Service-Oriented Computing, Sevilla, Spain, November 29th – December 2nd) [Contributo in Atti di convegno]

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., SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0, in: 5th Conference on Cloud and Internet of Things, CIoT 2022, Institute of Electrical and Electronics Engineers Inc. (IEEE), 2022, pp. 90 - 91 (atti di: 5th Conference on Cloud and Internet of Things, CIoT 2022, Marrakech, Morocco, March 28-30, 2022) [Contributo in Atti di convegno]

Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G., A Session Subtyping Tool, 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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12717, pp. 90 - 105 (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) [Contributo in Atti di convegno]

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, Article number: 20, pp. 1 - 35 [articolo]Open Access

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

Bravetti M., Axiomatizing maximal progress and discrete time, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, Article number: 1, pp. 1 - 44 [articolo]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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]

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 [capitolo di libro]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12470, pp. 105 - 124 (atti di: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, Fukuoka, Japan, November 30-December 2, 2020) [Contributo in Atti di convegno]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, Article number: 100527, pp. 1 - 31 [articolo]Open Access

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, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, pp. 1 - 16 (atti di: CONCUR 2019 - Concurrency Theory, 30th International Conference, Amsterdam, The Netherlands, August 26-31, 2019) [Contributo in Atti di convegno]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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]Open Access

Ultimi avvisi

Al momento non sono presenti avvisi.