Klaus Draeger : Publications
Journal papers
-
[1]
Directed model checking with distance−preserving abstractions
Klaus Dräger‚ Bernd Finkbeiner and Andreas Podelski
In International Journal on Software Tools for Technology Transfer. Vol. 11. Pages 27−37. 2009.
Details about Directed model checking with distance−preserving abstractions | BibTeX data for Directed model checking with distance−preserving abstractions | DOI (10.1007/s10009-008-0092-z) | Link to Directed model checking with distance−preserving abstractions
-
[2]
Slicing Abstractions
Ingo Brückner‚ Klaus Dräger‚ Bernd Finkbeiner and Heike Wehrheim
In Fundamenta Informaticae. Vol. 89. No. 4. Pages 369−392. 2008.
Details about Slicing Abstractions | BibTeX data for Slicing Abstractions
Conference papers
-
[1]
Model Checking Stochastic Branching Processes
T. Chen‚ K. Dräger and S. Kiefer
In Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS). Vol. 7464 of LNCS. Springer. 2012.
Details about Model Checking Stochastic Branching Processes | BibTeX data for Model Checking Stochastic Branching Processes
-
[2]
Towards Communication−Based Steering of Complex Distributed Systems
K. Draeger and M. Kwiatkowska
In R. Calinescu and D. Garlan, editors, Development‚ Operation and Management of Large−Scale Complex IT Systems. Vol. 7539 of LNCS. Springer. 2012.
to appear
Details about Towards Communication−Based Steering of Complex Distributed Systems | BibTeX data for Towards Communication−Based Steering of Complex Distributed Systems
-
[3]
SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
Klaus Dräger‚ Andrey Kupriyanov‚ Bernd Finkbeiner and Heike Wehrheim
In Javier Esparza and Rupak Majumdar, editors, Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol. 6015 of Lecture Notes in Computer Science. Pages 271−274. Springer−Verlag. 2010.
Details about SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems | BibTeX data for SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
-
[4]
Subsequence Invariants
Klaus Dräger and Bernd Finkbeiner
In Franck van Breugel and Marsha Chechik, editors, Proceedings of the 19th International Conference on Concurrency Theory. Vol. 5201 of Lecture Notes in Computer Science. Pages 172−168. Berlin Heidelberg. 2008. Springer−Verlag.
Details about Subsequence Invariants | BibTeX data for Subsequence Invariants
-
[5]
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
In Orna Grumberg and Michael Huth, editors, Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol. 4424 of Lecture Notes in Computer Science. Pages 679–682. Berlin Heidelberg. 2007. Springer−Verlag.
Details about Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking | BibTeX data for Uppaal/DMC – Abstraction−based Heuristics for Directed Model Checking
-
[6]
Slicing Abstractions
Ingo Brückner‚ Klaus Dräger‚ Bernd Finkbeiner and Heike Wehrheim
In Farhad Arbab and Marjan Sirjani, editors, Proceedings of the International Symposium on Fundamentals of Software Engineering (FSEN). Vol. 4767 of Lecture Notes in Computer Science. Pages 17−32. Springer. 2007.
Details about Slicing Abstractions | BibTeX data for Slicing Abstractions
-
[7]
Directed Model Checking with Distance−Preserving Abstractions
Klaus Dräger‚ Bernd Finkbeiner and Andreas Podelski
In Antti Valmari, editor, Proceedings of the 13th International SPIN Workshop on Model Checking Software. Vol. 3925 of Lecture Notes in Computer Science. Pages 19−36. Berlin Heidelberg. 2006. Springer−Verlag.
Details about Directed Model Checking with Distance−Preserving Abstractions | BibTeX data for Directed Model Checking with Distance−Preserving Abstractions
Technical reports
-
[1]
Permissive Controller Synthesis for Probabilistic Systems
Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma
No. RR−14−01. DCS. 2014.
Details about Permissive Controller Synthesis for Probabilistic Systems | BibTeX data for Permissive Controller Synthesis for Probabilistic Systems | Download (pdf) of Permissive Controller Synthesis for Probabilistic Systems
-
[2]
Subsequence Invariants
Klaus Dräger and Bernd Finkbeiner
No. 42. SFB/TR 14 AVACS. June, 2008.
ISSN: 1860−9821‚ http://www.avacs.org.
Details about Subsequence Invariants | BibTeX data for Subsequence Invariants