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
12342017
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
502016
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli
Software Language Engineering: 7th International Conference, SLE 2014 …, 2014
492014
Dynamic Choreographies: Theory And Implementation
J Mauro, I Lanese, S Giallorenzo, M Gabbrielli, MD Preda
Logical Methods in Computer Science 13, 2017
45*2017
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
432018
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
422015
Present and ulterior software engineering
N Dragoni, S Giallorenzo, AL Lafuente, M Mazzara, F Montesi, R Mustafin, ...
MM und 38, 195-216, 2017
302017
Optimal and automated deployment for microservices
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Fundamental Approaches to Software Engineering: 22nd International …, 2019
232019
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
232016
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
212019
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
192016
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
18*2018
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
182017
A formal approach to microservice architecture deployment
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Microservices: Science and Engineering, 183-208, 2020
132020
A Language-based Approach for Interoperability of IoT Platforms
M Gabbrielli, S Giallorenzo, I Lanese, SP Zingaro
Proceedings of the 51th Hawaii International Conference on System Sciences, 2018
132018
Developing correct, distributed, adaptive software
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Science of Computer Programming 97, 41-46, 2015
132015
Choreographies as objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
122020
ChIP: A Choreographic Integration Process
S Giallorenzo, I Lanese, D Russo
On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018
122018
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
112020
Real-world choreographies
S Giallorenzo
Universitą degli studi di Bologna, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20