个人简介
招生专业
083500-软件工程
081202-计算机软件与理论
085400-电子信息
招生方向
系统软件验证、智能软件分析
并发程序分析、验证与测试
工作简历
2010-07~现在, 中国科学院软件研究所, 副研究员
2007-09~2010-07,英国伦敦大学学院（University College London）计算机系, Research Associate
2005-09~2007-09,法国巴黎高工（Ecole Polytechnique）计算机系, 博士后
科研项目
（ 1 ） 基于测试用例多样性的并发软件适应性测试方法研究, 主持, 国家级, 2012-01--2014-12
（ 2 ） 基于逻辑的新型计算模型, 参与, 国家级, 2012-01--2016-12
（ 3 ） 确定性表达式及其子类的理论问题与工具研究, 参与, 国家级, 2015-01--2018-12
（ 4 ） 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
（ 5 ） 高安全可信移动终端操作系统安全防护关键技术研究, 参与, 国家级, 2017-07--2020-06
（ 6 ） 内生安全应用构造技术, 参与, 国家级, 2019-01--2020-12
（ 7 ） XX智能控制系统形式设计验证理论及应用, 参与, 国家级, 2019-06--2022-06
参与会议
（1）Assume-Guarantee Verification with Local Specifications ICFEM 2010 Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 2010-11-17
（2）Model Checking Optimisation-Based Congestion Control Models CS-P 2009 Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 2009-09-28
（3）Symbolic Bisimulations for Probabilistic Systems QEST 2007 Peng Wu, Catuscia Palamidessi, Huimin Lin 2007-09-16
（4）Model Checking the Probabilistic pi-Calculus QEST 2007 Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 2007-09-16
（5）Symbolic Test Generation Using a Temporal Logic with Constrained Events TESTCOM/FATES 2007 Peng Wu, Daguang Liu and Huimin Lin 2007-06-26
（6）Measuring Anonymity with Relative Entropy FAST 2006 Yuxin Deng, Jun Pang, Peng Wu 2006-08-26
（7）Compositional Modelling and Verification of IPv6 Mobility FORTE 2005 Peng Wu, Dongmei Zhang 2005-10-02
（8）Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints QSIC 2005 Peng Wu, Huimin Lin 2005-09-19
（9）Iterative Metamorphic Testing COMPSAC 2005 Peng Wu 2005-07-26
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） An Iterative Metamorphic Testing Technique for Web Services and Case Studies, Int. J. Web and Grid Services, 2020, 第 6 作者
（2） Localization of Linearizability Faults on the Coarse-Grained Level, International Journal of Software Engineering and Knowledge Engineering, 2018, 通讯作者
（3） Diversity driven adaptive test generation for concurrent data structures, Information and Software Technology, 2018, 通讯作者
（4） Interleaving-Tree Based Fine-Grained Linearizability Fault Localization, SETTA 2018, 2018, 通讯作者
（5） TSO-to-TSO Linearizability is Undecidable, Acta Informatica, 2018, 第 3 作者
（6） Decidability of Linearizabilities for Relaxed Data Structures, Science China Information Sciences, 2018, 第 3 作者
（7） Synthesizing Coalitions for Multi-agent Games, IFM 2017, 2017, 通讯作者
（8） Localization of Linearizability Faults on the Coarse-Grained Level, SEKE 2017, 2017, 通讯作者
（9） Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017, 2017, 第 3 作者
（10） An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, ICECCS 2016, 2016, 通讯作者
（11） Modelling and Analysis of Network Security - an Algebraic Approach, IEEE TrustCom-16, 2016, 第 3 作者
（12） Input-driven Active Testing of Multi-threaded Programs, APSEC 2015, 2015, 通讯作者
（13） TSO-to-TSO Linearizability is Undecidable, ATVA 2015, 2015, 第 3 作者
（14） Efficiently and Completely Verifying Synchronized Consistency Models, ATVA 2014, 2014, 第 5 作者
（15） Assume-Guarantee Verification with Local Specifications, International Journal of Foundations of Computer Science, 2013, 通讯作者
（16） Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 通讯作者
（17） Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus, IEEE Transactions on Software Engineering, 2009, 通讯作者
（18） Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, International Journal of Software Engineering and Knowledge Engineering, 2006, 第 1 作者
（19） Analyzing Interoperability of Protocols Using Model Checking, The Chinese Journal of Electronics, 2005, 第 1 作者
（20） Metamorphic Testing and Special Case Testing: A Case Study, Journal of Software, 2005, 第 1 作者
京公网安备 11010802027423号