Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Function-as-a-Service Allocation Policies Made Formal, 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, 2025, 15219 LNCS, pp. 306 - 321 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, grc, 2024) [Contribution to conference proceedings]
Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Unwerawattana, Narongrit, JoT: A Jolie framework for testing microservices, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 240, Article number: 103215 , pp. 1 - 13 [Scientific article]
De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G., Leveraging static analysis for cost-aware serverless scheduling policies, «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», 2025, 26, Article number: 690660 , pp. 781 - 796 [Scientific article]
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]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Vjerdha, Gejsi, Towards a Framework for Transitioning from Monolith to Serverless, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), cham, Springer Science and Business Media Deutschland GmbH, 2025, pp. 167 - 182 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio, A model for correlation-based choreographic programming, «PEERJ. COMPUTER SCIENCE.», 2024, 10, pp. 1 - 47 [Scientific article]
Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Sachweh, Sabine; Wizenty, Philip, A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices, in: Service-Oriented Computing, 2024, pp. 161 - 175 (atti di: Service-Oriented Computing - 22nd International Conference, Tunis, 3-6 Dicembre 2024) [Contribution to conference proceedings]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, An OpenWhisk Extension for Topology-Aware Allocation Priority Policies, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2024, 14676 LNCS, pp. 201 - 218 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, nld, 2024) [Contribution to conference proceedings]
Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco, Choral: Object-Oriented Choreographic Programming, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2024, 46, pp. 1 - 59 [Scientific article]Open Access
Giallorenzo, Saverio; Mauro, Jacopo; Melis, Andrea; Montesi, Fabrizio; Peressotti, Marco; Prandini, Marco, Choreography-Defined Networks: A Case Study on DoS Mitigation, in: Service-Oriented Computing, Heidelberg, Springer Verlag Germany, 2024, 15405, pp. 243 - 259 (atti di: 22nd International Conference on Service-Oriented Computing (ICSOC 2024), Tunis, Tunisia, 3-6 December 2024) [Contribution to conference proceedings]
Vitali, M.; Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Gazza, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures, in: Proceedings of the Research Projects Exhibition Papers Presented at the 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024), Aachen, CEUR-WS, 2024, 3692, pp. 69 - 75 (atti di: 36th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2024, cyp, 2024) [Contribution to conference proceedings]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, FunLess: Functions-as-a-Service for Private Edge Cloud Systems, in: IEEE International Conference on Web Services, ICWS 2024, Shenzhen, China, July 7-13, 2024, 2024, pp. 961 - 967 (atti di: IEEE International Conference on Web Services, Shenzhen, China, July 7-13, 2024) [Contribution to conference proceedings]
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]
Amadini, R.; Gazza, S.; Soldani, J.; Vitali, M.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications, in: Logic-Based Program Synthesis and Transformation. LOPSTR 2024, Springer Science and Business Media Deutschland GmbH, 2024, 14919, pp. 117 - 127 (atti di: 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, ita, 2024) [Contribution to conference proceedings]
Berardi, Davide; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Prandini, Marco, Ranflood: A mitigation tool based on the principles of data flooding against ransomware, «SOFTWAREX», 2024, 25, pp. 1 - 6 [Scientific article]Open Access
