Ernst Moritz Hahn

	2011
20		Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker: Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97
19		Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Model Checking Algorithms for CTMDPs. CAV 2011: 225-242
18		Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang: Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52
17		Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker: Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160
16		Ernst Moritz Hahn, Tingting Han, Lijun Zhang: Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161
15		Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang: Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78
14		David Spieler, Ernst Moritz Hahn, Lijun Zhang: Model Checking CSL for Markov Population Models CoRR abs/1111.4385: (2011)
13		Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The ins and outs of the probabilistic model checker MRMC. Perform. Eval. 68(2): 90-104 (2011)
12		Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic reachability for parametric Markov models. STTT 13(1): 3-19 (2011)
	2010
11		Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn: Safety Verification for Probabilistic Hybrid Systems. CAV 2010: 196-211
10		Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PARAM: A Model Checker for Parametric Markov Models. CAV 2010: 660-664
9		Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36
8		Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. SPIN 2010: 193-211
7		Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS 2010: 353-357
	2009
6		Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. CAV 2009: 641-647
5		Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The Ins and Outs of the Probabilistic Model Checker MRMC. QEST 2009: 167-176
4		Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. SPIN 2009: 88-106
3		Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Inform. 95(1): 129-155 (2009)
	2008
2		Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
	2006
1		Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn: Towards a Unified Model-Based Safety Assessment. SAFECOMP 2006: 275-288

Coauthor Index

1	Bernd Becker	[9] [17] [20]
2	Eckard Böde	[1]
3	Bettina Braitling	[9] [20]
4	Peter Buchholz	[19]
5	Georgel Calin	[8]
6	Antonella Cavallo	[1]
7	Pepijn Crouzen	[8] [9] [20]
8	Pedro R. D'Argenio	[8]
9	Abhishek Dhama	[9] [20]
10	Martin Fränzle	[18]
11	Tingting Han	[16]
12	Holger Hermanns	[2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [17] [18] [19] [20]
13	David N. Jansen	[5] [13]
14	Joost-Pieter Katoen	[5] [13]
15	Gethin Norman	[15]
16	David Parker	[15]
17	Thomas Peikenkamp	[1]
18	Matthias Pretzer	[1]
19	Stefan Ratschan	[11]
20	Zhikun She	[11]
21	David Spieler	[14]
22	Oliver E. Theel	[9] [20]
23	Laura Valacca	[1]
24	Björn Wachter	[2] [3] [6] [7] [10] [15]
25	Ralf Wimmer	[9] [17] [20]
26	Nicolás Wolovick	[18]
27	Ivan S. Zapreev	[5] [13]
28	Lijun Zhang	[2] [3] [4] [6] [7] [8] [10] [11] [12] [14] [15] [16] [18] [19]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page