Klaus Dräger

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Venues

FoSSaCS

CoRR

TACAS

MFCS

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Klaus Dräger
The Invariance Problem for Matrix Semigroups. FoSSaCS (2016)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11 (2) (2015)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. TACAS (2014)
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538 (2014)
Taolue Chen, Klaus Dräger, Stefan Kiefer
Model Checking Stochastic Branching Processes. MFCS (2012)
Taolue Chen, Klaus Dräger, Stefan Kiefer
Model Checking Stochastic Branching Processes CoRR (2012)
Klaus Dräger, Marta Z. Kwiatkowska
Towards Communication-Based Steering of Complex Distributed Systems. Monterey Workshop (2012)
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS (2010)
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
Directed model checking with distance-preserving abstractions. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. Fundam. Informaticae 89 (4) (2008)
Klaus Dräger, Bernd Finkbeiner
Subsequence Invariants. CONCUR (2008)
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. FSEN (2007)
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)
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
Directed Model Checking with Distance-Preserving Abstractions. SPIN (2006)

Klaus Dräger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Klaus Dräger