Dr. Klaus Dräger

While being a member of this group or in collaboration with us.

• SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
  Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner and Heike Wehrheim · TACAS 2010
• Slicing Abstractions
  Ingo Brückner, Klaus Dräger, Bernd Finkbeiner and Heike Wehrheim · FI 2008
• Directed Model Checking with Distance-preserving Abstractions
  Klaus Dräger, Bernd Finkbeiner and Andreas Podelski · STTT 2008
• Subsequence Invariants
  Klaus Dräger and Bernd Finkbeiner · CONCUR 2008
• UPPAAL/DMC – Abstraction-based Heuristics for Directed Model Checking
  Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski and Gerd Behrmann · TACAS 2007
• Slicing Abstractions
  Ingo Brückner, Klaus Dräger, Bernd Finkbeiner and Heike Wehrheim · FSEN 2007 · Best paper award
• Directed Model Checking with Distance-Preserving Abstractions
  Klaus Dräger, Bernd Finkbeiner and Andreas Podelski · SPIN 2006

While being a member of this group or in collaboration with us.

• Subsequence Invariants
  Klaus Dräger · UdS