Ernst Moritz Hahn

Cited by

	All	Since 2016
Citations	2011	1151
h-index	24	17
i10-index	31	27

260

130

195

200920102011201220132014201520162017201820192020202115 57 112 131 125 179 199 200 221 201 242 224 63

Public access

View all

43 articles

2 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
Zhikun SheSchool of Mathematics and Systems Science, Beihang UniversityVerified email at buaa.edu.cn
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Pepijn CrouzenGoogle inc.Verified email at google.com
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Nicolás WolovickFull Professor of Computer Science, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Yuan FengUniversity of Technology SydneyVerified email at tsinghua.edu.cn
Taolue ChenDepartment of Computer Science, University of SurreyVerified email at surrey.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Frits DannenbergVerified email at caltech.edu
Eckard BödeOFFIS - Institute for Information TechnologyVerified email at offis.de

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	404	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	164	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	149	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	114	2013
Synthesis for PCTL in parametric Markov decision processes EM Hahn, T Han, L Zhang NASA Formal Methods Symposium, 146-161, 2011	90	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	82	2011
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	80	2014
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	70	2013
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	70	2010
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	56	2017
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	52	2019
Model checking algorithms for CTMDPs P Buchholz, EM Hahn, H Hermanns, L Zhang International Conference on Computer Aided Verification, 225-242, 2011	50	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	46	2010
Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International SPIN Workshop on Model Checking of Software, 88-106, 2009	46	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	38	2008
Lazy Probabilistic Model Checking without Determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang LIPIcs-Leibniz International Proceedings in Informatics 42, 2015	35	2015
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	35	2006
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 641-647, 2009	34	2009
Model checking for performability C Baier, EM Hahn, BR Haverkort, H Hermanns, JP Katoen Mathematical structures in computer science 23 (04), 751-795, 2013	32	2013
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	30	2011

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

Upload PDF

Follow this author

Cited by

Co-authors