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 | 59 | 2016 |
Code generation for Event-B V Rivera, N Catano, T Wahls, C Rueda International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017 | 50 | 2017 |
EventB2Java: A code generator for Event-B N Catano, V Rivera NASA Formal Methods Symposium, 166-171, 2016 | 34 | 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 | 34 | 2014 |
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 | 31 | 2012 |
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 | 28 | 2018 |
Unifying requirements and code: an example A Naumchev, B Meyer, V Rivera International Andrei Ershov Memorial Conference on Perspectives of System …, 2015 | 22 | 2015 |
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 |
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 | 18* | 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 | 15* | 2018 |
Microservices A Bucchiarone, N Dragoni, S Dustdar, P Lago, M Mazzara, V Rivera, ... Science and Engineering. Springer, 2020 | 14 | 2020 |
Refinement types in jolie A Tchitchigin, L Safina, M Mazzara, M Elwakil, F Montesi, V Rivera arXiv preprint arXiv:1602.06823, 2016 | 14 | 2016 |
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 British international conference on databases, 101-105, 2017 | 12 | 2017 |
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 | 12 | 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 | 12 | 2016 |
Size matters: Microservices research and applications M Mazzara, A Bucchiarone, N Dragoni, V Rivera Microservices, 29-42, 2020 | 10 | 2020 |
Teaching programming and design-by-contract D Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... International Conference on Interactive Collaborative Learning, 68-76, 2018 | 10 | 2018 |
Model checking in multiplayer games development R Rezin, I Afanasyev, M Mazzara, V Rivera 2018 IEEE 32nd International Conference on Advanced Information Networking …, 2018 | 9 | 2018 |
Domain objects and microservices for systems development: A roadmap K Mikhail, A Bucchiarone, M Mazzara, L Safina, V Rivera International Conference in Software Engineering for Defence Applications …, 2016 | 7 | 2016 |