Sledovat
Ernst Moritz Hahn
Ernst Moritz Hahn
University of Twente
E-mailová adresa ověřena na: utwente.nl
Název
Citace
Citace
Rok
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
4582011
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
2502011
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
1712010
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
1612013
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
1512019
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
1192014
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
1172017
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods Symposium, 146-161, 2011
1172011
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
1122011
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
1112012
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
902013
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
602019
Lazy Probabilistic Model Checking without Determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
LIPIcs-Leibniz International Proceedings in Informatics 42, 2015
582015
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
552010
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
522011
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
422009
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
412006
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
402008
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
382017
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
382015
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20