Klaus Dräger

15 papers A 3B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2016 B conf
The Invariance Problem for Matrix Semigroups.
FoSSaCS
Klaus Dräger
2015 J jnl
Permissive Controller Synthesis for Probabilistic Systems.
Log. Methods Comput. Sci.
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014 J jnl
Local abstraction refinement for probabilistic timed programs.
Theor. Comput. Sci.
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2014 A conf
Permissive Controller Synthesis for Probabilistic Systems.
TACAS
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2012 J jnl
Model Checking Stochastic Branching Processes
CoRR
Taolue Chen, Klaus Dräger, Stefan Kiefer
2012 B conf
Model Checking Stochastic Branching Processes.
MFCS
Taolue Chen, Klaus Dräger, Stefan Kiefer
2012 — conf
Towards Communication-Based Steering of Complex Distributed Systems.
Monterey Workshop
Klaus Dräger, Marta Z. Kwiatkowska
2010 A conf
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
TACAS
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
2010 — —
Subsequence invariants.
Klaus Dräger
2009 J jnl
Directed model checking with distance-preserving abstractions.
Int. J. Softw. Tools Technol. Transf.
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
2008 J jnl
Slicing Abstractions.
Fundam. Informaticae
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2008 B conf
Subsequence Invariants.
CONCUR
Klaus Dräger, Bernd Finkbeiner
2007 — conf
Slicing Abstractions.
FSEN
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
2007 A conf
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
2006 — conf
Directed Model Checking with Distance-Preserving Abstractions.
SPIN
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski