Saverio Giallorenzo

103 papers A 6B 5C 10Misc 3Journal 47Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments.
ACM Trans. Internet Techn.
Simone Gazza, Roberto Amadini, Antonio Brogi, Andrea D'Iapico, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Jacopo Soldani, Monica Vitali, Gianluigi Zavattaro
2026 J jnl
A Framework for Improving Social Inclusion Using Network Analysis and IoT-Based Contact Tracing.
IEEE Trans. Netw. Sci. Eng.
Saverio Giallorenzo, Emanuele Sinagra, Angelo Trotta, Loris Vergolini, Andrea Zanellati
2026 J jnl
A Mixed-Method Framework for Evaluating the Social Impact of Community Cooperation Projects in Developing Countries.
CoRR
Giorgia Sampò, Saverio Giallorenzo, Zelda Alice Franceschi
2026 J jnl
Failure-Resilient and Carbon-Efficient Deployment of Microservices over the Cloud-Edge Continuum.
CoRR
Francisco Ponce, Simone Gazza, Andrea D'Iapico, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Davide Usai, Monica Vitali, Gianluigi Zavattaro, Jacopo Soldani
2026 — conf
Towards Implementing Distributed Custom Serverless Function Scheduling in FunLess.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2026 J jnl
Type-Based Enforcement of Non-Interference for Choreographic Programming.
CoRR
Marco Bertoni, Saverio Giallorenzo, Marco Peressotti
2026 J jnl
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies.
Sci. Comput. Program.
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025 — conf
Adaptable TeaStore.
WACA@DisCoTec
Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro, Brice Arleon Zemtsop Ndadji
2025 — conf
Adaptable TeaStore: A Choreographic Approach.
WACA@DisCoTec
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro
2025 A conf
Affinity-aware Serverless Function Scheduling.
ICSA
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025 Misc conf
Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs.
SAC
Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli
2025 J jnl
Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs.
CoRR
Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli
2025 Misc conf
Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation.
SAC
Saverio Giallorenzo, Francesco Goretti
2025 B conf
Contrasting Crypto and Exfiltration Ransomware with Shamir's Secret Sharing Data Flooding.
TrustCom
Daniele D'Ugo, Saverio Giallorenzo, Simone Melloni
2025 J jnl
Distributed serverless function scheduling in ad-hoc drone networks.
Ad Hoc Networks
Giuseppe De Palma, Saverio Giallorenzo, Alexandre Heideker, Matteo Trentin, Angelo Trotta, Gianluigi Zavattaro
2025 J jnl
Investigating operational technology attacks as code.
Empir. Softw. Eng.
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Marco Prandini, Alessandro Vannini
2025 J jnl
JoT: A Jolie framework for testing microservices.
Sci. Comput. Program.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2025 J jnl
Priority Matters: Optimising Kubernetes Clusters Usage with Constraint-Based Pod Packing.
CoRR
Henrik Daniel Christensen, Saverio Giallorenzo, Jacopo Mauro
2025 J jnl
Proactive-reactive microservice architecture global scaling.
J. Syst. Softw.
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro
2025 — ed.
Proceedings First Workshop on Adaptable Cloud Architectures, WACA@DisCoTec 2025, Lille, France, 20th June 2025.
WACA@DisCoTec
Giuseppe De Palma, Saverio Giallorenzo
2025 B conf
Reachability Analysis of Function-as-a-Service Scheduling Policies.
iFM
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2025 B conf
Reliable and Robust Watermarking for Data Flooding against Ransomware Random Techniques.
TrustCom
Saverio Giallorenzo, Simone Melloni, Pietro Sami
2025 — conf
SAFARI: A Scalable Air-Gapped Framework for Automated Ransomware Investigation.
SEC (1)
Tommaso Compagnucci, Franco Callegati, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Alessandro Vannini
2025 J jnl
SAFARI: a Scalable Air-gapped Framework for Automated Ransomware Investigation.
CoRR
Tommaso Compagnucci, Franco Callegati, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Alessandro Vannini
2025 — conf
Towards a Framework for Transitioning from Monolith to Serverless.
The Combined Power of Research, Education, and Dissemination
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gejsi Vjerdha
2024 — conf
A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices.
ICSOC (2)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty
2024 J jnl
A model for correlation-based choreographic programming.
PeerJ Comput. Sci.
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2024 J jnl
Affinity-aware Serverless Function Scheduling.
CoRR
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 C conf
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies.
COORDINATION
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 J jnl
Choral: Object-oriented Choreographic Programming.
ACM Trans. Program. Lang. Syst.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2024 — conf
Choreography-Defined Networks: A Case Study on DoS Mitigation.
ICSOC (2)
Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
2024 — conf
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures.
CAiSE Research Projects Exhibition
Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024 A conf
FunLess: Functions-as-a-Service for Private Edge Cloud Systems.
ICWS
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 J jnl
FunLess: Functions-as-a-Service for Private Edge Cloud Systems.
CoRR
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 — conf
Function-as-a-Service Allocation Policies Made Formal.
ISoLA (1)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 — ch.
Integrated Timed Architectural Modeling/Execution Language.
Active Object Languages: Current Research Trends
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2024 J jnl
Leveraging static analysis for cost-aware serverless scheduling policies.
Int. J. Softw. Tools Technol. Transf.
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 J jnl
On the Complexity of Reachability Properties in Serverless Function Scheduling.
CoRR
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 C conf
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications.
LOPSTR
Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
2024 J jnl
Ranflood: A mitigation tool based on the principles of data flooding against ransomware.
SoftwareX
Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Marco Prandini
2024 — conf
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA.
FRAME@HPDC
Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro
2024 J jnl
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications.
CoRR
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2024 J jnl
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems.
IEEE Internet Comput.
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023 J jnl
Data Flooding against Ransomware: Concepts and Implementations.
Comput. Secur.
Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Loris Onori, Marco Prandini
2023 J jnl
Formally Verifying Function Scheduling Properties in Serverless Applications.
IT Prof.
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2023 C conf
JoT: A Jolie Framework for Testing Microservices.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2023 J jnl
LEMMA2Jolie: A tool to generate microservice APIs from domain models.
Sci. Comput. Program.
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2023 — book
Programming Languages: Principles and Paradigms, Second Edition
Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo
2023 — conf
Serverless Scheduling Policies based on Cost Analysis.
TiCSA@ETAPS
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022 A conf
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling.
ICWS
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022 — conf
Custom Serverless Function Scheduling Policies: An APP Tutorial.
Microservices
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2022 J jnl
Ephemeral data handling in microservices with Tquery.
PeerJ Comput. Sci.
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2022 J jnl
Microservice security: a systematic literature review.
PeerJ Comput. Sci.
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
2022 — conf
Model-Driven Code Generation for Microservices: Service Models.
Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 C conf
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 J jnl
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022 A conf
Proactive-Reactive Global Scaling, with Analytics.
ICSOC
Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
2022 J jnl
Topology-aware Serverless Function-Execution Scheduling.
CoRR
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
2021 J jnl
A Mixed-method Study on Security and Privacy Practices in Danish Companies.
CoRR
Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja
2021 J jnl
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021 C conf
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.
COORDINATION
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021 J jnl
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version).
CoRR
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021 C conf
Microservice Dynamic Architecture-Level Deployment Orchestration.
COORDINATION
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2021 A conf
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
ECOOP
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
2021 J jnl
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal.
SN Comput. Sci.
Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky
2020 — ch.
A Formal Approach to Microservice Architecture Deployment.
Microservices, Science and Engineering
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020 A conf
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation.
ICSOC
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
2020 J jnl
Choreographies as Objects.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2020 — ed.
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019
Microservices
Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2020 J jnl
Microservice Interface Based Deployment Orchestration.
CoRR
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2020 — conf
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Gabbrielli's Festschrift
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
2019 — conf
Constraint Programming for Flexible Service Function Chaining Deployment.
HICSS
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
2019 J jnl
Ephemeral Data Handling in Microservices - Technical Report.
CoRR
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019 — conf
Ephemeral Data Handling in Microservices.
SCC
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019 — conf
Federated Platooning: Insider Threats and Mitigations.
HICSS
Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini
2019 — conf
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.
The Art of Modelling Computational Systems
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2019 C conf
No More, No Less - A Formal Model for Serverless Computing.
COORDINATION
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 J jnl
No more, no less - A formal model for serverless computing.
CoRR
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 B conf
Optimal and Automated Deployment for Microservices.
FASE
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019 J jnl
Optimal and Automated Deployment for Microservices.
CoRR
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2018 — conf
A Language-based Approach for Interoperability of IoT Platforms.
HICSS
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
2018 C conf
Applied Choreographies.
FORTE
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2018 — conf
ChIP: A Choreographic Integration Process.
OTM Conferences (2)
Saverio Giallorenzo, Ivan Lanese, Daniel Russo
2018 J jnl
Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective.
Comput. Secur.
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2018 J jnl
Constraint programming for flexible Service Function Chaining deployment.
CoRR
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
2018 — conf
Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience.
XP Companion
Davide Taibi, Vladimir Mandic, Ronald Jabangwe, Saverio Giallorenzo
2017 J jnl
Dynamic Choreographies: Theory And Implementation.
Log. Methods Comput. Sci.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2017 — conf
Insider Threats in Emerging Mobility-as-a-Service Scenarios.
HICSS
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2017 — ch.
Microservices: Yesterday, Today, and Tomorrow.
Present and Ulterior Software Engineering
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2017 — conf
Smart mobility for all: A global federated market for mobility-as-a-service operators.
ITSC
Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2016 — conf
Data security issues in MaaS-enabling platforms.
RTSI
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2016 J jnl
Insider Threats in Emerging Mobility-as-a-Service Scenarios.
CoRR
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
2016 J jnl
Microservices: yesterday, today, and tomorrow.
CoRR
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2016 — —
Real-World Choreographies. (Chorégraphies dans le Monde Réel).
Saverio Giallorenzo
2016 — conf
Self-Reconfiguring Microservices.
Theory and Practice of Formal Methods
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2015 J jnl
Applied Choreographies.
CoRR
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2015 J jnl
Developing correct, distributed, adaptive software.
Sci. Comput. Program.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015 C conf
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
COORDINATION
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2014 B conf
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
SLE
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014 J jnl
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
CoRR
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014 J jnl
Deadlock Freedom by Construction for Distributed Adaptive Applications.
CoRR
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2014 Misc conf
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.
DCAI
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2014 C conf
Towards a Composition-based APIaaS Layer.
CLOSER
Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli