Identification of critical variables using an FPGA-based fault injection framework. - Andreas Riefert; Jörg Müller 004; Matthias Sauer 002; Wolfram Burgard; Bernd Becker 001 (VTS, 2013)

An effective approach to automatic functional processor test generation for small-delay faults. - Andreas Riefert; Lyl M. Ciganda; Matthias Sauer 002; Paolo Bernardi; Matteo Sonza Reorda; Bernd Becker 001 (DATE, 2014)

On the automatic generation of SBST test programs for in-field test. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (DATE, 2015)

Improving diagnosis resolution of a fault detection test set. - Andreas Riefert; Matthias Sauer 002; Sudhakar M. Reddy; Bernd Becker 001 (VTS, 2015)

Effective generation and evaluation of diagnostic SBST programs. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (VTS, 2016)

A Flexible Framework for the Automatic Generation of SBST Programs. - Andreas Riefert; Riccardo Cantoro; Matthias Sauer 002; Matteo Sonza Reorda; Bernd Becker 001 (IEEE Trans. Very Large Scale Integr. Syst., 2016)

Test and diagnosis of embedded processor cores with formal methods. - Andreas Riefert (Der Andere Verlag, 2016)