Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB. - Hector Joao Rivera-Verduzco; Pieter J. L. Cuijpers; Jingyue Cao (RTSS, 2017)

Sound Analysis of Floating-Point Programs. - Hector Joao Rivera-Verduzco (2023)