André Sülflow

Effective Robustness Analysis Using Bounded Model Checking Techniques

Görschwin Fey, André Sülflow, Stefan Frehse et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2011 · 29 citations

Engineering, Verification, Robustness Testing +20

WoLFram- A Word Level Framework for Formal Verification

André Sülflow, Ulrich Kühne, Görschwin Fey et al. · 2009 · 29 citations

Engineering, Verification, Computer-aided Verification +21

Computing bounds for fault tolerance using formal techniques

Görschwin Fey, André Sülflow, Rolf Drechsler · 2009 · 24 citations

Engineering, Verification, Computer Architecture +21

Using QBF to increase accuracy of SAT-based debugging

André Sülflow, Görschwin Fey, Rolf Drechsler · 2010 · 21 citations

Program Checking, Engineering, Verification +20

Increasing the accuracy of SAT-based debugging

André Sülflow, Görschwin Fey, Cécile Braunstein et al. · 2009 · 21 citations

Software Maintenance, Program Checking, Engineering +21