GIALLORENZO, SAVERIO

GIALLORENZO, SAVERIO  

DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 61 (tempo di esecuzione: 0.005 secondi).
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... espandiarongrit 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... espandiuigi; Zingaro, Stefano Pio 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 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... espandii, 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, ... espandiP.; 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, ... espandiP.; 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... espandiro, 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
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