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
8092017
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
462014
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods, 194-210, 2016
442016
Dynamic Choreographies: Theory And Implementation
J Mauro, I Lanese, S Giallorenzo, M Gabbrielli, MD Preda
Logical Methods in Computer Science 13, 2017
34*2017
Dynamic choreographies
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
International Conference on Coordination Languages and Models, 67-82, 2015
342015
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
272018
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
242016
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
172016
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
International Conference on Formal Techniques for Distributed Objects …, 2018
15*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
142017
No more, no less
M Gabbrielli, S Giallorenzo, I Lanese, F Montesi, M Peressotti, SP Zingaro
International Conference on Coordination Languages and Models, 148-157, 2019
132019
Optimal and automated deployment for microservices
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
International Conference on Fundamental Approaches to Software Engineering …, 2019
132019
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
Real-world choreographies
S Giallorenzo
Università degli studi di Bologna, 2016
92016
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
72018
Deadlock freedom by construction for distributed adaptive applications
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
CoRR, abs/1407.0970, 2014
72014
A formal approach to microservice architecture deployment
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Microservices, 183-208, 2020
52020
Constraint programming for flexible Service Function Chaining deployment
T Liu, F Callegati, W Cerroni, C Contoli, M Gabbrielli, S Giallorenzo
arXiv preprint arXiv:1812.05534, 2018
52018
ChIP: A Choreographic Integration Process
S Giallorenzo, I Lanese, D Russo
OTM Confederated International Conferences" On the Move to Meaningful …, 2018
52018
Choreographies as Objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20