Equivalence Checking on System Level using Stepwise Induction. - Niels Thole; Görschwin Fey (MBMV, 2014)

Equivalence Checking on System Level Using a Priori Knowledge. - Niels Thole; Heinz Riener; Görschwin Fey (DDECS, 2015)

Conservatively Analyzing Transient Faults. - Niels Thole; Görschwin Fey; Alberto García Ortiz (ISVLSI, 2015)

Formal Verification of Robustness. - Niels Thole; Görschwin Fey (SyDe Summer School, 2015)

A hybrid algorithm to conservatively check the robustness of circuits. - Niels Thole; Lorena Anghel; Görschwin Fey (ETS, 2016)

Equivalence checking on ESL utilizing a priori knowledge. - Niels Thole; Heinz Riener; Görschwin Fey (FDL, 2016)

A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. - Niels Thole; Görschwin Fey; Alberto García Ortiz (ISVLSI, 2016)

Formal Verification throughout the Development of Robust Systems. - Niels Thole (2016)