GIALLORENZO, SAVERIO
GIALLORENZO, SAVERIO
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
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 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
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.
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
JoT: A Jolie Framework for Testing Microservices
2023 Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Unwerawattana N.
LEMMA2Jolie: A tool to generate microservice APIs from domain models
2023 Giallorenzo, S; Montesi, F; Peressotti, M; Rademacher, F
Model-Driven Code Generation for Microservices: Service Models
2023 Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher
Serverless Scheduling Policies based on Cost Analysis
2023 De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; 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...arongrit | 2025-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| 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 | - |
| 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 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 | - |
| 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.; Ponc...e F.; Zavattaro G. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| 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.; Zavattaro G. | 2024-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
| 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 |
| JoT: A Jolie Framework for Testing Microservices | Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Unwerawattana N. | 2023-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | coordination2023.pdf |
| LEMMA2Jolie: A tool to generate microservice APIs from domain models | Giallorenzo, S; Montesi, F; Peressotti, M; Rademacher, F | 2023-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | scp2023.pdf |
| Model-Driven Code Generation for Microservices: Service Models | Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | pp-microservices20-22b.pdf |
| Serverless Scheduling Policies based on Cost Analysis | De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavatta...ro, Gianluigi | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | ticsa2023.pdf |