The EventB2Dafny rodin plug-in. - Néstor Cataño; K. Rustan M. Leino; Víctor Rivera (TOPI@ICSE, 2012)

Translating B machines to JML specifications. - Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu (SAC, 2012)

Translating event-B to JML-specified Java programs. - Víctor Rivera; Néstor Cataño (SAC, 2014)

Unifying Requirements and Code: An Example. - Alexandr Naumchev; Bertrand Meyer 001; Víctor Rivera (Ershov Memorial Conference, 2015)

Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking. - Mon-Chu Chen; Bongkeum Jeong; Víctor Rivera (TEI, 2015)

Data-Driven Workflows for Microservices: Genericity in Jolie. - Larisa Safina; Manuel Mazzara; Fabrizio Montesi; Victor Rivera (AINA, 2016)

Undertaking the tokeneer challenge in event-b. - Victor Rivera; Sukriti Bhattacharya; Néstor Cataño (FormaliSE@ICSE, 2016)

EventB2Java: A Code Generator for Event-B. - Néstor Cataño; Victor Rivera (NFM, 2016)

Self-adaptive Node-Based PCA Encodings. - Leonard Johard; Victor Rivera; Manuel Mazzara; Jooyoung Lee (SEDA, 2016)

Initial Steps Towards Assessing the Usability of a Verification Tool. - Mansur Khazeev; Victor Rivera; Manuel Mazzara; Leonard Johard (SEDA, 2016)

Microservices Science and Engineering. - Manuel Mazzara; Kevin Khanda; Ruslan Mustafin; Victor Rivera; Larisa Safina; Alberto Sillitti (SEDA, 2016)

Domain Objects and Microservices for Systems Development: A Roadmap. - Kizilov Mikhail; Antonio Bucchiarone; Manuel Mazzara; Larisa Safina; Victor Rivera (SEDA, 2016)

Jolie Community on the Rise. - Alexey Bandura; Nikita Kurilenko; Manuel Mazzara; Victor Rivera; Larisa Safina; Alexander Tchitchigin (SOCA, 2016)

Usability of AutoProof: a case study of software verification. - Mansur Khazeev; Victor Rivera; Manuel Mazzara; Alexander Tchitchigin (CoRR, 2016)

Code Generation for Event-B. - Victor Rivera (CoRR, 2016)

Refinement types in Jolie. - Alexander Tchitchigin; Larisa Safina; Manuel Mazzara; Mohamed Elwakil; Fabrizio Montesi; Victor Rivera (CoRR, 2016)

Link Prediction Using Top-k Shortest Distances. - Andrei Lebedev; Jooyoung Lee; Victor Rivera; Manuel Mazzara (BICOD, 2017)

Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming. - Sergei Solonets; Victor Drobny; Victor Rivera; Jooyoung Lee (MATES@VLDB, 2017)

Initial steps towards assessing the usability of a verification tool. - Mansur Khazeev; Victor Rivera; Manuel Mazzara (CoRR, 2017)

Translating Event-B machines to Eiffel programs. - Victor Rivera; Jooyoung Lee; Manuel Mazzara; Leonard Johard (CoRR, 2017)

Teaching Programming and Design-by-Contract. - Daniel de Carvalho; Jooyoung Lee; Adil Khan 001; Manuel Mazzara; Mansur Khazeev; Ruslan Mustafin; Alexandr Naumchev; Victor Rivera (CoRR, 2017)

Code generation for Event-B. - Victor Rivera; Néstor Cataño; Tim Wahls; Camilo Rueda (Int. J. Softw. Tools Technol. Transf., 2017)

Hikester - The Event Management Application. - Rinat Khatipov; Aydar Negimatzhanov; Ilgiz Zamaleev; Anvar Zakirov; Manuel Mazzara; Victor Rivera (AINA Workshops, 2018)

Towards Dynamic Interaction-Based Reputation Models. - Almaz Melnikov; Jooyoung Lee; Victor Rivera; Manuel Mazzara; Luca Longo (AINA, 2018)

Model Checking in Multiplayer Games Development. - Ruslan Rezin; Ilya Afanasyev 001; Manuel Mazzara; Victor Rivera (AINA, 2018)

Gene Expression for Simulation of Biological Tissue. - Sadyk Sayfullin; Fedor Akhmetov; Manuel Mazzara; Ruslan Mustafin; Victor Rivera (AINA Workshops, 2018)

Teaching Programming and Design-by-Contract. - Daniel de Carvalho; Rasheed Hussain; Adil Khan 001; Mansur Khazeev; Jooyong Lee; Sergey Masyagin; Manuel Mazzara; Ruslan Mustafin; Alexandr Naumchev; Victor Rivera (ICL (1), 2018)

GA-based Fractal and Neuroevolution Compressions. - Vladislav Tkachuk; Maria Koreneva; Ilya Afanasyev 001; Victor Rivera; Manuel Mazzara (IEEE Conf. on Intelligent Systems, 2018)

On M2M Micropayments: A Case Study of Electric Autonomous Vehicles. - Dragos Strugar; Rasheed Hussain; Manuel Mazzara; Victor Rivera; Jooyoung Lee; Ruslan Mustafin (iThings/GreenCom/CPSCom/SmartData, 2018)

Mapping Event-B Machines into Eiffel Programming Language. - Victor Rivera; Jooyoung Lee; Manuel Mazzara (SEDA, 2018)

Towards dynamic interaction-based model. - Almaz Melnikov; Manuel Mazzara; Victor Rivera; Jooyoung Lee; Luca Longo (CoRR, 2018)

M2M Billing for Electric Autonomous Vehicles. - Dragos Strugar; Rasheed Hussain; Manuel Mazzara; Victor Rivera (CoRR, 2018)

Reputation in M2M Economy. - Dragos Strugar; Rasheed Hussain; Jooyoung Lee; Manuel Mazzara; Victor Rivera (CoRR, 2018)

AutoFrame: Automatic Frame Inference for Object-Oriented Languages. - Victor Rivera; Bertrand Meyer 001 (CoRR, 2018)

Second-level degree-based entity resolution in online social networks. - Jooyoung Lee; Rasheed Hussain; Victor Rivera; Davlatbek Isroilov (Soc. Netw. Anal. Min., 2018)

An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles. - Dragos Strugar; Rasheed Hussain; Manuel Mazzara; Victor Rivera; Ilya Afanasyev 001; Jooyoung Lee (AINA Workshops, 2019)

Towards Code Review Guideline in a Classroom. - Victor Rivera; Hamna Aslam; Alexandr Naumchev; Daniel de Carvalho; Mansur Khazeev; Manuel Mazzara (FISEE, 2019)

Towards Static Verification of Clojure Contract-Based Programs. - Gheorghe Pinzaru; Victor Rivera (TOOLS, 2019)

Size Matters: Microservices Research and Applications. - Manuel Mazzara; Antonio Bucchiarone; Nicola Dragoni; Victor Rivera (CoRR, 2019)

Size Matters: Microservices Research and Applications. - Manuel Mazzara; Antonio Bucchiarone; Nicola Dragoni; Victor Rivera (Microservices, Science and Engineering, 2020)

Formal Verification of Access Control Model for My Health Record System. - Victor Rivera (ICECCS, 2020)

Code Review in the Classroom. - Victor Rivera; Hamna Aslam; Alexandr Naumchev; Daniel de Carvalho; Mansur Khazeev; Manuel Mazzara (CoRR, 2020)

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. - Victor Rivera; Bertrand Meyer 001 (SN Comput. Sci., 2020)

Cryptocurrency Payment System Model for B2C E-Commerce Platforms Using Blockchain Technology. - Sebastian Luque; Victor Rivera; Nelly Huarcaya (ICECET, 2023)

Exploring the ability of the Deep Ritz Method to model strain localization as a sharp discontinuity. - Omar León; Víctor Rivera; Angel Vázquez-Patiño; Jacinto Ulloa; Esteban Samaniego (CoRR, 2024)