Joachim Meyer-Kayser

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

University of Erlangen-Nuremberg (PHD)

Education History

University of Erlangen-Nuremberg

PHD

Publications

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
ETMCC: Model Checking Performability Properties of Markov Chains. DSN (2003)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
Towards Model Checking Stochastic Process Algebra. IFM (2000)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A Markov Chain Model Checker. TACAS (2000)