E. MORITZ HAHN

The following informations may be outdated

Ernst Moritz Hahn is currently a postdoc at Oxford University, UK.

I am a Ph.D student at the chair of Prof. Dr.-Ing. Holger Hermanns since summer 2008. My work was supported by the graduate school "Leistungsgarantien für Rechnersysteme" of the German Research Foundation (DFG).

Currently, I am working in the area of continuous-time Markov chains with infinite state-space, parametric Markov models and stochastic hybrid systems.

	AVACS (S2, S3, H4)
	Quasimodo
	ROCKS

	SS11: Tutor for the lecture Data Networks by Prof. Dr.-Ing. Holger Hermanns
	WS10/11: Assistant for the proseminar Im Zoo der Automaten by Prof. Dr.-Ing. Holger Hermanns
	SS10: Assistant for the advanced course Quantitative Model Checking by Prof. Dr.-Ing. Holger Hermanns
	SS09: Assistant for the advanced course Quantitative Model Checking by Dr. Lijun Zhang
	WS08/09: Assistant for the advanced course Testing Techniques by Prof. Dr.-Ing. Holger Hermanns and Dr. Julien Schmaltz
	WS08/09: Assistant for the proseminar Im Zoo der Automaten by Prof. Dr.-Ing. Holger Hermanns
	SS08: Student assistant for the lecture Nebenläufige Programmierung by Prof. Dr.-Ing. Holger Hermanns
	SS07: Student assistant for the lecture Embedded Systems by Prof. Bernd Finkbeiner, Ph.D.

	Variable Probabilistic Abstraction Refinement, Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, and Björn Wachter, accepted at ATVA'12
	A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems, Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, and Joost-Pieter Katoen, accepted at FMSD
	Model Checking for Performability, Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, accepted at MSCS
	Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems, Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter and Lijun Zhang, QEST'11
	Reachability Analysis for Incomplete Networks of Markov Decision Processes, Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker, MEMOCODE'11
	Safety Verification for Probabilistic Hybrid Systems, Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns and Ernst Moritz Hahn, accepted at EJC (extended version of CAV'10)
	Model Checking Algorithms for CTMDPs, Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, and Lijun Zhang, CAV'2011
	Bounded Fairness for Probabilistic Distributed Algorithms, Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, and Bernd Becker, ACSD'2011 (best paper award)
	Synthesis for PCTL in Parametric Markov Decision Processes, Ernst Moritz Hahn, Tingting Han and Lijun Zhang, NFM'2011
	Measurability and Safety Verification for Stochastic Hybrid Systems, Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick and Lijun Zhang, HSCC'2011
	Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, E. Moritz Hahn, and Lijun Zhang, SPIN'2010
	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems, Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver Theel, QEST'2010
	The Ins and Outs of The Probabilistic Model Checker MRMC, Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen, PEVA (special issue devoted to QEST'09)
	Safety Verification for Probabilistic Hybrid Systems, Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns and Ernst Moritz Hahn, CAV'10
	PARAM: A Model Checker for Parametric Markov Models, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter and Lijun Zhang, CAV'10
	Probabilistic Reachability for Parametric Markov Models, Ernst Moritz Hahn, Holger Hermanns and Lijun Zhang, STTT (special issue devoted to SPIN'09)
	PASS: Abstraction Refinement for Infinite Probabilistic Models, Ernst Moritz Hahn, Holger Hermanns, Börn Wachter, Lijun Zhang, TACAS'10
	The Ins and Outs of The Probabilistic Model Checker MRMC, Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen, QEST'09
	Probabilistic Reachability for Parametric Markov Models, Ernst Moritz Hahn, Holger Hermanns and Lijun Zhang, SPIN'09
	INFAMY: An Infinite-State Markov Model Checker, E. Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang, CAV'09
	Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains, E. Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang, Fundamenta Informatica (special issue devoted to ACSD’08)
	Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains, Lijun Zhang, Holger Hermanns, E. Moritz Hahn, and Björn Wachter, ACSD'08
	Towards a Unified Model-Based Safety Assessment, Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer and E. Moritz Hahn, SAFECOMP'06

	Parametric Markov Model Analysis, Master Thesis, Saarland University, 2008
	Modellbasierte Missionsanalyse, Bachelor Thesis, Oldenburg University, 2005