Klaus Draeger

Research Assistant

Wolfson Building, Parks Road, Oxford OX1 3QD

Selected Publications

View all

Manage publications

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 | BibTeX

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 | BibTeX

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 | BibTeX