| 2007 | ||
|---|---|---|
| 4 | EE | Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007) |
| 2006 | ||
| 3 | EE | Andreas Griesmayer, Roderick Bloem, Byron Cook: Repair of Boolean Programs with an Application to C. CAV 2006: 358-371 |
| 2005 | ||
| 2 | EE | Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238 |
| 1 | EE | Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788 |
| 1 | Roderick Bloem | [1] [2] [3] [4] |
| 2 | Byron Cook | [3] |
| 3 | Martin Hautzendorfer | [1] |
| 4 | Barbara Jobstmann | [2] |
| 5 | Stefan Staber | [4] |
| 6 | Franz Wotawa | [1] |