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, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15219 LNCS, pp. 306 - 321 (atti di: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, grc, 2024) [Contributo in Atti di convegno]
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 [articolo]
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 [articolo]
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 [articolo]
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) [capitolo di libro]
Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio, A model for correlation-based choreographic programming, «PEERJ. COMPUTER SCIENCE.», 2024, 10, pp. 1 - 47 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, pp. 161 - 175 (atti di: Service-Oriented Computing - 22nd International Conference, Tunis, 3-6 Dicembre 2024) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14676 LNCS, pp. 201 - 218 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, nld, 2024) [Contributo in Atti di convegno]
Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco, Choral: Object-Oriented Choreographic Programming, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2024, 46, pp. 1 - 59 [articolo]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 15405, pp. 243 - 259 (atti di: 22nd International Conference on Service-Oriented Computing (ICSOC 2024), Tunis, Tunisia, 3-6 December 2024) [Contributo in Atti di convegno]
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, «CEUR WORKSHOP PROCEEDINGS», 2024, 3692, pp. 69 - 75 (atti di: 36th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2024, cyp, 2024) [Contributo in Atti di convegno]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) [Contributo in Atti di convegno]
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) [capitolo di libro]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14919, pp. 117 - 127 (atti di: 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, ita, 2024) [Contributo in Atti di convegno]
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 [articolo]Open Access
