Stefan Staber

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Multiresolution

Dynamic Systems

Error Detection

Top Venues

J. Comput. Syst. Sci.

Publications

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem
Finding and fixing faults. J. Comput. Syst. Sci. 78 (2) (2012)
Andreas Griesmayer, Stefan Staber, Roderick Bloem
Fault localization using a model checker. Softw. Test. Verification Reliab. 20 (2) (2010)
Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler
Automatic Fault Localization for Property Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (6) (2008)
Andreas Griesmayer, Stefan Staber, Roderick Bloem
Automated Fault Localization for C Programs. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Stefan Staber, Roderick Bloem
Fault Localization and Correction with QBF. SAT (2007)
Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler
Automatic Fault Localization for Property Checking. Haifa Verification Conference (2006)
Stefan Staber, Barbara Jobstmann, Roderick Bloem
Finding and Fixing Faults. CHARME (2005)