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
13332017
Dynamic choreographies: Theory and implementation
MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
arXiv preprint arXiv:1611.09067, 2016
532016
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
512016
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
502014
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
452018
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
452015
Present and ulterior software engineering
N Dragoni, S Giallorenzo, AL Lafuente, M Mazzara, F Montesi, R Mustafin, ...
MM und 38, 195-216, 2017
312017
Optimal and automated deployment for microservices
M Bravetti, S Giallorenzo, J Mauro, I Talevi, G Zavattaro
Fundamental Approaches to Software Engineering: 22nd International …, 2019
242019
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
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
21*2018
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
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
Choreographies as objects
S Giallorenzo, F Montesi, M Peressotti
arXiv preprint arXiv:2005.09520, 2020
172020
ChIP: A Choreographic Integration Process
S Giallorenzo, I Lanese, D Russo
On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018
152018
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
152018
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
142021
Developing correct, distributed, adaptive software
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Science of Computer Programming 97, 41-46, 2015
142015
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
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
122020
The system can't perform the operation now. Try again later.
Articles 1–20