| * | 2009 |
|---|
| 6 | EE | Klaus Dräger,
Bernd Finkbeiner,
Andreas Podelski:
Directed model checking with distance-preserving abstractions.
STTT 11(1): 27-37 (2009) |
| 2008 |
|---|
| 5 | EE | Klaus Dräger,
Bernd Finkbeiner:
Subsequence Invariants.
CONCUR 2008: 172-186 |
| 4 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
Fundam. Inform. 89(4): 369-392 (2008) |
| 2007 |
|---|
| 3 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
FSEN 2007: 17-32 |
| 2 | EE | Sebastian Kupferschmid,
Klaus Dräger,
Jörg Hoffmann,
Bernd Finkbeiner,
Henning Dierks,
Andreas Podelski,
Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS 2007: 679-682 |
| 2006 |
|---|
| 1 | EE | Klaus Dräger,
Bernd Finkbeiner,
Andreas Podelski:
Directed Model Checking with Distance-Preserving Abstractions.
SPIN 2006: 19-34 |
