Klaus Dräger

	2010
8		Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim: SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274
7		Klaus Dräger: Subsequence invariants. Saarland University 2010
	2009
6		Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed model checking with distance-preserving abstractions. STTT 11(1): 27-37 (2009)
	2008
5		Klaus Dräger, Bernd Finkbeiner: Subsequence Invariants. CONCUR 2008: 172-186
4		Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. Fundam. Inform. 89(4): 369-392 (2008)
	2007
3		Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim: Slicing Abstractions. FSEN 2007: 17-32
2		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		Klaus Dräger, Bernd Finkbeiner, Andreas Podelski: Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34

Coauthor Index

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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page