Travelled to:1 × Cyprus
1 × Norway
1 × Singapore
1 × USA
1 × United Kingdom
2 × France
Collaborated with:L.Zhang H.Hermanns B.Wachter A.Turrini S.Schewe D.Spieler Y.Feng P.Buchholz L.Z.0001 Y.Li Z.She S.Ratschan
Talks about:model (9) probabilist (4) checker (4) markov (3) algorithm (2) infinit (2) check (2) protocol (1) parametr (1) abstract (1)
Person: Ernst Moritz Hahn
DBLP: Hahn:Ernst_Moritz
Contributed to:
20152014
2014
20112010
201020092016Wrote 9 papers:
- FM-2015-FengHTZ #model checking #named #protocol #quantum #source code
- QPMC: A Model Checker for Quantum Programs and Protocols (YF, EMH, AT, LZ), pp. 265–272.
- FM-2014-HahnLSTZ #model checking #named #probability
- iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
- QAPL-2014-SpielerHZ #markov #model checking #modelling
- Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.
- CAV-2011-BuchholzHHZ #algorithm #model checking
- Model Checking Algorithms for CTMDPs (PB, EMH, HH, LZ), pp. 225–242.
- CAV-2010-HahnHWZ #markov #model checking #modelling #named #parametricity
- PARAM: A Model Checker for Parametric Markov Models (EMH, HH, BW, LZ), pp. 660–664.
- CAV-2010-ZhangSRHH #hybrid #probability #safety #verification
- Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
- TACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
- PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
- CAV-2009-HahnHWZ #infinity #markov #model checking #named
- INFAMY: An Infinite-State Markov Model Checker (EMH, HH, BW, LZ), pp. 641–647.
- CAV-2016-HahnSTZ #algorithm #game studies #probability
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games (EMH, SS, AT, LZ0), pp. 291–311.