基本信息
Ernst Moritz Hahn 男 软件研究所
电子邮件:moritz@ios.ac.cn 
个人网页:http://lcs.ios.ac.cn/~hahn/
通信地址:北京市海淀区中关村南四街4号计算机科学国家重点实验室
邮政编码:

研究领域

   

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
模型检测
概率系统、分布式系统、网络系统的正确性验证

教育背景

2008-05--2012-10 德国萨尔大学 ph.D.
2006-10--2008-04 德国萨尔大学 Master
2002-10--2005-09 德国奥登堡大学 Bachelor
1995-08--2002-06 Altes Gymnasium Oldenburg Abitur
学历
   
学位
   

工作经历

   
工作简历
2012-10--今 University of Oxford Research Assistant
2010-05--2012-10 德国萨尔大学 ResearchAssistant
2005-10--2006-10 OFFIS, Safety Analysis & Verification(Oldenburg) Research Assistant
2002-06--2002-10 Volkswagen vacation work
社会兼职
   

教授课程

   

专利与奖励

   
奖励信息
   
专利成果
   

出版信息

   
发表论文
(1) Rewarding probabilistic hybrid automata,HSCC,2013,第1作者
(2) Model checking for performability,Mathematical Structures in Computer Science (MSCS),2013,第1作者
(3) Safety veri cation for probabilistic hybrid systems,European Journal of Control (EJC),2012,第5作者
(4) A compositional modelling and analysis framework for stochastic hybrid systems,Formal Methods in System Design (FMSD),2012,第1作者
(5) Variable probabilistic abstraction re nement,ATVA,2012,第2作者
(6) The ins and outs of the probabilistic model checker MRMC,Performance Evaluation(PEVA),2011,第3作者
(7) Reachability analysis for incomplete networks of Markov decision processes,Formal Methods and Models for Codesign (MEMOCODE),2011,第2作者
(8) Synthesis for pctl in parametric Markov decision processes,NASA Formal Methods Symposium (NFM),volume 6617 of Lecture Notes in Computer Science (LNCS),2011,第1作者
(9) Model checking algorithms for CTMDPs,Computer Aided Veri cation (CAV),volume 6806 of Lecture Notes in Computer Science (LNCS),2011,第2作者
(10) Game-based abstraction and controller synthesis for probabilistic hybrid systems,Quantitative Evaluation of SysTems (QEST),2011,第1作者
(11) Measurability and safety verification for stochastic hybrid systems,Hybrid Systems:Computation and Control (HSCC),2011,第2作者
(12) Bounded fairness for probabilistic distributed algorithms,Application of Concurrency to System Design (ACSD),2011,第2作者
(13) Probabilistic reachability for parametric Markov models,Journal on Software Tools for Technology Transfer (STTT),2011,第1作者
(14) Time-bounded reachability in distributed input/output interactive probabilistic chains,SPIN Workshop on Model Checking of Software (SPIN),volume 6349 of Lecture Notes in Computer Science (LNCS),2010,第4作者
(15) Pass: Abstraction refinement for infinite probabilistic models,Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 6015 of Lecture Notes in Computer Science(LNCS),2010,第1作者
(16) Symblicit calculation of longrun averages for concurrent probabilistic systems,Quantitative Evaluation of SysTems(QEST),2010,第4作者
(17) Safety verification for probabilistic hybrid systems,Computer Aided Verification (CAV),volume 6174 of Lecture Notes in Computer Science (LNCS),2010,第5作者
(18) Param: A model checker for parametric Markov models,Computer Aided Verification (CAV), volume 6174 of Lecture Notes in Computer Science (LNCS),2010,第1作者
(19) The ins and outs of the probabilistic model checker MRMC,Quantitative Evaluation of SysTems (QEST),2009,第3作者
(20) Time-bounded model checking of infinite-state continuous-time Markov chains,Fundamenta Informaticae(FI),2009,第1作者
(21) Infamy: An in nite-state Markov model checker,Computer Aided Veri cation (CAV), volume 5643 of Lecture Notes in Computer Science (LNCS),2009,第1作者
(22) Probabilistic reachability for parametric Markov models,SPIN Workshop on Model Checking of Software (SPIN),volume 5578 of Lecture Notes in Computer Science (LNCS),2009,第1作者
(23) Time-bounded model checking of infinite-state continuous-time Markov chains,Application of Concurrency to System Design (ACSD),2008,第3作者
(24) Towards a unified model-based safety assessment,Computer Safety, Reliability and Security (SAFECOMP), volume 4166 of Lecture Notes in Computer Science (LNCS),2006,通讯作者
发表著作
   

科研活动

   
科研项目
   
参与会议
   

合作情况

   
项目协作单位
   

指导学生