| 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 | 116 | 2009 |
| 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 | 63 | 2007 |
| 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 | 50 | 2010 |
| 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 | 32 | 2007 |
| Model checking stochastic branching processes T Chen, K Dräger, S Kiefer International Symposium on Mathematical Foundations of Computer Science, 271-282, 2012 | 19 | 2012 |
| Subsequence invariants K Dräger, B Finkbeiner International Conference on Concurrency Theory, 172-186, 2008 | 3 | 2008 |
| Towards communication-based steering of complex distributed systems K Dräger, M Kwiatkowska Monterey Workshop, 353-368, 2012 | 1 | 2012 |
| 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 | | |
