default search action
Saverio Giallorenzo
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j13]Lorenzo Bacchiani
, Mario Bravetti, Saverio Giallorenzo
Proactive-reactive microservice architecture global scaling. J. Syst. Softw. 220: 112262 (2025) - [j12]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie framework for testing microservices. Sci. Comput. Program. 240: 103215 (2025) - 2024
- [j11]Davide Berardi, Saverio Giallorenzo
Ranflood: A mitigation tool based on the principles of data flooding against ransomware. SoftwareX 25: 101605 (2024) - [j10]Saverio Giallorenzo
Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. 46(1): 1:1-1:59 (2024) - [c36]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: 69-75 - [c35]Giuseppe De Palma
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION 2024: 201-218 - [c34]Jacopo Soldani
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC 2024 - [c33]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. ICWS 2024: 961-967 - [c32]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Function-as-a-Service Allocation Policies Made Formal. ISoLA (1) 2024: 306-321 - [c31]Roberto Amadini
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR 2024: 117-127 - [p3]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro
Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends 2024: 169-198 - [i20]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR abs/2405.21009 (2024) - [i19]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR abs/2406.09099 (2024) - [i18]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR abs/2407.14159 (2024) - [i17]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Affinity-aware Serverless Function Scheduling. CoRR abs/2407.14572 (2024) - 2023
- [b2]Maurizio Gabbrielli, Simone Martini
Programming Languages: Principles and Paradigms, Second Edition. Undergraduate Topics in Computer Science, Springer 2023, ISBN 978-3-031-34143-4, pp. 1-549 - [j9]Davide Berardi
Data Flooding against Ransomware: Concepts and Implementations. Comput. Secur. 131: 103295 (2023) - [j8]Giuseppe De Palma
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25(6): 94-99 (2023) - [j7]Saverio Giallorenzo, Fabrizio Montesi
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228: 102956 (2023) - [c30]Saverio Giallorenzo
JoT: A Jolie Framework for Testing Microservices. COORDINATION 2023: 172-191 - [c29]Giuseppe De Palma
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS 2023: 40-52 - 2022
- [j6]Saverio Giallorenzo, Fabrizio Montesi
Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. 8: e1037 (2022) - [j5]Davide Berardi, Saverio Giallorenzo, Jacopo Mauro
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8: e779 (2022) - [c28]Saverio Giallorenzo
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION 2022: 223-240 - [c27]Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022: 237-254 - [c26]Giuseppe De Palma
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS 2022: 337-342 - [c25]Giuseppe De Palma
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices 2022: 5:1-5:16 - [c24]Saverio Giallorenzo, Fabrizio Montesi
Model-Driven Code Generation for Microservices: Service Models. Microservices 2022: 6:1-6:17 - [i16]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR abs/2202.11397 (2022) - [i15]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Topology-aware Serverless Function-Execution Scheduling. CoRR abs/2205.10176 (2022) - 2021
- [j4]Saverio Giallorenzo, Jacopo Mauro
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Comput. Sci. 2(5): 404 (2021) - [c23]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021: 257-275 - [c22]Saverio Giallorenzo
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION 2021: 276-284 - [c21]Saverio Giallorenzo, Fabrizio Montesi
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP 2021: 22:1-22:27 - [i14]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh:
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR abs/2104.02458 (2021) - [i13]Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja:
A Mixed-method Study on Security and Privacy Practices in Danish Companies. CoRR abs/2104.04030 (2021) - [i12]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR abs/2104.12466 (2021) - 2020
- [c20]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: 5:1-5:21 - [c19]Giuseppe De Palma
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC 2020: 416-430 - [p2]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro
A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering 2020: 183-208 - [e1]Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense, Denmark / February 19-21, 2019, Dortmund, Germany. OASIcs 78, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-137-5 [contents] - [i11]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti:
Choreographies as Objects. CoRR abs/2005.09520 (2020) - [i10]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Interface Based Deployment Orchestration. CoRR abs/2008.01638 (2020)
2010 – 2019
- 2019
- [c18]Saverio Giallorenzo
Ephemeral Data Handling in Microservices. SCC 2019: 234-236 - [c17]Maurizio Gabbrielli
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems 2019: 118-138 - [c16]Maurizio Gabbrielli
No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019: 148-157 - [c15]Mario Bravetti, Saverio Giallorenzo
Optimal and Automated Deployment for Microservices. FASE 2019: 351-368 - [c14]Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini:
Federated Platooning: Insider Threats and Mitigations. HICSS 2019: 1-10 - [c13]Tong Liu
Constraint Programming for Flexible Service Function Chaining Deployment. HICSS 2019: 1-10 - [i9]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. CoRR abs/1901.09782 (2019) - [i8]Maurizio Gabbrielli, Saverio Giallorenzo
No more, no less - A formal model for serverless computing. CoRR abs/1903.07962 (2019) - [i7]Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral Data Handling in Microservices - Technical Report. CoRR abs/1904.11327 (2019) - 2018
- [j3]Franco Callegati
Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. Comput. Secur. 74: 277-295 (2018) - [c12]Saverio Giallorenzo
Applied Choreographies. FORTE 2018: 21-40 - [c11]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro:
A Language-based Approach for Interoperability of IoT Platforms. HICSS 2018: 1-10 - [c10]Saverio Giallorenzo
ChIP: A Choreographic Integration Process. OTM Conferences (2) 2018: 22-40 - [c9]Davide Taibi, Vladimir Mandic, Ronald Jabangwe, Saverio Giallorenzo:
Session details: MADE'18: Second international workshop on microservices: Agile and DevOps experience. XP Companion 2018 - [i6]Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo:
Constraint programming for flexible Service Function Chaining deployment. CoRR abs/1812.05534 (2018) - 2017
- [j2]Mila Dalla Preda, Maurizio Gabbrielli
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13(2) (2017) - [c8]Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini:
Insider Threats in Emerging Mobility-as-a-Service Scenarios. HICSS 2017: 1-10 - [c7]Franco Callegati
Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC 2017: 1-8 - [p1]Nicola Dragoni
Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering 2017: 195-216 - 2016
- [b1]Saverio Giallorenzo:
Real-World Choreographies. (Chorégraphies dans le Monde Réel). University of Bologna, Italy, 2016 - [c6]Maurizio Gabbrielli
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods 2016: 194-210 - [c5]Franco Callegati
Data security issues in MaaS-enabling platforms. RTSI 2016: 1-5 - [i5]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: yesterday, today, and tomorrow. CoRR abs/1606.04036 (2016) - [i4]Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini:
Insider Threats in Emerging Mobility-as-a-Service Scenarios. CoRR abs/1609.06447 (2016) - 2015
- [j1]Mila Dalla Preda, Maurizio Gabbrielli
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46 (2015) - [c4]Mila Dalla Preda, Maurizio Gabbrielli
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82 - [i3]Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi:
Applied Choreographies. CoRR abs/1510.03637 (2015) - 2014
- [c3]Claudio Guidi, Saverio Giallorenzo
Towards a Composition-based APIaaS Layer. CLOSER 2014: 425-432 - [c2]Maurizio Gabbrielli
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI 2014: 131-139 - [c1]Mila Dalla Preda, Saverio Giallorenzo
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170 - [i2]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR abs/1407.0970 (2014) - [i1]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR abs/1407.0975 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: