Ernst Moritz Hahn
Ernst Moritz Hahn
Marie Skłodowska Curie Fellow, University of Liverpool
Verified email at liverpool.ac.uk - Homepage
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
3782011
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
1372011
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
1242010
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
962013
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods Symposium, 146-161, 2011
792011
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
692011
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
672014
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
International Conference on Computer Aided Verification, 196-211, 2010
662010
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
Theoretical Aspects of Software Engineering (TASE), 2013 International …, 2013
652013
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
462011
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
422010
Probabilistic reachability for parametric Markov models
EM Hahn, H Hermanns, L Zhang
International SPIN Workshop on Model Checking of Software, 88-106, 2009
422009
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
382008
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
342009
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
332006
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
322017
Model checking for performability
C Baier, EM Hahn, BR Haverkort, H Hermanns, JP Katoen
Mathematical structures in computer science 23 (04), 751-795, 2013
302013
Game-based abstraction and controller synthesis for probabilistic hybrid systems
EM Hahn, G Norman, D Parker, B Wachter, L Zhang
Quantitative Evaluation of Systems (QEST), 2011 Eighth International …, 2011
272011
Symblicit calculation of long-run averages for concurrent probabilistic systems
R Wimmer, B Braitling, B Becker, EM Hahn, P Crouzen, H Hermanns, ...
Quantitative Evaluation of Systems (QEST), 2010 Seventh International …, 2010
272010
Lazy Probabilistic Model Checking without Determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
LIPIcs-Leibniz International Proceedings in Informatics 42, 2015
232015
The system can't perform the operation now. Try again later.
Articles 1–20