吴鹏男硕导中国科学院软件研究所
电子邮件： 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 SpecificationsICFEM 2010Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu2010-11-17
（2）Model Checking Optimisation-Based Congestion Control ModelsCS-P 2009Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu2009-09-28
（3）Symbolic Bisimulations for Probabilistic SystemsQEST 2007Peng Wu, Catuscia Palamidessi, Huimin Lin2007-09-16
（4）Model Checking the Probabilistic pi-CalculusQEST 2007Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu2007-09-16
（5）Symbolic Test Generation Using a Temporal Logic with Constrained EventsTESTCOM/FATES 2007Peng Wu, Daguang Liu and Huimin Lin2007-06-26
（6）Measuring Anonymity with Relative EntropyFAST 2006Yuxin Deng, Jun Pang, Peng Wu2006-08-26
（7）Compositional Modelling and Verification of IPv6 MobilityFORTE 2005Peng Wu, Dongmei Zhang2005-10-02
（8）Model-Based Testing of Concurrent Programs with Predicate Sequencing ConstraintsQSIC 2005Peng Wu, Huimin Lin2005-09-19
（9）Iterative Metamorphic TestingCOMPSAC 2005Peng Wu2005-07-26


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