Dr.-Ing. Joachim Meyer-Kayser


Publikationen

Journale und Magazine

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

Konferenzen und Workshops

  1. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser und 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 und 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 und Markus Siegle, "Towards Model Checking Stochastic Process Algebra," Proc. 2nd Int. Conf. on Integrated Formal Methods (IFM), Heidelberg, Dagstuhl, pp. 420-439, Dezember 2000
  4. Holger Hermanns, Joachim Meyer-Kayser und 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

Technische Berichte und Regionale Workshops

  1. Joachim Meyer-Kayser, "Verifikation stochastischer, prozessalgebraischer Modelle mit aCSL+," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer 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, technischer Report 07/01, 2001
  3. Joachim Meyer-Kayser, Markus Siegle, Holger Hermanns und Joost-Pieter Katoen, "Model Checking Stochastic Process Algebra," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 2, 2000

Abschlussarbeiten

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

Weitere Informationen