关注
Ernst Moritz Hahn
Ernst Moritz Hahn
University of Twente
在 utwente.nl 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
4392011
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
2362011
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
1642010
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
1442013
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods Symposium, 146-161, 2011
1102011
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
1092019
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
1072014
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
1052011
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
1012017
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
1012012
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
852013
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
532019
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
Lazy Probabilistic Model Checking without Determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
LIPIcs-Leibniz International Proceedings in Informatics 42, 2015
512015
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
512011
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
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
382009
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
372006
Model checking for performability
C Baier, EM Hahn, BR Haverkort, H Hermanns, JP Katoen
Mathematical structures in computer science 23 (04), 751-795, 2013
362013
Multi-objective robust strategy synthesis for interval Markov decision processes
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
International Conference on Quantitative Evaluation of Systems, 207-223, 2017
342017
系统目前无法执行此操作，请稍后再试。
文章 1–20