Victor Rivera
Victor Rivera
No verified email
Cited by
Cited by
Code generation for Event-B
V Rivera, N Catano, T Wahls, C Rueda
International Journal on Software Tools for Technology Transfer 19, 31-52, 2017
Data-driven workflows for microservices: Genericity in jolie
L Safina, M Mazzara, F Montesi, V Rivera
2016 IEEE 30th International Conference on Advanced Information Networking …, 2016
EventB2Java: A code generator for Event-B
N Catano, V Rivera
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
Emotional adaptive driving policies for automated driving vehicles
J Healey, VP Rivera, I Alvarez
US Patent 11,086,317, 2021
Translating Event-B to JML-specified Java programs
V Rivera, N Cataño
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1264-1271, 2014
A Bucchiarone, N Dragoni, S Dustdar, P Lago, M Mazzara, V Rivera, ...
Science and Engineering. Springer, 2020
On M2M micropayments: a case study of electric autonomous vehicles
D Strugar, R Hussain, M Mazzara, V Rivera, JY Lee, R Mustafin
2018 IEEE International Conference on Internet of Things (iThings) and IEEE …, 2018
Translating B machines to JML specifications
N Cataño, T Wahls, C Rueda, V Rivera, D Yu
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1271-1277, 2012
An architecture for distributed ledger-based M2M auditing for electric autonomous vehicles
D Strugar, R Hussain, M Mazzara, V Rivera, I Afanasyev, JY Lee
Web, Artificial Intelligence and Network Applications: Proceedings of the …, 2019
Rogue vehicle detection and avoidance
I Alvarez, VP Rivera, D Lake, DA Ilitzky, RDLG Gonzalez, P Mead
US Patent 10,902,726, 2021
The eventb2dafny rodin plug-in
N Catano, KRM Leino, V Rivera
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 49-54, 2012
Simulated vehicle operation modeling with real vehicle profiles
I Alvarez, VP Rivera
US Patent 11,048,832, 2021
Unifying requirements and code: an example
A Naumchev, B Meyer, V Rivera
Perspectives of System Informatics: 10th International Andrei Ershov …, 2016
Towards dynamic interaction-based reputation models
A Melnikov, JY Lee, V Rivera, M Mazzara, L Longo
2018 IEEE 32nd international conference on Advanced Information Networking …, 2018
Size matters: Microservices research and applications
M Mazzara, A Bucchiarone, N Dragoni, V Rivera
Microservices: Science and Engineering, 29-42, 2020
Jolie community on the rise
A Bandura, N Kurilenko, M Mazzara, V Rivera, L Safina, A Tchitchigin
2016 IEEE 9th International Conference on Service-Oriented Computing and …, 2016
Undertaking the Tokeneer challenge in Event-B
V Rivera, S Bhattacharya, N Cataño
Proceedings of the 4th FME Workshop on Formal Methods in Software …, 2016
Teaching programming and design-by-contract
D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
The Challenges of the Digital Transformation in Education: Proceedings of …, 2020
Model checking in multiplayer games development
R Rezin, I Afanasyev, M Mazzara, V Rivera
2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018
Link Prediction Using Top-k Shortest Distances
A Lebedev, JY Lee, V Rivera, M Mazzara
Data Analytics: 31st British International Conference on Databases, BICOD …, 2017
The system can't perform the operation now. Try again later.
Articles 1–20