Invariant checkers: An efficient low cost technique for run-time transient errors detection. - Carmela Noro Grando; Carlos Arthur Lang Lisbôa; Álvaro Freitas Moreira; Luigi Carro (IOLTS, 2009)

Using software invariants for dynamic detection of transient errors. - Carlos Arthur Lang Lisbôa; Carmela Noro Grando; Álvaro Freitas Moreira; Luigi Carro (LATW, 2009)