GIALLORENZO, SAVERIO
GIALLORENZO, SAVERIO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
Function-as-a-Service Allocation Policies Made Formal
2025 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
JoT: A Jolie framework for testing microservices
2025 Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Unwerawattana, Narongrit
Leveraging static analysis for cost-aware serverless scheduling policies
2025 De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G.
Proactive-reactive microservice architecture global scaling
2025 Bacchiani, Lorenzo; Bravetti, Mario; Giallorenzo, Saverio; Gabbrielli, Maurizio; Zavattaro, Gianluigi; Zingaro, Stefano Pio
Towards a Framework for Transitioning from Monolith to Serverless
2025 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Vjerdha, Gejsi
A model for correlation-based choreographic programming
2024 Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices
2024 Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Sachweh, Sabine; Wizenty, Philip
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies
2024 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Choral: Object-Oriented Choreographic Programming
2024 Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco
Choreography-Defined Networks: A Case Study on DoS Mitigation
2024 Giallorenzo, Saverio; Mauro, Jacopo; Melis, Andrea; Montesi, Fabrizio; Peressotti, Marco; Prandini, Marco
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures
2024 Vitali, M.; Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Gazza, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G.
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
2024 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Integrated Timed Architectural Modeling/Execution Language
2024 Bacchiani, L.; Bravetti, M.; Giallorenzo, S.; Mauro, J.; Zavattaro, G.
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications
2024 Amadini, R.; Gazza, S.; Soldani, J.; Vitali, M.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G.
Ranflood: A mitigation tool based on the principles of data flooding against ransomware
2024 Berardi, Davide; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Prandini, Marco
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA
2024 Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Vitali, M.; Zavattaro, G.
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems
2024 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Custom Serverless Function Scheduling Policies: An APP Tutorial
2023 Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro
Data Flooding against Ransomware: Concepts and Implementations
2023 Berardi, Davide; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Onori, Loris; Prandini, Marco
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Function-as-a-Service Allocation Policies Made Formal | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
JoT: A Jolie framework for testing microservices | Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Unwerawattana, N... espandi | 2025-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642324001382-main.pdf |
Leveraging static analysis for cost-aware serverless scheduling policies | De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G. | 2025-01-01 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | - | 1.01 Articolo in rivista | - |
Proactive-reactive microservice architecture global scaling | Bacchiani, Lorenzo; Bravetti, Mario; Giallorenzo, Saverio; Gabbrielli, Maurizio; Zavattaro, Gianl... espandi | 2025-01-01 | THE JOURNAL OF SYSTEMS AND SOFTWARE | - | 1.01 Articolo in rivista | jss2025.pdf |
Towards a Framework for Transitioning from Monolith to Serverless | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Vjerdha, Gejsi | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 2.01 Capitolo / saggio in libro | - |
A model for correlation-based choreographic programming | Giallorenzo, Saverio; Montesi, Fabrizio; Gabbrielli, Maurizio | 2024-01-01 | PEERJ. COMPUTER SCIENCE. | - | 1.01 Articolo in rivista | - |
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices | Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Sachweh, Sabine;... espandi | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
Choral: Object-Oriented Choreographic Programming | Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco | 2024-01-01 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - | 1.01 Articolo in rivista | 3632398.pdf |
Choreography-Defined Networks: A Case Study on DoS Mitigation | Giallorenzo, Saverio; Mauro, Jacopo; Melis, Andrea; Montesi, Fabrizio; Peressotti, Marco; Prandin... espandi | 2024-01-01 | - | Springer Verlag Germany | 4.01 Contributo in Atti di convegno | - |
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures | Vitali, M.; Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Gazza, S.; Giallorenzo, S.; Plebani, ... espandi | 2024-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper9.pdf |
FunLess: Functions-as-a-Service for Private Edge Cloud Systems | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Integrated Timed Architectural Modeling/Execution Language | Bacchiani, L.; Bravetti, M.; Giallorenzo, S.; Mauro, J.; Zavattaro, G. | 2024-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 2.01 Capitolo / saggio in libro | - |
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications | Amadini, R.; Gazza, S.; Soldani, J.; Vitali, M.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, ... espandi | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | LOPSTR_FREEDA_2024-5.pdf |
Ranflood: A mitigation tool based on the principles of data flooding against ransomware | Berardi, Davide; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Prandini, Marco | 2024-01-01 | SOFTWAREX | - | 1.01 Articolo in rivista | softwarex2023.pdf |
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA | Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Vitali, M.; Zavatta... espandi | 2024-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | 3659994.3660311.pdf |
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2024-01-01 | IEEE INTERNET COMPUTING | - | 1.01 Articolo in rivista | - |
Custom Serverless Function Scheduling Policies: An APP Tutorial | Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro | 2023-01-01 | - | Schloss Dagstuhl - Leibniz Center for Informatic | 4.01 Contributo in Atti di convegno | pp-microservices20-22a.pdf |
Data Flooding against Ransomware: Concepts and Implementations | Berardi, Davide; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Onori, Loris; Prandini, Marco | 2023-01-01 | COMPUTERS & SECURITY | - | 1.01 Articolo in rivista | 1-s2.0-S0167404823002055-main.pdf |
Formally Verifying Function Scheduling Properties in Serverless Applications | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2023-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | 10411728.pdf |