Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Function-as-a-Service Allocation Policies Made Formal, in: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I, Springer Science and Business Media Deutschland GmbH, 2025, 15219, pp. 306 - 321 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, October 27–31, 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: The Combined Power of Research, Education, and Dissemination. Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday, 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
