Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Dr. Klaus Dräger
Now at
University of Westminster
Publications
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
Theses
While being a member of this group or in collaboration with us.
Subsequence Invariants
Klaus Dräger
·
UdS
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses