Reliable execution of statechart-generated correct embedded software under soft errors. - Ronaldo Rodrigues Ferreira; Thomas Klotz; Thilo Vörtler; Jean da Rolt; Gabriel L. Nazar; Álvaro Freitas Moreira; Luigi Carro; Karsten Einwich (DDECS, 2014)

Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. - Ronaldo Rodrigues Ferreira; Jean da Rolt; Gabriel L. Nazar; Álvaro Freitas Moreira; Luigi Carro (DSN, 2014)

Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture. - Ronaldo Rodrigues Ferreira; Ernesto Sánchez 001; Jean da Rolt; Gabriel L. Nazar; Álvaro F. Moreira; Luigi Carro; Matteo Sonza Reorda (LATS, 2015)

Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication. - Ronaldo Rodrigues Ferreira; Gabriel L. Nazar; Jean da Rolt; Álvaro F. Moreira; Luigi Carro (ACM Trans. Embed. Comput. Syst., 2016)