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


研究领域并发理论、模型检测与测试

工作经历

工作简历 2010-07--今 中国科学院软件研究所 副研究员

出版信息

发表论文 （1） Efficiently and Completely Verifying Synchronized Consistency Models，ATVA 2014，2014，第5作者
（2） Assume-Guarantee Verification with Local Specifications，International Journal of Foundations of Computer Science，2013，通讯作者
（3） Model Checking Optimisation-Based Congestion Control Models，Model Checking Optimisation-Based Congestion Control Models，Fundamenta Informaticae，2010，通讯作者
（4） Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus，Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus，IEEE Transactions on Software Engineering，2009，第4作者
（5） Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints，Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints，International Journal of Software Engineering and Knowledge Engineering，2006，第1作者
（6） Metamorphic Testing and Special Case Testing: A Case Study，Metamorphic Testing and Special Case Testing: A Case Study，Journal of Software，2005，第1作者
（7） Analyzing Interoperability of Protocols Using Model Checking，Analyzing Interoperability of Protocols Using Model Checking，The Chinese Journal of Electronics，2005，第1作者

科研活动

科研项目 （1） 基于逻辑的新型计算模型，参与，国家级，2012-01--2015-12
（2） 基于测试用例多样性的并发软件适应性测试方法研究，主持，国家级，2012-01--2014-12


参与会议 （1） Assume-Guarantee Verification with Local Specifications，ICFEM 2010，2010-11，Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
（2） Model Checking Optimisation-Based Congestion Control Models，CS-P 2009，2009-09，Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
（3） Model Checking the Probabilistic pi-Calculus，QEST 2007，2007-09，Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
（4） Symbolic Bisimulations for Probabilistic Systems，QEST 2007，2007-09，Peng Wu, Catuscia Palamidessi, Huimin Lin
（5） Symbolic Test Generation Using a Temporal Logic with Constrained Events，TESTCOM/FATES 2007，2007-06，Peng Wu, Daguang Liu and Huimin Lin
（6） Measuring Anonymity with Relative Entropy，FAST 2006，2006-08，Yuxin Deng, Jun Pang, Peng Wu
（7） Compositional Modelling and Verification of IPv6 Mobility，FORTE 2005，2005-10，Peng Wu, Dongmei Zhang
（8） Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints，QSIC 2005，2005-09，Peng Wu, Huimin Lin
（9） Iterative Metamorphic Testing，COMPSAC 2005，2005-07，Peng Wu

个人主页http://lcs.ios.ac.cn/~wp