Stefan Staber

According to our database, Stefan Staber authored at least 6 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Finding and fixing faults.

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem

J. Comput. Syst. Sci., 2012

2010

Fault localization using a model checker.

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Softw. Test. Verification Reliab., 2010

2008

Automatic Fault Localization for Property Checking.

Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Fault Localization and Correction with QBF.

Stefan Staber, Roderick Bloem

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Automated Fault Localization for C Programs.

Andreas Griesmayer, Stefan Staber, Roderick Bloem

Proceedings of the Workshop on Verification and Debugging, 2006

2005

Finding and Fixing Faults.

Stefan Staber, Barbara Jobstmann, Roderick Bloem

Proceedings of the Correct Hardware Design and Verification Methods, 2005