Ernst Moritz Hahn

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 250 citations

Computing, Computer Science, Formal Methods +14

Probabilistic reachability for parametric Markov models

Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang · International Journal on Software Tools for Technology Transfer · 2010 · 180 citations

Engineering, Mathematics, Probability Theory +10

A compositional modelling and analysis framework for stochastic hybrid systems

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns et al. · Formal Methods in System Design · 2012 · 153 citations

Engineering, Mathematics, Systems Engineering +14

Measurability and safety verification for stochastic hybrid systems

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns et al. · 2011 · 91 citations

Engineering, Systems Engineering, Dynamical Systems +16

The Ins and Outs of the Probabilistic Model Checker MRMC

Joost-Pieter Katoen, Ivan S. Zapree, Ernst Moritz Hahn et al. · 2009 · 88 citations · Full text

Computing, Computer Science, Formal Methods +14