EEMCS

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) A Markov Chain Model Checker. In: Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, 27-31 March 2000, Berlin, Germany. pp. 347-362. Lecture Notes in Computer Science 1785. Springer Verlag. ISBN 3-540-67282-6

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8

Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned