Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplication. - Stefan Gerber 002; Michael Gössel (EDCC, 1994)

Using software for fault detection in arithmetical circuits. - Stefan Gerber 002 (1995)

AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks. - Dominik Stoffel; Wolfgang Kunz; Stefan Gerber 002 (ASP-DAC, 1997)