| |
| 2007 | ||
|---|---|---|
| 4 | EE | Stefan Staber, Roderick Bloem: Fault Localization and Correction with QBF. SAT 2007: 355-368 |
| 3 | EE | Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007) |
| 2006 | ||
| 2 | EE | Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64 |
| 2005 | ||
| 1 | EE | Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49 |
| 1 | Roderick Bloem | [1] [2] [3] [4] |
| 2 | Rolf Drechsler | [2] |
| 3 | Görschwin Fey | [2] |
| 4 | Andreas Griesmayer | [3] |
| 5 | Barbara Jobstmann | [1] |