A Graphical Tool for Event Refinement Structures in Event-B. - Dana Dghaym; Matheus Garay Trindade; Michael J. Butler; Asieh Salehi Fathabadi (ABZ, 2016)

Assessment of Machine Learning Algorithms for Near-Sensor Computing under Radiation Soft Errors. - Matheus Garay Trindade; Rodrigo Possamai Bastos; Rafael Garibotti; Luciano Ost; Manon Letiche; Jerôme Beaucour (ICECS, 2020)

Trojan Detection Test for Clockless Circuits. - Ricardo Aquino Guazzelli; Matheus Garay Trindade; Leonel Acunha Guimaraes; Thiago Ferreira de Paiva Leite; Laurent Fesquet; Rodrigo Possamai Bastos (J. Electron. Test., 2020)

Evaluation of Attitude Estimation Algorithm under Soft Error Effects. - João Paulo Brum; T. Kraemer Sartori; J. Lin; Matheus Garay Trindade; Hassen Fourati; Raoul Velazco; Rodrigo Possamai Bastos (LATS, 2021)