Ernst Moritz Hahn

Cited by

	All	Since 2019
Citations	3033	1523
h-index	27	21
i10-index	40	30

280

140

210

200920102011201220132014201520162017201820192020202120222023202414 54 109 135 127 185 198 203 217 214 238 227 277 270 243 266

Public access

View all

55 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Pepijn CrouzenGoogle inc.Verified email at google.com
Zhikun SheSchool of Mathematics and Systems Science, Beihang UniversityVerified email at buaa.edu.cn
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Yuan FengTsinghua UniversityVerified email at tsinghua.edu.cn
Nicolás WolovickFull Professor of Computer Science, Universidad Nacional de CórdobaVerified email at unc.edu.ar
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Frits DannenbergVerified email at caltech.edu

Ernst Moritz Hahn

University of Twente

Verified email at utwente.nl

formal methods stochastic model checking


Title Sort by citations Sort by year Sort by 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	464	2011
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	266	2011
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	182	2013
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	180	2010
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	170	2019
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	137	2017
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	126	2014
Synthesis for PCTL in parametric Markov decision processes EM Hahn, T Han, L Zhang NASA Formal Methods Symposium, 146-161, 2011	123	2011
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	118	2011
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	116	2012
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	94	2013
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	69	2019
Lazy Probabilistic Model Checking without Determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang LIPIcs-Leibniz International Proceedings in Informatics 42, 2015	63	2015
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	60	2010
Model checking algorithms for CTMDPs P Buchholz, EM Hahn, H Hermanns, L Zhang International Conference on Computer Aided Verification, 225-242, 2011	53	2011
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	45	2015
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 641-647, 2009	43	2009
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	41	2006
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	40	2008
Good-for-MDPs automata for probabilistic analysis and reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International Conference on Tools and Algorithms for the Construction and …, 2020	39	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors