Klaus Dräger
TitleCited byYear
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
International Journal on Software Tools for Technology Transfer 11 (1), 27-37, 2009
882009
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
International Journal on Software Tools for Technology Transfer 11 (1), 27-37, 2009
882009
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Conference on Fundamentals of Software Engineering, 17-32, 2007
502007
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
International Conference on Tools and Algorithms for the Construction and …, 2014
36*2014
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
International Conference on Tools and Algorithms for the Construction and …, 2014
322014
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Conference on Fundamentals of Software Engineering, 17-32, 2007
302007
Uppaal/DMC–abstraction-based heuristics for directed model checking
S Kupferschmid, K Dräger, J Hoffmann, B Finkbeiner, H Dierks, ...
International Conference on Tools and Algorithms for the Construction and …, 2007
292007
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
102018
Model checking stochastic branching processes
T Chen, K Dräger, S Kiefer
International Symposium on Mathematical Foundations of Computer Science, 271-282, 2012
92012
Permissive controller synthesis for probabilistic systems
M Ujma, D Parker, M Kwiatkowska, V Forejt, K Drager
Logical Methods in Computer Science 11, 2015
32015
Subsequence invariants
K Dräger, B Finkbeiner
International Conference on Concurrency Theory, 172-186, 2008
32008
Towards communication-based steering of complex distributed systems
K Dräger, M Kwiatkowska
Monterey Workshop, 353-368, 2012
12012
Model Checking Stochastic Branching Processes
K Draeger
2012
of SFB/TR 14 AVACS
K Dräger, B Finkbeiner
2008
Slicing Abstractions
K Draeger
Fundamenta Informaticae 89 (4), 2008
2008
Uppaal/DMC–Abstraction− based Heuristics for Directed Model Checking
K Draeger
2007
The Program Committee Co-Chairs are very grateful for the substantial effort put in by the many reviewers outside of the Technical Program Committee. Samy Abbes Jan Krcal S …
H Alhakami, Y Lembachar, MS Alvim, M Loreti, A Angius, U Loup, ...
SLAB Benchmarks
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
The system can't perform the operation now. Try again later.
Articles 1–19