Klaus Drger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2007–2016
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FOSSACS | The Invariance Problem for Matrix Semigroups. | Klaus Drger |
| 2014 | TACAS | Permissive Controller Synthesis for Probabilistic Systems. | Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2012 | MFCS | Model Checking Stochastic Branching Processes. | Taolue Chen, Klaus Drger, Stefan Kiefer |
| 2010 | TACAS | SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. | Klaus Drger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim |
| 2008 | CONCUR | Subsequence Invariants. | Klaus Drger, Bernd Finkbeiner |
| 2007 | TACAS | Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. | Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |