Follow
Saverio Giallorenzo
Saverio Giallorenzo
Assistant Professor at Department of Computer Science and Engineering, Universitą di Bologna
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Microservices: yesterday, today, and tomorrow
N Dragoni, S Giallorenzo, AL Lafuente, M Mazzara, F Montesi, R Mustafin, ...
Present and ulterior software engineering, 195-216, 2017
17472017
Programming languages: principles and paradigms
M Gabbrielli, S Martini, S Giallorenzo
Springer, 2010
1842010
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
662017
Cloud-of-Things meets Mobility-as-a-Service: An insider threat perspective
F Callegati, S Giallorenzo, A Melis, M Prandini
Computers & Security 74, 277-295, 2018
592018
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
582016
AIOCJ: A choreographic framework for safe adaptive distributed applications
M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli
International Conference on Software Language Engineering, 161-170, 2014
542014
Dynamic choreographies: Safe runtime updates of distributed applications
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015
442015
Present and Ulterior Software Engineering
N Dragoni
Springer, 2017
412017
Insider threats in emerging mobility-as-a-service scenarios
F Callegati, S Giallorenzo, A Melis, M Prandini
Proceedings of the 50th Hawaii International Conference on System Sciences, 2016
362016
Microservice security: a systematic literature review
D Berardi, S Giallorenzo, J Mauro, A Melis, F Montesi, M Prandini
PeerJ Computer Science 8, e779, 2022
332022
Optimal and automated deployment for microservices
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Fundamental Approaches to Software Engineering: 22nd International …, 2019
322019
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
27*2018
Multiparty languages: the choreographic and multitier cases
S Giallorenzo, F Montesi, M Peressotti, D Richter, G Salvaneschi, ...
ECOOP 2021-European Conference on Object-Oriented Programming, 2021
262021
No more, no less: A formal model for serverless computing
M Gabbrielli, S Giallorenzo, I Lanese, F Montesi, M Peressotti, SP Zingaro
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
262019
Allocation priority policies for serverless function-execution scheduling optimisation
G De Palma, S Giallorenzo, J Mauro, G Zavattaro
Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai …, 2020
252020
Data security issues in maas-enabling platforms
F Callegati, S Giallorenzo, A Melis, M Prandini
2016 IEEE 2nd International Forum on Research and Technologies for Society …, 2016
242016
Smart mobility for all: a global federated market for mobility-as-a-service operators
F Callegati, M Gabbrielli, S Giallorenzo, A Melis, M Prandini
2017 IEEE 20th International Conference on Intelligent Transportation …, 2017
222017
Choreographies as objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
202020
A formal approach to microservice architecture deployment
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Microservices: Science and Engineering, 183-208, 2020
202020
Virtualization costs: benchmarking containers and virtual machines against bare-metal
S Giallorenzo, J Mauro, MG Poulsen, F Siroky
SN Computer Science 2 (5), 404, 2021
192021
The system can't perform the operation now. Try again later.
Articles 1–20