Which Verification for Soft Error Detection? - Leonardo Bautista-Gomez; Anne Benoit; Aurélien Cavelan; Saurabh K. Raina; Yves Robert; Hongyang Sun 001 (HiPC, 2015)

Assessing the Impact of Partial Verifications against Silent Data Corruptions. - Aurélien Cavelan; Saurabh K. Raina; Yves Robert; Hongyang Sun 001 (ICPP, 2015)

Coping with recall and precision of soft error detectors. - Leonardo Bautista-Gomez; Anne Benoit; Aurélien Cavelan; Saurabh K. Raina; Yves Robert; Hongyang Sun 001 (J. Parallel Distributed Comput., 2016)

Efficient checkpoint/verification patterns. - Anne Benoit; Saurabh K. Raina; Yves Robert (Int. J. High Perform. Comput. Appl., 2017)