Dr.-Ing. Joachim Meyer-Kayser


Publications

Academic Journals and Magazines

  1. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser and Markus Siegle, "A tool for model-checking Markov chains," in Int. Journal on Software Tools for Technology Transfer vol. 4, pp. 153-172, 2003
  2. H. Hermanns, J.-P. Katoen, Joachim Meyer-Kayser and Markus Siegle, "A tool for model checking Markov chains," in Journal on Software Tools for Technology Transfer, pp. -, 2002

Conferences and Workshops

  1. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser and Markus Siegle, "A Markov Chain Model Checker," Tool Proceedings of Aachen 2001 Int. Multiconference on Measurement, Modelling and Evaluation of Computer-CommunicationSystems, Dortmund, Dortmund, pp. 1-6, 2001
  2. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser and Markus Siegle, "Implementing a Model Checker for Performability Behaviour," Fifth Int. Workshop on Performability Modelling of Computer and Communication Systems (PMCCS5), Arbeitsbericht, Erlangen, 2001
  3. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser and Markus Siegle, "Towards Model Checking Stochastic Process Algebra," Proc. 2nd Int. Conf. on Integrated Formal Methods (IFM), Heidelberg, Dagstuhl, pp. 420-439, December 2000
  4. Holger Hermanns, Joachim Meyer-Kayser and Markus Siegle, "Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains," Proc of the 3rd Int. Workshop on the Numerical Solution of Markov Chains, Zaragoza, pp. 188-207, 1999

Technical Reports and Regional Workshops

  1. Joachim Meyer-Kayser, "Verifikation stochastischer, prozessalgebraischer Modelle mit aCSL+," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 01/03, 2003
  2. Joachim Meyer-Kayser, "ETMCC - The Erlangen-Twente Markov Chain Checker User's Guide," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 07/01, 2001
  3. Joachim Meyer-Kayser, Markus Siegle, Holger Hermanns and Joost-Pieter Katoen, "Model Checking Stochastic Process Algebra," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 2, 2000

Theses

  1. Joachim Meyer-Kayser, "Automatische Verifikation stochastischer Systeme," Friedrich-Alexander-Universität Erlangen-Nürnberg, Arbeitsberichte des Instituts für Informatik, Erlangen, pp. 136, Ph.D. thesis, 2004