default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeng Wu 0002
Person information
- unicode name: 吴鹏
- affiliation: Chinese Academy of Sciences, Institute of Software, Beijing, China
Other persons with the same name
- Peng Wu — disambiguation page
- Peng Wu 0001 — Meta, USA (and 2 more)
- Peng Wu 0003 — University of Delaware
- Peng Wu 0004
![[0000-0001-6259-4703]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-6259-4703")
— Fuzhou University, School of Economics and Management, China (and 2 more) - Peng Wu 0005 — University of California, Santa Barbara, USA
- Peng Wu 0006 — Facebook (and 1 more)
- Peng Wu 0007 — Tsinghua University, Department of Computer Science, TNList, Beijing, China
- Peng Wu 0008 — Vrije Universiteit Brussel, Department of Electronics and Informatics, Belgium (and 1 more)
- Peng Wu 0009 — University of Connecticut, Department of Computer Science and Engineering, Storrs, CT, USA
- Peng Wu 0010 — Anhui University, School of Mathematical Science, Hefei, China
- Peng Wu 0011 — Curtin University, Department of Construction Management, Perth, Australia
- Peng Wu 0012 — Beijing Technology and Business University (BTBU), Beijing, China
- Peng Wu 0013 — Shanghai Jiao Tong University, Shanghai, China
2020 – today
- 2024
[j10]Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang:
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 33(1): 8:1-8:21 (2024)- [c26]Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu:
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. SETTA 2024: 236-255 - [c25]Yibo Dai, Peng Wu, Shecheng Cui, Linhai Ma:
Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. TASE 2024: 91-108 - [i4]Xuran Li, Peng Wu, Yanting Chen, Xingjun Ma, Zhen Zhang, Kaixiang Dong:
The Double-Edged Sword of Input Perturbations to Robust Accurate Fairness. CoRR abs/2404.01356 (2024) - 2023
- [c24]Xuran Li, Peng Wu, Jing Su:
Accurate Fairness: Improving Individual Fairness without Trading Accuracy. AAAI 2023: 14312-14320 - [c23]Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang:
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE 2023: 202-220 - [i3]Xuran Li, Peng Wu, Kaixiang Dong, Zhen Zhang:
RobustFair: Adversarial Evaluation through Fairness Confusion Directed Gradient Search. CoRR abs/2305.10906 (2023) - 2022
- [c22]Jing Su, Zhen Zhang, Peng Wu, Xuran Li, Jian Zhang:
Adversarial Input Detection Based on Critical Transformation Robustness. ISSRE 2022: 390-401 - [i2]Xuran Li, Peng Wu, Jing Su:
Accurate Fairness: Improving Individual Fairness without Trading Accuracy. CoRR abs/2205.08704 (2022) - 2021
- [c21]Zhen Zhang, Peng Wu, Yuhang Chen, Jing Su:
Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions. ISSRE 2021: 150-161 - 2020
- [j9]Chang-Ai Sun, An Fu, Yiqiang Liu, Qing Wen, Zuoyi Wang, Peng Wu, Tsong Yueh Chen:
An iterative metamorphic testing technique for web services and case studies. Int. J. Web Grid Serv. 16(4): 364-392 (2020) - [c20]Wentao Xie, Peng Wu:
Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning. TrustCom 2020: 121-128
2010 – 2019
- 2018
- [j8]Chao Wang, Yi Lv, Peng Wu:
TSO-to-TSO linearizability is undecidable. Acta Informatica 55(8): 649-668 (2018) - [j7]Chao Wang, Yi Lv, Peng Wu:
Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 61(1): 012103:1-012103:10 (2018) - [j6]Linhai Ma, Peng Wu, Tsong Yueh Chen:
Diversity driven adaptive test generation for concurrent data structures. Inf. Softw. Technol. 103: 162-173 (2018) - [c19]Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang:
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. SETTA 2018: 108-126 - 2017
- [j5]Zhenya Zhang, Peng Wu, Yu Zhang:
Localization of Linearizability Faults on the Coarse-Grained Level. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1483-1506 (2017) - [c18]Wei Ji, Farn Wang, Peng Wu:
Synthesizing Coalitions for Multi-agent Games. IFM 2017: 243-259 - [c17]Zhenya Zhang, Peng Wu, Yu Zhang:
Localization of Linearizability Faults on the Coarse-grained Level. SEKE 2017: 272-277 - [c16]Chao Wang, Yi Lv, Peng Wu:
Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017: 188-202 - 2016
- [c15]Wei Ji, Farn Wang, Peng Wu, Yi Lv:
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS 2016: 111-121 - [c14]Chao Wang, Yi Lv, Peng Wu:
Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM 2016: 404-417 - [c13]Qian Zhang, Ying Jiang, Peng Wu:
Modelling and Analysis of Network Security - An Algebraic Approach. Trustcom/BigDataSE/ISPA 2016: 308-315 - 2015
- [c12]Chao Wang, Yi Lv, Gaoang Liu, Peng Wu:
Quasi-Linearizability is Undecidable. APLAS 2015: 369-386 - [c11]Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv:
Input-Driven Active Testing of Multi-threaded Programs. APSEC 2015: 246-253 - [c10]Chao Wang, Yi Lv, Peng Wu:
TSO-to-TSO Linearizability Is Undecidable. ATVA 2015: 309-325 - [i1]Qian Zhang, Ying Jiang, Peng Wu:
Modelling and Analysis of Network Security - an Algebraic Approach. CoRR abs/1512.01630 (2015) - 2014
- [c9]Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu:
Efficiently and Completely Verifying Synchronized Consistency Models. ATVA 2014: 264-280 - 2013
- [j4]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24(4): 419-444 (2013) - 2010
- [j3]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae 102(1): 77-96 (2010) - [c8]Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu:
Assume-Guarantee Reasoning with Local Specifications. ICFEM 2010: 204-219
2000 – 2009
- 2009
- [j2]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35(2): 209-223 (2009) - 2007
- [c7]Daguang Liu, Peng Wu, Huimin Lin:
Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems 2007: 467-471 - [c6]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model checking the probabilistic pi-calculus. QEST 2007: 169-178 - [c5]Peng Wu, Catuscia Palamidessi, Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems. QEST 2007: 179-188 - 2006
- [j1]Peng Wu, Huimin Lin:
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. Int. J. Softw. Eng. Knowl. Eng. 16(5): 727-746 (2006) - [c4]Yuxin Deng, Jun Pang, Peng Wu:
Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79 - 2005
- [c3]Peng Wu:
Iterative Metamorphic Testing. COMPSAC (1) 2005: 19-24 - [c2]Peng Wu, Dongmei Zhang:
Compositional Modelling and Verification of IPv6 Mobility. FORTE 2005: 553-556 - [c1]Peng Wu, Huimin Lin:
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC 2005: 3-10
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-15 22:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
