dblp.uni-trier.dewww.uni-trier.de

Klaus Dräger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEKlaus Dräger, Bernd Finkbeiner: Subsequence Invariants. CONCUR 2008: 172-186
4EEIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
2007
3EEIngo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
2EESebastian 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
1EEKlaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34

Coauthor Index

1Gerd Behrmann [2]
2Ingo Brückner [3] [4]
3Henning Dierks [2]
4Bernd Finkbeiner [1] [2] [3] [4] [5]
5Jörg Hoffmann [2]
6Sebastian Kupferschmid [2]
7Andreas Podelski [1] [2]
8Heike Wehrheim [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)