Follow
Klaus Dräger
Title
Cited by
Cited by
Year
Directed model checking with distance-preserving abstractions
K Dräger, B Finkbeiner, A Podelski
International Journal on Software Tools for Technology Transfer 11, 27-37, 2009
1162009
Permissive controller synthesis for probabilistic systems
K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma
Logical Methods in Computer Science 11, 2015
67*2015
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
International Symposium on Fundamentals of Software Engineering …, 2007
632007
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
502010
Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking
S Kupferschmid, K Dräger, J Hoffmann, B Finkbeiner, H Dierks, ...
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
322007
Model checking stochastic branching processes
T Chen, K Dräger, S Kiefer
International Symposium on Mathematical Foundations of Computer Science, 271-282, 2012
192012
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
Permissive controller synthesis for probabilistic systems
K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
2014
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–15