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 · 247 citations

Engineering, Uncertainty Quantification, Automated Reasoning +10

Probabilistic reachability for parametric Markov models

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

Engineering, Reachability Problem, Probabilistic System +4

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 · 152 citations

Stochastic Hybrid System, Engineering, Stochastic System +7

Measurability and safety verification for stochastic hybrid systems

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

Stochastic Hybrid System, Reachability Analysis, Prototypical Implementation +15

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

Engineering, Reachability Problem, Verification +18