Bacchiani, Lorenzo; Bedei, Andrea; Kaya, Özlem; Presta, Roberta; Bravetti, Mario; Girau, Roberto, A Hybrid Automaton-Based Vehicle Digital Twin for Verifiable Pedestrian Protection, «IEEE ACCESS», 2026, VOLUME 11, 2023, pp. 1 - 1 [Scientific article]
Bravetti, Mario; Padovani, Luca; Zavattaro, Gianluigi, A Sound and Complete Characterization of Fair Asynchronous Session Subtyping, in: 36th International Conference on Concurrency Theory (CONCUR 2025), OKTAVIE-ALLEE, WADEM, 66687, GERMANY, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2025, 348, pp. 1 - 17 (atti di: 36th International Conference on Concurrency Theory (CONCUR 2025), Aarhus, Denmark, August 26-29, 2025) [Contribution to conference proceedings]Open Access
Bacchiani, Lorenzo; Bravetti, Mario; Giallorenzo, Saverio; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Zingaro, Stefano Pio, Proactive-reactive microservice architecture global scaling, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2025, 220, pp. 112262 - 112280 [Scientific article]Open Access
Bacchiani, L.; Bravetti, M.; Giunti, M.; Mota, J.; Ravara, A., Behavioural Up/down Casting For Statically Typed Languages, in: 8th European Conference on Object-Oriented Programming (ECOOP 2024), 2024, 313, pp. 5:1 - 5:28 (atti di: 38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, September 16-20, 2024) [Contribution to conference proceedings]Open Access
Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi, Fair Asynchronous Session Subtyping, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, 20, pp. 1 - 47 [Scientific article]Open Access
Bacchiani, L.; Bravetti, M.; Giallorenzo, S.; Mauro, J.; Zavattaro, G., Integrated Timed Architectural Modeling/Execution Language, in: Active Object Languages: Current Research Trends, Heidelberg, SPRINGER INTERNATIONAL PUBLISHING AG, 2024, pp. 169 - 198 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
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]Open Access
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
