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

研究领域

并发理论、模型检测与测试、机器学习

工作经历

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

出版信息

   
发表论文
(1) Localization of Linearizability Faults on the Coarse-Grained Level, International Journal of Software Engineering and Knowledge Engineering, 2018, 通讯作者
(2) Diversity driven adaptive test generation for concurrent data structures, Information and Software Technology, 2018, 通讯作者
(3) Interleaving-Tree Based Fine-Grained Linearizability Fault Localization, SETTA 2018, 2018, 通讯作者
(4) TSO-to-TSO Linearizability is Undecidable, Acta Informatica, 2018, 第 3 作者
(5) Decidability of Linearizabilities for Relaxed Data Structures, Science China Information Sciences, 2018, 第 3 作者
(6) Synthesizing Coalitions for Multi-agent Games, IFM 2017, 2017, 通讯作者
(7) Localization of Linearizability Faults on the Coarse-Grained Level, SEKE 2017, 2017, 通讯作者
(8) Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017, 2017, 第 3 作者
(9) An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, ICECCS 2016, 2016, 通讯作者
(10) Modelling and Analysis of Network Security - an Algebraic Approach, IEEE TrustCom-16, 2016, 第 3 作者
(11) Input-driven Active Testing of Multi-threaded Programs, APSEC 2015, 2015, 通讯作者
(12) TSO-to-TSO Linearizability is Undecidable, ATVA 2015, 2015, 第 3 作者
(13) Efficiently and Completely Verifying Synchronized Consistency Models, ATVA 2014, 2014, 第 5 作者
(14) Assume-Guarantee Verification with Local Specifications, International Journal of Foundations of Computer Science, 2013, 通讯作者
(15) Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 通讯作者
(16) Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus, IEEE Transactions on Software Engineering, 2009, 通讯作者
(17) Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, International Journal of Software Engineering and Knowledge Engineering, 2006, 第 1 作者
(18) Analyzing Interoperability of Protocols Using Model Checking, The Chinese Journal of Electronics, 2005, 第 1 作者
(19) 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
( 5 ) 高安全可信移动终端操作系统安全防护关键技术研究, 参与, 国家级, 2017-07--2020-06
( 6 ) 内生安全应用构造技术, 参与, 国家级, 2019-01--2020-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