| 2013 | IJCCI | Incorporating User Preferences in Many-Objective Optimization using Relation Epsilon-Preferred. | Nicole Drechsler, Andr Slflow, Rolf Drechsler |
| 2011 | DSD | Automated Design Debugging in a Testbench-Based Verification Environment. | Mehdi Dehbashi, Andr Slflow, Grschwin Fey |
| 2011 | ETS | Latency Analysis for Sequential Circuits. | Alexander Finder, Andr Slflow, Grschwin Fey |
| 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 |
| 2010 | FDL | Bounded Fault Tolerance Checking. | Andr Slflow |
| 2010 | ISCAS | Using QBF to increase accuracy of SAT-based debugging. | Andr Slflow, Grschwin Fey, Rolf Drechsler |
| 2009 | DAC | Computing bounds for fault tolerance using formal techniques. | Grschwin Fey, Andr Slflow, Rolf Drechsler |
| 2009 | DATE | Increasing the accuracy of SAT-based debugging. | Andr Slflow, Grschwin Fey, Ccile Braunstein, Ulrich Khne, Rolf Drechsler |
| 2009 | DSD | Robustness Check for Multiple Faults Using Formal Techniques. | Stefan Frehse, Grschwin Fey, Andr Slflow, Rolf Drechsler |
| 2009 | RSP | WoLFram- A Word Level Framework for Formal Verification. | Andr Slflow, Ulrich Khne, Grschwin Fey, Daniel Groe, Rolf Drechsler |
| 2007 | EMO | Robust Multi-Objective Optimization in High Dimensional Spaces. | Andr Slflow, Nicole Drechsler, Rolf Drechsler |