Víctor Rivera

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Gaze Contingent

Top Venues

Ershov Memorial Conference

Tangible and Embedded Interaction

Publications

Mon-Chu Chen, Bongkeum Jeong, Víctor Rivera
Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking. Tangible and Embedded Interaction (2015)
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera
Unifying Requirements and Code: An Example. Ershov Memorial Conference (2015)
Víctor Rivera, Néstor Cataño
Translating event-B to JML-specified Java programs. SAC (2014)
Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu
Translating B machines to JML specifications. SAC (2012)
Néstor Cataño, K. Rustan M. Leino, Víctor Rivera
The EventB2Dafny rodin plug-in. TOPI@ICSE (2012)