Export 3 results:
Filters: Author is Rivera, Victor  [Clear All Filters]
Chen, MC., Jeong B., & Rivera V. (2015).  Relationship Tunnel Vision: Altered Social Interaction Using Eye-Tracking. 9th International Conference on Tangible, Embedded and Embodied Interaction.
Cataño, N.., Leino K.R.M.., & Rivera V. (2012).  The EventB2Dafny Rodin plug-in. Developing Tools as Plug-ins (TOPI). 49 -54.
Cataño, N.., Wahls T., Rueda C., Rivera V., & Yu D. (2012).  Translating B machines to JML specifications. Proceedings of 27th ACM Symposium on Applied Computing, Software Verification and Testing track (SAC-SVT), [Acceptance Rate: 26%]. 1271–1277.