Vctor Rivera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TEI | Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking. | Mon-Chu Chen, Bongkeum Jeong, Vctor Rivera |
| 2014 | SAC | Translating event-B to JML-specified Java programs. | Vctor Rivera, Nstor Catao |
| 2012 | ICSE | The EventB2Dafny rodin plug-in. | Nstor Catao, K. Rustan M. Leino, Vctor Rivera |
| 2012 | SAC | Translating B machines to JML specifications. | Nstor Catao, Tim Wahls, Camilo Rueda, Vctor Rivera, Danni Yu |