Concepedia

Víctor Rivera

VR

6

Publications

159

Citations

6

H-Index

2012

Active since

Affiliations

Innopolis University(Current)

Dickinson College

Universidade da Madeira

Pontificia Universidad Javeriana

Víctor Rivera is an author at Innopolis University specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2012–2018

6

Publications

6

Code generation for Event-B

Víctor Rivera, Néstor Cataño, Tim Wahls et al. · International Journal on Software Tools for Technology Transfer · 2015 · 49 citations

Event Processing, Engineering, Program Analysis +10

Data-Driven Workflows for Microservices: Genericity in Jolie

Larisa Safina, Manuel Mazzara, Fabrizio Montesi et al. · 2016 · 42 citations

Cluster Computing, Web Service Specification, Engineering +19

Translating event-B to JML-specified Java programs

Víctor Rivera, Néstor Cataño · 2014 · 21 citations

Event-driven Architecture, Engineering, Software Engineering +18

Translating B machines to JML specifications

Néstor Cataño, Tim Wahls, Camilo Rueda et al. · 2012 · 18 citations

Software Maintenance, Engineering, Verification +22

Towards Dynamic Interaction-Based Reputation Models

Almaz Melnikov, Jooyoung Lee, Víctor Rivera et al. · 2018 · 15 citations

Ranking Algorithm, Engineering, Game Theory +17

Rows per page

1–5 of 6