Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D'Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi, A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments, «ACM TRANSACTIONS ON INTERNET TECHNOLOGY», in corso di stampa, N/A, pp. N/A - N/A [Scientific article]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies, «SCIENCE OF COMPUTER PROGRAMMING», 2026, 247, Article number: 103349 , pp. 1 - 6 [Scientific article]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess, in: Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, Cham, Springer Nature Switzerland, 2026, pp. 218 - 236 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
De Palma, G.; Giallorenzo, S.; Mauro, J.; Trentin, M.; Zavattaro, G., Affinity-aware Serverless Function Scheduling, in: Proceedings - 2025 IEEE 22nd International Conference on Software Architecture, ICSA 2025, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 49 - 59 (atti di: 22nd IEEE International Conference on Software Architecture, ICSA 2025, Odense, Denmark, 2025) [Contribution to conference proceedings]
Raimondi, Bianca; Giallorenzo, Saverio; Gabbrielli, Maurizio, Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs, in: Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 32 - 39 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italy, 2025) [Contribution to conference proceedings]
Giallorenzo, Saverio; Goretti, Francesco, Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation, in: Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 1412 - 1420 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italia, 2025) [Contribution to conference proceedings]
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. 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024. Proceedings, Part I, Heidelberg, Springer Verlag Germany, 2025, 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]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Heideker, Alexandre; Trentin, Matteo; Trotta, Angelo; Zavattaro, Gianluigi, Distributed serverless function scheduling in ad-hoc drone networks, «AD HOC NETWORKS», 2025, 178, Article number: 103951 , pp. 1 - 22 [Scientific article]
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]Open Access
Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Prandini, Marco; Vannini, Alessandro, Investigating operational technology attacks as code, «EMPIRICAL SOFTWARE ENGINEERING», 2025, 30, Article number: 158 , pp. 1 - 37 [Scientific article]Open Access
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]Open Access
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]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Reachability Analysis of Function-as-a-Service Scheduling Policies, in: Integrated Formal Methods. IFM 2025, 2025, pp. 226 - 247 (atti di: Integrated Formal Methods, Paris, France, 17/11/2025) [Contribution to conference proceedings]
Compagnucci, Tommaso; Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Vannini, Alessandro, SAFARI: A Scalable Air-Gapped Framework for Automated Ransomware Investigation, in: IFIP Advances in Information and Communication Technology, 2025, pp. 210 - 223 (atti di: IFIP International Conference on ICT Systems Security and Privacy Protection, Maribor, 16 May 2025) [Contribution to conference proceedings]
