Follow
Ernst Moritz Hahn
Ernst Moritz Hahn
Verified email at utwente.nl
Title
Cited by
Cited by
Year
The ins and outs of the probabilistic model checker MRMC
JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen
Performance evaluation 68 (2), 90-104, 2011
4452011
Probabilistic reachability for parametric Markov models
EM Hahn, H Hermanns, L Zhang
International Journal on Software Tools for Technology Transfer 13 (1), 3-19, 2011
2442011
PARAM: A model checker for parametric Markov models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 660-664, 2010
1682010
A compositional modelling and analysis framework for stochastic hybrid systems
EM Hahn, A Hartmanns, H Hermanns, JP Katoen
Formal Methods in System Design 43 (2), 191-232, 2013
1482013
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2019
1382019
IscasMC: A web-based probabilistic model checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
1142014
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods Symposium, 146-161, 2011
1132011
Jani: Quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
1112017
Measurability and safety verification for stochastic hybrid systems
M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang
Proceedings of the 14th international conference on Hybrid systems …, 2011
1082011
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
European Journal of Control 18 (6), 572-587, 2012
1072012
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
862013
Lazy Probabilistic Model Checking without Determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
LIPIcs-Leibniz International Proceedings in Informatics 42, 2015
572015
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
562019
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
522011
PASS: Abstraction refinement for infinite probabilistic models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2010
522010
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
402009
Time-bounded model checking of infinite-state continuous-time Markov chains
L Zhang, H Hermanns, EM Hahn, B Wachter
Application of Concurrency to System Design, 2008. ACSD 2008. 8th …, 2008
392008
Towards a unified model-based safety assessment
T Peikenkamp, A Cavallo, L Valacca, E Böde, M Pretzer, EM Hahn
International Conference on Computer Safety, Reliability, and Security, 275-288, 2006
392006
QPMC: a model checker for quantum programs and protocols
Y Feng, EM Hahn, A Turrini, L Zhang
International Symposium on Formal Methods, 265-272, 2015
372015
Model checking for performability
C Baier, EM Hahn, BR Haverkort, H Hermanns, JP Katoen
Mathematical structures in computer science 23 (04), 751-795, 2013
372013
The system can't perform the operation now. Try again later.
Articles 1–20