基本信息
张立军  男  博导  中国科学院软件研究所
电子邮件: zhanglj@ios.ac.cn
通信地址: 北京市海淀区中关村南四街4号
邮政编码:

研究领域

研究领域主要是基于马尔科夫模型及其扩展的概率并发系统的模型检验。作为模型检验的重要扩展,概率模型检验是热门前沿基础研究领域之一。学术成果在著名会议和杂志上发表,例如 CAV、CONCUR、LICS、POPL、ETAPS/TACAS、LMCS、 AAAI、Inf. & Comp.等。论文请参考:
http://iscasmc.ios.ac.cn/?page_id=819

招生信息

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

教育背景

2000-10--2008-12   德国萨尔大学   本科,研究生,博士
学历
   
学位
   

工作经历

   
工作简历
2012-11~2013-05,丹麦科技大学, 副教授
2010-04~2012-10,丹麦科技大学, 助理教授
2009-12~2010-03,牛津大学, 助理研究员(Research Assistant)
2008-12~2009-11,德国萨尔大学, 博士后
2000-10~2008-12,德国萨尔大学, 本科,研究生,博士
社会兼职
2014-01-01-今,利物浦大学访问教授,
2012-11-01-今,德国萨尔大学客座教授,

专利与奖励

   
奖励信息
   
专利成果
   

出版信息

   
发表论文
(1) IscasMC: A Web-Based Probabilistic Model Checker, International symposium of the Formal Methods Europe association (FM), 2014, 第 通讯作者 作者
(2) When Equivalence and Bisimulation Join Forces in Probabilistic Automata, International symposium of the Formal Methods Europe association (FM), 2014, 第 通讯作者 作者
(3) Probably Safe or Life, CSL-LICS, 2014, 第 通讯作者 作者
(4) A tighter bound for the self stabilization time in Hermans algorithm, INFORMATION PROCESSING LETTERS, 2013, 第 通讯作者 作者
(5) Bisimulations meet PCTL equivalences for probabilistic automata, LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 第 通讯作者 作者
(6) Model checking conditional CSL for continuous-time Markov chains, INFORMATION PROCESSING LETTERS, 2013, 第 通讯作者 作者
(7) The quest for minimal quotients for probabilistic automata, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013, 第 5 作者
(8) LTL Satisfiability Checking Revisited, International Symposium on Temporal Representation and Reasoning (TIME), 2013, 第 通讯作者 作者
(9) Efficient CSL Model Checking Using Stratification, Logical Methods in Computer Science, 2012, 第 1 作者
(10) Automata-based CSL model checking, International Colloquium on Automata, Languages and Programming (ICALP), 2011, 第 1 作者
(11)  On Probabilistic Automata In Continuous Time, Annual IEEE Symposium on Logic in Computer Science (LICS) , 2011, 第 3 作者
(12) Model Checking Algorithms for CTMDPs, Computer Aided Verification (CAV), 2011, 第 3 作者
(13) Safety Verification for Probabilistic Hybrid Systems, Computer Aided Verification (CAV), 2010, 第 1 作者
发表著作
   

指导学生

现指导学生

付辰  博士研究生  081202-计算机软件与理论