Victor Rivera
Victor Rivera
Verified email at anu.edu.au
Title
Cited by
Cited by
Year
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
452016
Code generation for Event-B
V Rivera, N Cataño, T Wahls, C Rueda
International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017
362017
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
312014
EventB2Java: A code generator for Event-B
N Cataño, V Rivera
NASA Formal Methods Symposium, 166-171, 2016
272016
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
262012
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
212012
Unifying requirements and code: an example
A Naumchev, B Meyer, V Rivera
International Andrei Ershov Memorial Conference on Perspectives of System …, 2015
192015
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
152018
An architecture for distributed ledger-based M2M auditing for electric autonomous vehicles
D Strugar, R Hussain, M Mazzara, V Rivera, I Afanasyev, JY Lee
Workshops of the International Conference on Advanced Information Networking …, 2019
14*2019
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
132016
Refinement types in jolie
A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera
arXiv preprint arXiv:1602.06823, 2016
132016
Link prediction using top-k shortest distances
A Lebedev, JY Lee, V Rivera, M Mazzara
British International Conference on Databases, 101-105, 2017
102017
Teaching programming and design-by-contract
D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
92018
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
92016
Microservices science and engineering
M Mazzara, K Khanda, R Mustafin, V Rivera, L Safina, A Sillitti
International Conference in Software Engineering for Defence Applications, 11-20, 2016
92016
Microservices
A Bucchiarone, N Dragoni, S Dustdar, P Lago, M Mazzara, V Rivera, ...
Science and Engineering. Springer, Cham, 2020
72020
The Social-Event Planner, 2012
V Rivera, N Catano
72015
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
6*2018
The B2Jml Tool, 2012
N Catano, V Rivera
6
The EventB2JML tool, 2012
N Catano, V Rivera
5
The system can't perform the operation now. Try again later.
Articles 1–20