Joachim Meyer-Kayser

According to our database, Joachim Meyer-Kayser authored at least 5 papers between 2000 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Automatische Verifikation stochastischer Systeme.

Joachim Meyer-Kayser

PhD thesis, 2004

2003

A tool for model-checking Markov chains.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Int. J. Softw. Tools Technol. Transf., 2003

ETMCC: Model Checking Performability Properties of Markov Chains.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2000

A Markov Chain Model Checker.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Towards Model Checking Stochastic Process Algebra.

Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

Proceedings of the Integrated Formal Methods, Second International Conference, 2000