Klaus Dräger

According to our database, Klaus Dräger authored at least 11 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

The Invariance Problem for Matrix Semigroups.

Klaus Dräger

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Local abstraction refinement for probabilistic timed programs.

Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu

Theor. Comput. Sci., 2014

Permissive Controller Synthesis for Probabilistic Systems.

Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2012

Towards Communication-Based Steering of Complex Distributed Systems.

Klaus Dräger, Marta Z. Kwiatkowska

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Model Checking Stochastic Branching Processes.

Taolue Chen, Klaus Dräger, Stefan Kiefer

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2010

Subsequence invariants.

Klaus Dräger

PhD thesis, 2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2008

Subsequence Invariants.

Klaus Dräger, Bernd Finkbeiner

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Slicing Abstractions.

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Directed Model Checking with Distance-Preserving Abstractions.

Klaus Dräger, Bernd Finkbeiner, Andreas Podelski

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006