Ernst Moritz Hahn

Assistant Professor, EEMCS, University of Twente

Joined

July 2022

Names

Ernst Moritz Hahn (Preferred)

Emails

****@utwente.nl (Confirmed)

****@gmx.de (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Assistant Professor

EEMCS, University of Twente (utwente.nl)

2020 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

PFL: a Probabilistic Logic for Fault Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
- Published: 01 Jan 2023, Last Modified: 16 May 2023
- CoRR 2023
- Readers: Everyone
sfPFL: A Probabilistic Logic for Fault Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
- Published: 01 Jan 2023, Last Modified: 16 May 2023
- FM 2023
- Readers: Everyone
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
- Published: 01 Jan 2019, Last Modified: 15 May 2023
- TACAS (3) 2019
- Readers: Everyone
JANI: Quantitative Model and Tool Interaction
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
- 2017 (modified: 14 Mar 2022)
- TACAS (2) 2017
- Readers: Everyone
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs
Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu
- Published: 01 Jan 2016, Last Modified: 16 Nov 2023
- ECAI 2016
- Readers: Everyone
A compositional modelling and analysis framework for stochastic hybrid systems
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
- 2013 (modified: 18 Feb 2023)
- Formal Methods Syst. Des. 2013
- Readers: Everyone
Model checking for performability
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
- 2013 (modified: 18 Feb 2023)
- Math. Struct. Comput. Sci. 2013
- Readers: Everyone
The ins and outs of the probabilistic model checker MRMC
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
- 2011 (modified: 18 Feb 2023)
- Perform. Evaluation 2011
- Readers: Everyone
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
- Published: 01 Jan 2011, Last Modified: 16 Feb 2024
- QEST 2011
- Readers: Everyone
The Ins and Outs of the Probabilistic Model Checker MRMC
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
- 2009 (modified: 18 Feb 2023)
- QEST 2009
- Readers: Everyone

Co-Authors

View all 28 co-authors