基本信息
吴鹏 男 硕导 软件研究所
电子邮件: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