Saving Time in a Program Robustness Evaluation. - Joao Gramacho; Dolores Rexachs; Emilio Luque (TrustCom/ISPA/IUCC, 2013)

Deterministically assessing the robustness against transient faults of programs. - Joao Gramacho (2014)

Predicting robustness against transient faults of MPI based programs. - Joao Gramacho; Alvaro Wong; Dolores Rexachs; Emilio Luque (Int. J. Comput. Sci. Eng., 2016)