吴鹏  男  硕导  中国科学院软件研究所
电子邮件: wp@ios.ac.cn
通信地址: 北京8718信箱计算机科学国家重点实验室
邮政编码: 100190

研究领域

并发理论、模型检测与测试

工作经历

   
工作简历
2010-07~现在, 中国科学院软件研究所, 副研究员
2007-09~2010-07,英国伦敦大学学院(University College London)计算机系, Research Associate
2005-09~2007-09,法国巴黎高工(Ecole Polytechnique)计算机系, 博士后

出版信息

   
发表论文
(1) Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017, 2017, 第 3 作者
(2) An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, ICECCS 2016, 2016, 通讯作者
(3) Modelling and Analysis of Network Security - an Algebraic Approach, IEEE TrustCom-16, 2016, 第 3 作者
(4) Input-driven Active Testing of Multi-threaded Programs, APSEC 2015, 2015, 通讯作者
(5) TSO-to-TSO Linearizability is Undecidable, ATVA 2015, 2015, 第 3 作者
(6) Efficiently and Completely Verifying Synchronized Consistency Models, ATVA 2014, 2014, 第 5 作者
(7) Assume-Guarantee Verification with Local Specifications, International Journal of Foundations of Computer Science, 2013, 通讯作者
(8) Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 通讯作者
(9) Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus, IEEE Transactions on Software Engineering, 2009, 通讯作者
(10) Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, International Journal of Software Engineering and Knowledge Engineering, 2006, 第 1 作者
(11) Analyzing Interoperability of Protocols Using Model Checking, The Chinese Journal of Electronics, 2005, 第 1 作者
(12) Metamorphic Testing and Special Case Testing: A Case Study, Journal of Software, 2005, 第 1 作者

科研活动

   
科研项目
( 1 ) 基于测试用例多样性的并发软件适应性测试方法研究, 主持, 国家级, 2012-01--2014-12
( 2 ) 基于逻辑的新型计算模型, 参与, 国家级, 2012-01--2016-12
( 3 ) 确定性表达式及其子类的理论问题与工具研究, 参与, 国家级, 2015-01--2018-12
( 4 ) 安全攸关软件系统的构造与质量保障方法研究, 参与, 国家级, 2014-01--2018-12
参与会议
(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