Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. - Sebastian Kupferschmid; Klaus Dräger; Jörg Hoffmann 001; Bernd Finkbeiner; Henning Dierks; Andreas Podelski; Gerd Behrmann (TACAS, 2007)

Subsequence Invariants. - Klaus Dräger; Bernd Finkbeiner (CONCUR, 2008)

Slicing Abstractions. - Ingo Brückner; Klaus Dräger; Bernd Finkbeiner; Heike Wehrheim (Fundam. Informaticae, 2008)

Directed model checking with distance-preserving abstractions. - Klaus Dräger; Bernd Finkbeiner; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2009)

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. - Klaus Dräger; Andrey Kupriyanov; Bernd Finkbeiner; Heike Wehrheim (TACAS, 2010)

Subsequence invariants. - Klaus Dräger (2010)

Model Checking Stochastic Branching Processes. - Taolue Chen 001; Klaus Dräger; Stefan Kiefer (MFCS, 2012)

Towards Communication-Based Steering of Complex Distributed Systems. - Klaus Dräger; Marta Z. Kwiatkowska (Monterey Workshop, 2012)

Local abstraction refinement for probabilistic timed programs. - Klaus Dräger; Marta Z. Kwiatkowska; David Parker 001; Hongyang Qu 001 (Theor. Comput. Sci., 2014)

Permissive Controller Synthesis for Probabilistic Systems. - Klaus Dräger; Vojtech Forejt; Marta Z. Kwiatkowska; David Parker 001; Mateusz Ujma (Log. Methods Comput. Sci., 2015)

The Invariance Problem for Matrix Semigroups. - Klaus Dräger (FoSSaCS, 2016)