Hector Joao Rivera-Verduzco

According to our database, Hector Joao Rivera-Verduzco authored at least 2 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Sound Analysis of Floating-Point Programs.

Hector Joao Rivera-Verduzco

PhD thesis, 2023

2017

Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB.

Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017