| 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 | 45 | 2016 |
| 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 | 36 | 2017 |
| 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 | 31 | 2014 |
| EventB2Java: A code generator for Event-B N Cataño, V Rivera NASA Formal Methods Symposium, 166-171, 2016 | 27 | 2016 |
| 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 | 26 | 2012 |
| 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 | 21 | 2012 |
| Unifying requirements and code: an example A Naumchev, B Meyer, V Rivera International Andrei Ershov Memorial Conference on Perspectives of System …, 2015 | 19 | 2015 |
| 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 | 15 | 2018 |
| 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 | 13 | 2016 |
| Refinement types in jolie A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera arXiv preprint arXiv:1602.06823, 2016 | 13 | 2016 |
| Link prediction using top-k shortest distances A Lebedev, JY Lee, V Rivera, M Mazzara British International Conference on Databases, 101-105, 2017 | 10 | 2017 |
| 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 | 9 | 2018 |
| 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 | 9 | 2016 |
| 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 | 9 | 2016 |
| Microservices A Bucchiarone, N Dragoni, S Dustdar, P Lago, M Mazzara, V Rivera, ... Science and Engineering. Springer, Cham, 2020 | 7 | 2020 |
| The Social-Event Planner, 2012 V Rivera, N Catano | 7 | 2015 |
| 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 | |
