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]
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
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
