J. Meyer-Kayser

Statistics

Publications

Citations

232

H-Index

Active since

1999

Affiliations

Friedrich-Alexander-Universität Erlangen-Nürnberg(Current)

University of Twente

J. Meyer-Kayser is an author at Friedrich-Alexander-Universität Erlangen-Nürnberg specializing in formal verification, software analysis, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisParallel ComputingAutomated ReasoningSystems Engineering

Publications per year

1999–2004

Publications

Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

Holger Hermanns, J. Meyer-Kayser, Markus Siegle · 1999 · 127 citations

A tool for model-checking Markov chains

Joost-Pieter Katoen, J. Meyer-Kayser, Markus Siegle et al. · International Journal on Software Tools for Technology Transfer · 2003 · 87 citations · Full text

Engineering, Program Analysis, Automated Reasoning +9

ETMCC: model checking performability properties of Markov chains

Holger Hermanns, Joost-Pieter Katoen, J. Meyer-Kayser et al. · 2004 · 18 citations

Numerical Engine, Engineering, Performability Properties +14

1–3 of 3