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
2020 – today
- 2025
- [j13]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Maurizio Gabbrielli, Gianluigi Zavattaro, Stefano Pio Zingaro:
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, Andrea Melis, Simone Melloni, Marco Prandini:
Ranflood: A mitigation tool based on the principles of data flooding against ransomware. SoftwareX 25: 101605 (2024) - [j10]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti:
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, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION 2024: 201-218 - [c34]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 - [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, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro:
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR 2024: 117-127 - [p3]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
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, Saverio Giallorenzo:
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, Saverio Giallorenzo, Andrea Melis, Simone Melloni, Loris Onori, Marco Prandini:
Data Flooding against Ransomware: Concepts and Implementations. Comput. Secur. 131: 103295 (2023) - [j8]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25(6): 94-99 (2023) - [j7]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228: 102956 (2023) - [c30]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie Framework for Testing Microservices. COORDINATION 2023: 172-191 - [c29]Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS 2023: 40-52 - 2022
- [j6]Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro:
Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. 8: e1037 (2022) - [j5]Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini:
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8: e779 (2022) - [c28]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
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, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS 2022: 337-342 - [c25]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices 2022: 5:1-5:16 - [c24]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher:
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, Martin Gyde Poulsen, Filip Siroky:
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, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021: 257-275 - [c22]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh:
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION 2021: 276-284 - [c21]Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger:
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, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC 2020: 416-430 - [p2]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
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, Sabine Sachweh:
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, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro:
Ephemeral Data Handling in Microservices. SCC 2019: 234-236 - [c17]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: 118-138 - [c16]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: 148-157 - [c15]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
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, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo:
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, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
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, Saverio Giallorenzo, Andrea Melis, Marco Prandini:
Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective. Comput. Secur. 74: 277-295 (2018) - [c12]Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli:
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, Ivan Lanese, Daniel Russo:
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, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
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, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini:
Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC 2017: 1-8 - [p1]Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
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, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi:
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods 2016: 194-210 - [c5]Franco Callegati, Saverio Giallorenzo, Andrea Melis, Marco Prandini:
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, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46 (2015) - [c4]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
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, Maurizio Gabbrielli:
Towards a Composition-based APIaaS Layer. CLOSER 2014: 425-432 - [c2]Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi:
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI 2014: 131-139 - [c1]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
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 22:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint