default search action
Peng 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
— 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
- Peng Wu 0009
- Peng Wu 0010
- Peng Wu 0011
- Peng Wu 0012
- Peng Wu 0013
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Chang-Ai Sun
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 33(1): 8:1-8:21 (2024) - [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
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
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
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
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
Efficiently and Completely Verifying Synchronized Consistency Models. ATVA 2014: 264-280 - 2013
- [j4]Alessio Lomuscio
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24(4): 419-444 (2013) - 2010
- [j3]Alessio Lomuscio
Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae 102(1): 77-96 (2010) - [c8]Alessio Lomuscio
Assume-Guarantee Reasoning with Local Specifications. ICFEM 2010: 204-219
2000 – 2009
- 2009
- [j2]Gethin Norman
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
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
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
Coauthor Index
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.
Reference lists
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.
Citation data
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.
OpenAlex data
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 2024-11-15 19:32 CET 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: