| 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 | 61 | 2016 |
| 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 | 55 | 2017 |
| EventB2Java: A code generator for Event-B N Catano, V Rivera NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 37 | 2016 |
| 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 | 37 | 2014 |
| 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 | 34 | 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 | 30 | 2012 |
| Microservices A Bucchiarone, N Dragoni, S Dustdar, P Lago, M Mazzara, V Rivera, ... Science and Engineering. Springer, 2020 | 22 | 2020 |
| 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 | 22 | 2012 |
| Unifying requirements and code: an example A Naumchev, B Meyer, V Rivera Perspectives of System Informatics: 10th International Andrei Ershov …, 2016 | 21 | 2016 |
| 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 | 20* | 2019 |
| 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 | 18* | 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 | 15 | 2016 |
| Simulated vehicle operation modeling with real vehicle profiles I Alvarez, VP Rivera US Patent 11,048,832, 2021 | 14 | 2021 |
| Refinement types in jolie A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera arXiv preprint arXiv:1602.06823, 2016 | 14 | 2016 |
| Size matters: Microservices research and applications M Mazzara, A Bucchiarone, N Dragoni, V Rivera Microservices: Science and Engineering, 29-42, 2020 | 13 | 2020 |
| 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 | 13 | 2020 |
| Microservices science and engineering M Mazzara, K Khanda, R Mustafin, V Rivera, L Safina, A Sillitti Proceedings of 5th International Conference in Software Engineering for …, 2018 | 13 | 2018 |
| 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 |
| 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 | 12 | 2017 |
| Model checking in multiplayer games development R Rezin, I Afanasyev, M Mazzara, V Rivera 2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018 | 11 | 2018 |
