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 |