Saverio Giallorenzo

According to our database, Saverio Giallorenzo authored at least 65 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

JoT: A Jolie framework for testing microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana

Sci. Comput. Program., 2025

Proactive-reactive microservice architecture global scaling.

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro

J. Syst. Softw., 2025

2024

Choral: Object-oriented Choreographic Programming.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

ACM Trans. Program. Lang. Syst., March, 2024

Ranflood: A mitigation tool based on the principles of data flooding against ransomware.

Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Marco Prandini

SoftwareX, February, 2024

Affinity-aware Serverless Function Scheduling.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

CoRR, 2024

On the Complexity of Reachability Properties in Serverless Function Scheduling.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

CoRR, 2024

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

CoRR, 2024

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications.

Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

Function-as-a-Service Allocation Policies Made Formal.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

FunLess: Functions-as-a-Service for Private Edge Cloud Systems.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the IEEE International Conference on Web Services, 2024

Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA.

Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro

Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, 2024

An OpenWhisk Extension for Topology-Aware Allocation Priority Policies.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 2024

FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures.

Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro

Proceedings of the Research Projects Exhibition Papers Presented at the 36th International Conference on Advanced Information Systems Engineering(CAiSE 2024), 2024

Integrated Timed Architectural Modeling/Execution Language.

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

LEMMA2Jolie: A tool to generate microservice APIs from domain models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Sci. Comput. Program., June, 2023

Programming Languages: Principles and Paradigms, Second Edition

Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-031-34143-4, 2023

Formally Verifying Function Scheduling Properties in Serverless Applications.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

IT Prof., 2023

Serverless Scheduling Policies based on Cost Analysis.

Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Data Flooding against Ransomware: Concepts and Implementations.

Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Loris Onori, Marco Prandini

Comput. Secur., 2023

2022

Ephemeral data handling in microservices with Tquery.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

PeerJ Comput. Sci., 2022

Microservice security: a systematic literature review.

Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini

PeerJ Comput. Sci., 2022

Topology-aware Serverless Function-Execution Scheduling.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

CoRR, 2022

Custom Serverless Function Scheduling Policies: An APP Tutorial.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

Model-Driven Code Generation for Microservices: Service Models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro

Proceedings of the IEEE International Conference on Web Services, 2022

Proactive-Reactive Global Scaling, with Analytics.

Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro

Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Coordination Models and Languages, 2022

2021

Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal.

Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky

SN Comput. Sci., 2021

Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version).

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

CoRR, 2021

A Mixed-method Study on Security and Privacy Practices in Danish Companies.

Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja

CoRR, 2021

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

CoRR, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

Proceedings of the Coordination Models and Languages, 2021

Microservice Dynamic Architecture-Level Deployment Orchestration.

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 2021

2020

Microservice Interface Based Deployment Orchestration.

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

CoRR, 2020

Choreographies as Objects.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

CoRR, 2020

Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

A Formal Approach to Microservice Architecture Deployment.

Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

Proceedings of the Microservices, Science and Engineering., 2020

2019

Ephemeral Data Handling in Microservices - Technical Report.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

CoRR, 2019

Constraint Programming for Flexible Service Function Chaining Deployment.

Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Federated Platooning: Insider Threats and Mitigations.

Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Optimal and Automated Deployment for Microservices.

Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

Proceedings of the Fundamental Approaches to Software Engineering, 2019

No More, No Less - A Formal Model for Serverless Computing.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro

Proceedings of the Coordination Models and Languages, 2019

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Ephemeral Data Handling in Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective.

Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini

Comput. Secur., 2018

Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience.

Davide Taibi, Vladimir Mandic, Ronald Jabangwe, Saverio Giallorenzo

Proceedings of the 19th International Conference on Agile Software Development, 2018

ChIP: A Choreographic Integration Process.

Saverio Giallorenzo, Ivan Lanese, Daniel Russo

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

A Language-based Approach for Interoperability of IoT Platforms.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Applied Choreographies.

Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Dynamic Choreographies: Theory And Implementation.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

Log. Methods Comput. Sci., 2017

Smart mobility for all: A global federated market for mobility-as-a-service operators.

Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Insider Threats in Emerging Mobility-as-a-Service Scenarios.

Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Microservices: Yesterday, Today, and Tomorrow.

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Real-World Choreographies. (Chorégraphies dans le Monde Réel).

Saverio Giallorenzo

PhD thesis, 2016

Microservices: yesterday, today, and tomorrow.

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

CoRR, 2016

Data security issues in MaaS-enabling platforms.

Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini

Proceedings of the 2nd IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2016

Self-Reconfiguring Microservices.

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Developing correct, distributed, adaptive software.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

Sci. Comput. Program., 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

Proceedings of the Coordination Models and Languages, 2015

2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.

Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi

Proceedings of the Distributed Computing and Artificial Intelligence, 2014

Towards a Composition-based APIaaS Layer.

Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli

Proceedings of the CLOSER 2014, 2014