Ernst Moritz Hahn

Cited by

	All	Since 2018
Citations	2711	1438
h-index	25	20
i10-index	38	29

300

150

225

20092010201120122013201420152016201720182019202020212022202314 54 105 130 122 189 199 199 215 209 240 228 282 267 212

Public access

View all

56 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
Pepijn CrouzenGoogle inc.Verified email at google.com
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
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 FengUniversity of Technology SydneyVerified email at uts.edu.au
Nicolás WolovickFull Professor of Computer Science, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Taolue ChenDepartment of Computer Science, 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	445	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	244	2011
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	168	2010
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	148	2013
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	138	2019
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	114	2014
Synthesis for PCTL in parametric Markov decision processes EM Hahn, T Han, L Zhang NASA Formal Methods Symposium, 146-161, 2011	113	2011
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	111	2017
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	108	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	107	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	86	2013
Lazy Probabilistic Model Checking without Determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang LIPIcs-Leibniz International Proceedings in Informatics 42, 2015	57	2015
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	56	2019
Model checking algorithms for CTMDPs P Buchholz, EM Hahn, H Hermanns, L Zhang International Conference on Computer Aided Verification, 225-242, 2011	52	2011
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	52	2010
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 641-647, 2009	40	2009
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	39	2008
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	39	2006
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	37	2015
Model checking for performability C Baier, EM Hahn, BR Haverkort, H Hermanns, JP Katoen Mathematical structures in computer science 23 (04), 751-795, 2013	37	2013

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