| 2017 | ASPDAC | Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. | Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
| 2013 | DATE | Improving fault tolerance utilizing hardware-software-co-synthesis. | Heinz Riener, Stefan Frehse, Grschwin Fey |
| 2012 | FMCAD | Complete and effective robustness checking by means of interpolation. | Stefan Frehse, Grschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler |
| 2011 | FMCAD | metaSMT: Focus on Your Application not on Solver Integration. | Finn Haedicke, Stefan Frehse, Grschwin Fey, Daniel Groe, Rolf Drechsler |
| 2011 | RC | RevKit: An Open Source Toolkit for the Design of Reversible Circuits. | Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| 2010 | DDECS | A better-than-worst-case robustness measure. | Stefan Frehse, Grschwin Fey, Rolf Drechsler |
| 2010 | DSD | RobuCheck: A Robustness Checker for Digital Circuits. | Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler |
| 2010 | EDCC | RobuCheck: a robustness checker for digital circuits. | Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler |
| 2009 | DATE | Debugging of Toffoli networks. | Robert Wille, Daniel Groe, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
| 2009 | DSD | Robustness Check for Multiple Faults Using Formal Techniques. | Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler |