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
SAFARI: A Scalable Air-Gapped Framework for Automated Ransomware Investigation
2025 Compagnucci, Tommaso; Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Vannini, Alessandro
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
| 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 | isola2024.pdf |
| JoT: A Jolie framework for testing microservices | Giallorenzo, Saverio; Montesi, Fabrizio; Peressotti, Marco; Rademacher, Florian; Unwerawattana, N...arongrit | 2025-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | scp2025.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 | main.pdf |
| Proactive-reactive microservice architecture global scaling | Bacchiani, Lorenzo; Bravetti, Mario; Giallorenzo, Saverio; Gabbrielli, Maurizio; Zavattaro, Gianl...uigi; Zingaro, Stefano Pio | 2025-01-01 | THE JOURNAL OF SYSTEMS AND SOFTWARE | - | 1.01 Articolo in rivista | jss2025.pdf |
| SAFARI: A Scalable Air-Gapped Framework for Automated Ransomware Investigation | Compagnucci, Tommaso; Callegati, Franco; Giallorenzo, Saverio; Melis, Andrea; Melloni, Simone; Va...nnini, Alessandro | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| 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 | cpred25.pdf |
| 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;... Wizenty, Philip | 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...i, Marco | 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, ...P.; Ponce, F.; Zavattaro, G. | 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, ...P.; Ponce, F.; Zavattaro, G. | 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...ro, G. | 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 |