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]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) [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]
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
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]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, 2025, 16194, pp. 226 - 247 (atti di: Integrated Formal Methods, Paris, France, 17/11/2025) [Contribution to conference proceedings]
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]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, 2024, 14676 LNCS, pp. 201 - 218 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, nld, 2024) [Contribution to conference proceedings]
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]
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 [Scientific article]
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) [Contribution to conference proceedings]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 [Scientific article]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, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contribution to conference proceedings]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) [Contribution to conference proceedings]Open Access
