Saverio Giallorenzo

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 56

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Affinity-aware Serverless Function Scheduling. CoRR (2024)
Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition (2024)
Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Marco Prandini
Ranflood: A mitigation tool based on the principles of data flooding against ransomware. SoftwareX 25 (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR (2024)
Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR (2024)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
JoT: A Jolie Framework for Testing Microservices. COORDINATION (2023)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25 (6) (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228 (2023)
Davide Berardi, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Loris Onori, Marco Prandini
Data Flooding against Ransomware: Concepts and Implementations. Comput. Secur. 131 (2023)
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS (2023)
Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
Proactive-Reactive Global Scaling, with Analytics. ICSOC (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Topology-aware Serverless Function-Execution Scheduling. CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Code Generation for Microservices: Service Models. Microservices (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION (2022)
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8 (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS (2022)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. 8 (2022)
Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Comput. Sci. 2 (5) (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION (2021)
Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja
A Mixed-method Study on Security and Privacy Practices in Danish Companies. CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Interface Based Deployment Orchestration. CoRR (2020)
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift (2020)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choreographies as Objects. CoRR (2020)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC (2020)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. CoRR (2019)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral Data Handling in Microservices - Technical Report. CoRR (2019)
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
Constraint Programming for Flexible Service Function Chaining Deployment. HICSS (2019)
Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini
Federated Platooning: Insider Threats and Mitigations. HICSS (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No more, no less - A formal model for serverless computing. CoRR (2019)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral Data Handling in Microservices. SCC (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No More, No Less - A Formal Model for Serverless Computing. COORDINATION (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems (2019)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. FASE (2019)
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
Constraint programming for flexible Service Function Chaining deployment. CoRR (2018)
Saverio Giallorenzo, Ivan Lanese, Daniel Russo
ChIP: A Choreographic Integration Process. OTM Conferences (2) (2018)
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Applied Choreographies. FORTE (2018)
Davide Taibi, Vladimir Mandic, Ronald Jabangwe, Saverio Giallorenzo
Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience. XP Companion (2018)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
A Language-based Approach for Interoperability of IoT Platforms. HICSS (2018)
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. Comput. Secur. 74 (2018)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13 (2) (2017)
Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC (2017)
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Insider Threats in Emerging Mobility-as-a-Service Scenarios. HICSS (2017)
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods (2016)
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
Microservices: yesterday, today, and tomorrow. CoRR (2016)
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Insider Threats in Emerging Mobility-as-a-Service Scenarios. CoRR (2016)
Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Data security issues in MaaS-enabling platforms. RTSI (2016)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97 (2015)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Applied Choreographies. CoRR (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION (2015)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE (2014)
Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli
Towards a Composition-based APIaaS Layer. CLOSER (2014)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR (2014)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI (2014)

Saverio Giallorenzo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Saverio Giallorenzo