| 2008 |
|---|
| 5 | EE | Rudolf Schlatte,
Bernhard K. Aichernig,
Frank S. de Boer,
Andreas Griesmayer,
Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers.
ICTAC 2008: 319-333 |
| 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 |
