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

研究领域

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

招生信息

招生方向
系统软件验证、智能软件分析与测试
智能化并发软件验证与测试
智能系统鲁棒性、公平性分析与测试

工作经历

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

教授课程

并发数据结构与多核编程
高可信软件工程
多处理器系统编程
软件测试与安全分析

出版信息

   
发表论文
(1) Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions, ISSRE 2021, 2021, 通讯作者
(2) Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning, TrustCom 2020, 2020, 通讯作者
(3) An iterative metamorphic testing technique for web services and case studies, INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2020, 第 6 作者
(4) Decidability of linearizabilities for relaxed data structures, SCIENCE CHINA-INFORMATION SCIENCES, 2018, 第 3 作者
(5) Diversity driven adaptive test generation for concurrent data structures, INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 通讯作者
(6) Interleaving-Tree Based Fine-Grained Linearizability Fault Localization, SETTA 2018, 2018, 通讯作者
(7) TSO-to-TSO linearizability is undecidable, ACTA INFORMATICA, 2018, 第 3 作者
(8) Decomposable Relaxation for Concurrent Data Structures, SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 
(9) Localization of Linearizability Faults on the Coarse-Grained Level, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 通讯作者
(10) Synthesizing Coalitions for Multi-agent Games, IFM 2017, 2017, 通讯作者
(11) Modelling and Analysis of Network Security - an Algebraic Approach, 2016 IEEE TRUSTCOM/BIGDATASE/ISPA, 2016, 
(12) 基于扩展RED图的概率时间自动机可达性分析, Reachability Analysis of Probabilistic Timed Automata Based on Extended RED Diagrams, 计算机系统应用, 2016, 第 3 作者
(13) An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, 2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016), 2016, 
(14) 并发软件适应性随机测试方法, Adaptive Random Testing for Multi-Threaded Concurrent Programs, 计算机系统应用, 2015, 第 2 作者
(15) Input-driven Active Testing of Multi-threaded Programs, 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, 
(16) TSO-to-TSO Linearizability Is Undecidable, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 
(17) Efficiently and Completely Verifying Synchronized Consistency Models, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 
(18) Assume-Guarantee Verification with Local Specifications, International Journal of Foundations of Computer Science, 2013, 通讯作者
(19) Model Checking Optimisation-Based Congestion Control Models, Fundamenta Informaticae, 2010, 通讯作者
(20) Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 第 4 作者
(21) model-based testing of concurrent programs with predicate sequencing constraints, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 通讯作者
(22) 软件可移植性工程与度量, Software Portability Engineering: Concepts and Measurements, 情报科学, 2005, 第 2 作者
(23) 关于蜕变测试和特殊用例测试的实例研究, 软件学报, 2005, 第 1 作者
(24) Analyzing interoperability of protocols using model checking, CHINESE JOURNAL OF ELECTRONICS, 2005, 
(25) Metamorphic Testing and Special Case Testing: A Case Study, Journal of Software, 2005, 第 1 作者
(26) 关于蜕变测试和特殊用例测试的实例研究, 关于蜕变测试和特殊用例测试的实例研究, 软件学报, 2005, 第 1 作者
(27) Bluetooth服务发现协议的验证、实现与测试, 2001, 第 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
( 7 ) XX智能控制系统形式设计验证理论及应用, 参与, 国家任务, 2019-06--2022-06
( 8 ) 验证、交互和证明(对外合作重点项目), 负责人, 中国科学院计划, 2017-11--2022-12