Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems. - Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar (RTAS, 2016)

mcQEMU: Time-Accurate Simulation of Multi-core platforms using QEMU. - Humberto Carvalho; Geoffrey Nelissen; Pavel Zaykov (DSD, 2020)

Leveraging the HW/SW Optimizations and Ecosystems that Drive the AI Revolution. - Humberto Carvalho; Pavel Zaykov; Asim Ukaye (CoRR, 2022)