Towards a Composition-based APIaaS Layer. - Claudio Guidi; Saverio Giallorenzo; Maurizio Gabbrielli (CLOSER, 2014)

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. - Maurizio Gabbrielli; Saverio Giallorenzo; Fabrizio Montesi (DCAI, 2014)

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. - Mila Dalla Preda; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro; Maurizio Gabbrielli (SLE, 2014)

Deadlock Freedom by Construction for Distributed Adaptive Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (CoRR, 2014)

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (COORDINATION, 2015)

Developing correct, distributed, adaptive software. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Sci. Comput. Program., 2015)

Self-Reconfiguring Microservices. - Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (Theory and Practice of Formal Methods, 2016)

Data security issues in MaaS-enabling platforms. - Franco Callegati; Saverio Giallorenzo; Andrea Melis 001; Marco Prandini (RTSI, 2016)

Microservices: yesterday, today, and tomorrow. - Nicola Dragoni; Saverio Giallorenzo; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi; Ruslan Mustafin; Larisa Safina (CoRR, 2016)

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

Microservices: Yesterday, Today, and Tomorrow. - Nicola Dragoni; Saverio Giallorenzo; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi; Ruslan Mustafin; Larisa Safina (Present and Ulterior Software Engineering, 2017)

Insider Threats in Emerging Mobility-as-a-Service Scenarios. - Franco Callegati; Saverio Giallorenzo; Andrea Melis 001; Marco Prandini (HICSS, 2017)

Smart mobility for all: A global federated market for mobility-as-a-service operators. - Franco Callegati; Maurizio Gabbrielli; Saverio Giallorenzo; Andrea Melis 001; Marco Prandini (ITSC, 2017)

Dynamic Choreographies: Theory And Implementation. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Log. Methods Comput. Sci., 2017)

Applied Choreographies. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (FORTE, 2018)

A Language-based Approach for Interoperability of IoT Platforms. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Stefano Pio Zingaro (HICSS, 2018)

ChIP: A Choreographic Integration Process. - Saverio Giallorenzo; Ivan Lanese; Daniel Russo 002 (OTM Conferences (2), 2018)

Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience. - Davide Taibi 001; Vladimir Mandic; Ronald Jabangwe; Saverio Giallorenzo (XP Companion, 2018)

Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. - Franco Callegati; Saverio Giallorenzo; Andrea Melis 001; Marco Prandini (Comput. Secur., 2018)

Ephemeral Data Handling in Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (SCC, 2019)

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (The Art of Modelling Computational Systems, 2019)

No More, No Less - A Formal Model for Serverless Computing. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Marco Peressotti; Stefano Pio Zingaro (COORDINATION, 2019)

Optimal and Automated Deployment for Microservices. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (FASE, 2019)

Federated Platooning: Insider Threats and Mitigations. - Franco Callegati; Saverio Giallorenzo; Maurizio Gabbrielli; Andrea Melis 001; Marco Prandini (HICSS, 2019)

Constraint Programming for Flexible Service Function Chaining Deployment. - Tong Liu 004; Franco Callegati; Walter Cerroni; Chiara Contoli; Maurizio Gabbrielli; Saverio Giallorenzo (HICSS, 2019)

Ephemeral Data Handling in Microservices - Technical Report. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (CoRR, 2019)

A Formal Approach to Microservice Architecture Deployment. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (Microservices, Science and Engineering, 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 (Gabbrielli's Festschrift, 2020)

Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2020)

Choreographies as Objects. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti (CoRR, 2020)

Microservice Interface Based Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2020)

Microservice Dynamic Architecture-Level Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (COORDINATION, 2021)

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh (COORDINATION, 2021)

Multiparty Languages: The Choreographic and Multitier Cases (Pearl). - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter 001; Guido Salvaneschi; Pascal Weisenburger (ECOOP, 2021)

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh (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)

Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2021)

Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. - Saverio Giallorenzo; Jacopo Mauro; Martin Gyde Poulsen; Filip Siroky (SN Comput. Sci., 2021)

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (COORDINATION, 2022)

Proactive-Reactive Global Scaling, with Analytics. - Lorenzo Bacchiani; Mario Bravetti; Maurizio Gabbrielli; Saverio Giallorenzo; Gianluigi Zavattaro; Stefano Pio Zingaro (ICSOC, 2022)

A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2022)

Model-Driven Code Generation for Microservices: Service Models. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (Microservices, 2022)

Custom Serverless Function Scheduling Policies: An APP Tutorial. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Microservices, 2022)

Topology-aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2022)

Microservice security: a systematic literature review. - Davide Berardi; Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Prandini (PeerJ Comput. Sci., 2022)

Ephemeral data handling in microservices with Tquery. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (PeerJ Comput. Sci., 2022)

Data Flooding against Ransomware: Concepts and Implementations. - Davide Berardi; Saverio Giallorenzo; Andrea Melis 001; Simone Melloni; Loris Onori; Marco Prandini (Comput. Secur., 2023)

Serverless Scheduling Policies based on Cost Analysis. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (TiCSA@ETAPS, 2023)

Formally Verifying Function Scheduling Properties in Serverless Applications. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IT Prof., 2023)

Programming Languages: Principles and Paradigms, Second Edition - Maurizio Gabbrielli; Simone Martini 001; Saverio Giallorenzo (Springer, 2023)

LEMMA2Jolie: A tool to generate microservice APIs from domain models. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (Sci. Comput. Program., 2023)

Integrated Timed Architectural Modeling/Execution Language. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (Active Object Languages: Current Research Trends, 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 002; Simone Gazza; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (CAiSE Research Projects Exhibition, 2024)

An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (COORDINATION, 2024)

Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. - Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Monica Vitali; Gianluigi Zavattaro (FRAME@HPDC, 2024)

Choreography-Defined Networks: A Case Study on DoS Mitigation. - Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Peressotti; Marco Prandini (ICSOC (2), 2024)

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty (ICSOC (2), 2024)

FunLess: Functions-as-a-Service for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2024)

Function-as-a-Service Allocation Policies Made Formal. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ISoLA (1), 2024)

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. - Roberto Amadini; Simone Gazza; Jacopo Soldani; Monica Vitali; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (LOPSTR, 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)

On the Complexity of Reachability Properties in Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2024)

Adaptable TeaStore. - Simon Bliudze; Giuseppe De Palma; Saverio Giallorenzo; Ivan Lanese; Gianluigi Zavattaro; Brice Arleon Zemtsop Ndadji (CoRR, 2024)

WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IEEE Internet Comput., 2024)

A model for correlation-based choreographic programming. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (PeerJ Comput. Sci., 2024)

Ranflood: A mitigation tool based on the principles of data flooding against ransomware. - Davide Berardi; Saverio Giallorenzo; Andrea Melis 001; Simone Melloni; Marco Prandini (SoftwareX, 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

Choral: Object-oriented Choreographic Programming. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti (ACM Trans. Program. Lang. Syst., 2024)

Dataset of the paper "Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs". - Bianca Raimondi; Saverio Giallorenzo; Maurizio Gabbrielli (Zenodo, 2024)

Leveraging static analysis for cost-aware serverless scheduling policies. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Int. J. Softw. Tools Technol. Transf., 2024)

Towards a Framework for Transitioning from Monolith to Serverless. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gejsi Vjerdha (The Combined Power of Research, Education, and Dissemination, 2025)

Affinity-aware Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICSA, 2025)

Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation. - Saverio Giallorenzo; Francesco Goretti (SAC, 2025)

Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. - Bianca Raimondi; Saverio Giallorenzo; Maurizio Gabbrielli (SAC, 2025)

SAFARI: A Scalable Air-Gapped Framework for Automated Ransomware Investigation. - Tommaso Compagnucci; Franco Callegati; Saverio Giallorenzo; Andrea Melis 001; Simone Melloni; Alessandro Vannini (SEC (1), 2025)

Distributed serverless function scheduling in ad-hoc drone networks. - Giuseppe De Palma; Saverio Giallorenzo; Alexandre Heideker; Matteo Trentin; Angelo Trotta; Gianluigi Zavattaro (Ad Hoc Networks, 2025)

Proactive-reactive microservice architecture global scaling. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Maurizio Gabbrielli; Gianluigi Zavattaro; Stefano Pio Zingaro (J. Syst. Softw., 2025)

JoT: A Jolie framework for testing microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Narongrit Unwerawattana (Sci. Comput. Program., 2025)

tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Sci. Comput. Program., 2026)