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 [Scientific article]Open Access
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 [Scientific article]
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro, Proactive-Reactive Global Scaling, with Analytics, in: Service-Oriented Computing. ICSOC 2022., Cham, Springer, 2022, 13740, pp. 237 - 254 (atti di: The 20th International Conference on Service-Oriented Computing, Sevilla, Spain, November 29th – December 2nd) [Contribution to conference proceedings]Open Access
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) [Contribution to conference proceedings]
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), Cham, Springer, 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) [Contribution to conference proceedings]Open Access
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 [Scientific article]Open Access
Bravetti M.; Zavattaro G., Asynchronous session subtyping as communicating automata refinement, «SOFTWARE AND SYSTEMS MODELING», 2021, 20, pp. 311 - 333 [Scientific article]Open Access
Bravetti M., Axiomatizing maximal progress and discrete time, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, Article number: 1 , pp. 1 - 44 [Scientific article]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, 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) [Contribution to conference proceedings]Open Access
Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G., Microservice Dynamic Architecture-Level Deployment Orchestration, in: Coordination Models and Languages. COORDINATION 2021, Springer Science and Business Media Deutschland GmbH, 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, June 14–18, 2021) [Contribution to conference proceedings]Open Access
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 [Chapter or essay]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, 2020, 12470, pp. 105 - 124 (atti di: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, Fukuoka, Japan, November 30-December 2, 2020) [Contribution to conference proceedings]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 [Scientific article]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, 2019, pp. 1 - 16 (atti di: CONCUR 2019 - Concurrency Theory, 30th International Conference, Amsterdam, The Netherlands, August 26-31, 2019) [Contribution to conference proceedings]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, 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) [Contribution to conference proceedings]Open Access
