Debugging of Toffoli networks. - Robert Wille; Daniel Große; Stefan Frehse; Gerhard W. Dueck; Rolf Drechsler (DATE, 2009)

Robustness Check for Multiple Faults Using Formal Techniques. - Stefan Frehse; Görschwin Fey; André Sülflow; Rolf Drechsler (DSD, 2009)

A better-than-worst-case robustness measure. - Stefan Frehse; Görschwin Fey; Rolf Drechsler (DDECS, 2010)

RobuCheck: a robustness checker for digital circuits. - Stefan Frehse; Görschwin Fey; André Sülflow; Rolf Drechsler (DYADEM-FTS@EDCC, 2010)

Enhancing debugging of multiple missing control errors in reversible logic. - Jean Christoph Jung; Stefan Frehse; Robert Wille; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2010)

Efficient Simulation-Based Debugging of Reversible Logic. - Stefan Frehse; Robert Wille; Rolf Drechsler (ISMVL, 2010)

Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits). - Görschwin Fey; André Sülflow; Stefan Frehse; Rolf Drechsler (it Inf. Technol., 2010)

Determining minimal testsets for reversible circuits using Boolean satisfiability. - Hongyan Zhang 003; Stefan Frehse; Robert Wille; Rolf Drechsler (AFRICON, 2011)

metaSMT: Focus on Your Application not on Solver Integration. - Finn Haedicke; Stefan Frehse; Görschwin Fey; Daniel Große; Rolf Drechsler (DIFTS@FMCAD, 2011)

RevKit: An Open Source Toolkit for the Design of Reversible Circuits. - Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler (RC, 2011)

Debugging reversible circuits. - Robert Wille; Daniel Große; Stefan Frehse; Gerhard W. Dueck; Rolf Drechsler (Integr., 2011)

Effective Robustness Analysis Using Bounded Model Checking Techniques. - Görschwin Fey; André Sülflow; Stefan Frehse; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Complete and effective robustness checking by means of interpolation. - Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler (FMCAD, 2012)

RevKit: A Toolkit for Reversible Circuit Design. - Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler (J. Multiple Valued Log. Soft Comput., 2012)

Improving fault tolerance utilizing hardware-software-co-synthesis. - Heinz Riener; Stefan Frehse; Görschwin Fey (DATE, 2013)

Quality and quantity in robustness checking using formal techniques. - Stefan Frehse (2013)

Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. - Sebastian Huhn 001; Stefan Frehse; Robert Wille; Rolf Drechsler (ASP-DAC, 2017)

metaSMT: focus on your application and not on solver integration. - Heinz Riener; Finn Haedicke; Stefan Frehse; Mathias Soeken; Daniel Große; Rolf Drechsler; Görschwin Fey (Int. J. Softw. Tools Technol. Transf., 2017)

Determining Application-Specific Knowledge for Improving Robustness of Sequential Circuits. - Sebastian Huhn 001; Stefan Frehse; Robert Wille; Rolf Drechsler (IEEE Trans. Very Large Scale Integr. Syst., 2019)