Victor Rivera

According to our database, Victor Rivera authored at least 44 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2020

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.

Victor Rivera, Bertrand Meyer

SN Comput. Sci., 2020

Code Review in the Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

CoRR, 2020

Formal Verification of Access Control Model for My Health Record System.

Victor Rivera

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Size Matters: Microservices Research and Applications.

Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera

Proceedings of the Microservices, Science and Engineering., 2020

2019

Size Matters: Microservices Research and Applications.

Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni, Victor Rivera

CoRR, 2019

Towards Static Verification of Clojure Contract-Based Programs.

Gheorghe Pinzaru, Victor Rivera

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Towards Code Review Guideline in a Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

Proceedings of the Frontiers in Software Engineering Education, 2019

An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles.

Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Ilya Afanasyev, Jooyoung Lee

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

Second-level degree-based entity resolution in online social networks.

Jooyoung Lee, Rasheed Hussain, Victor Rivera, Davlatbek Isroilov

Soc. Netw. Anal. Min., 2018

AutoFrame: Automatic Frame Inference for Object-Oriented Languages.

Victor Rivera, Bertrand Meyer

CoRR, 2018

Reputation in M2M Economy.

Dragos Strugar, Rasheed Hussain, Jooyoung Lee, Manuel Mazzara, Victor Rivera

CoRR, 2018

M2M Billing for Electric Autonomous Vehicles.

Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera

CoRR, 2018

Towards dynamic interaction-based model.

Almaz Melnikov, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Luca Longo

CoRR, 2018

Mapping Event-B Machines into Eiffel Programming Language.

Victor Rivera, Jooyoung Lee, Manuel Mazzara

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

On M2M Micropayments: A Case Study of Electric Autonomous Vehicles.

Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Jooyoung Lee, Ruslan Mustafin

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

GA-based Fractal and Neuroevolution Compressions.

Vladislav Tkachuk, Maria Koreneva, Ilya Afanasyev, Victor Rivera, Manuel Mazzara

Proceedings of the 9th IEEE International Conference on Intelligent Systems, 2018

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

Gene Expression for Simulation of Biological Tissue.

Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara, Ruslan Mustafin, Victor Rivera

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Model Checking in Multiplayer Games Development.

Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Towards Dynamic Interaction-Based Reputation Models.

Almaz Melnikov, Jooyoung Lee, Victor Rivera, Manuel Mazzara, Luca Longo

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Hikester - The Event Management Application.

Rinat Khatipov, Aydar Negimatzhanov, Ilgiz Zamaleev, Anvar Zakirov, Manuel Mazzara, Victor Rivera

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017

Code generation for Event-B.

Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda

Int. J. Softw. Tools Technol. Transf., 2017

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

CoRR, 2017

Translating Event-B machines to Eiffel programs.

Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard

CoRR, 2017

Initial steps towards assessing the usability of a verification tool.

Mansur Khazeev, Victor Rivera, Manuel Mazzara

CoRR, 2017

Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming.

Sergei Solonets, Victor Drobny, Victor Rivera, Jooyoung Lee

Proceedings of the Mobility Analytics for Spatio-Temporal and Social Data, 2017

Link Prediction Using Top-k Shortest Distances.

Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara

Proceedings of the Data Analytics - 31st British International Conference on Databases, 2017

2016

Refinement types in Jolie.

Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera

CoRR, 2016

Code Generation for Event-B.

Victor Rivera

CoRR, 2016

Usability of AutoProof: a case study of software verification.

Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin

CoRR, 2016

Jolie Community on the Rise.

Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, Alexander Tchitchigin

Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Domain Objects and Microservices for Systems Development: A Roadmap.

Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, Victor Rivera

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Microservices Science and Engineering.

Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, Alberto Sillitti

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Initial Steps Towards Assessing the Usability of a Verification Tool.

Mansur Khazeev, Victor Rivera, Manuel Mazzara, Leonard Johard

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Self-adaptive Node-Based PCA Encodings.

Leonard Johard, Victor Rivera, Manuel Mazzara, Jooyoung Lee

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

EventB2Java: A Code Generator for Event-B.

Néstor Cataño, Victor Rivera

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Undertaking the tokeneer challenge in event-b.

Victor Rivera, Sukriti Bhattacharya, Néstor Cataño

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

Data-Driven Workflows for Microservices: Genericity in Jolie.

Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking.

Mon-Chu Chen, Bongkeum Jeong, Víctor Rivera

Proceedings of the Ninth International Conference on Tangible, 2015

Unifying Requirements and Code: An Example.

Alexandr Naumchev, Bertrand Meyer, Víctor Rivera

Proceedings of the Perspectives of System Informatics, 2015

2014

Translating event-B to JML-specified Java programs.

Víctor Rivera, Néstor Cataño

Proceedings of the Symposium on Applied Computing, 2014

2012

Translating B machines to JML specifications.

Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu

Proceedings of the ACM Symposium on Applied Computing, 2012

The EventB2Dafny rodin plug-in.

Néstor Cataño, K. Rustan M. Leino, Víctor Rivera

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012