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 [articolo]Open Access
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) [capitolo di libro]
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) [Contributo in Atti di convegno]
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 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]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 [articolo]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, Cham, SPRINGER, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 16194, pp. 226 - 247 (atti di: Integrated Formal Methods, Paris, France, 17/11/2025) [Contributo in Atti di convegno]
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) [capitolo di libro]Open Access
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]
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]
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems, «IEEE INTERNET COMPUTING», 2024, 01, pp. 1 - 8 [articolo]
Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro, Custom Serverless Function Scheduling Policies: An APP Tutorial, in: Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022), Schloss Dagstuhl - Leibniz Center for Informatic, 2023, 111, pp. 1 - 16 (atti di: International Conference on Microservices, Virtual, 2023) [Contributo in Atti di convegno]Open Access
Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Formally Verifying Function Scheduling Properties in Serverless Applications, «IT PROFESSIONAL», 2023, 25, pp. 94 - 99 [articolo]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Serverless Scheduling Policies based on Cost Analysis, in: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contributo in Atti di convegno]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling, in: 2022 IEEE International Conference on Web Services (ICWS), 2022, pp. 337 - 342 (atti di: IEEE International Conference on Web Services, Barcelona, Spain, 10-16 Luglio 2022) [Contributo in Atti di convegno]Open Access
