Peng Wu

44 papers A* 1A 2B 9C 4Misc 4Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects.
CoRR
Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu
2026 J jnl
Intrathread method orders based adaptive testing of concurrent objects.
Sci. Comput. Program.
Yibo Dai, Li Xie, Peng Wu, Shecheng Cui, Linhai Ma
2025 J jnl
Boosting Generalizable Fairness With Mahalanobis Distances Guided Boltzmann Exploratory Testing.
IEEE Trans. Software Eng.
Kaixiang Dong, Peng Wu, Yanting Chen
2025 B conf
Checking Linearizability of Multi-core Task Management and Scheduling System.
ICECCS
Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv
2024 J jnl
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.
ACM Trans. Softw. Eng. Methodol.
Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang
2024 Misc conf
Intrathread Method Orders Based Adaptive Testing of Concurrent Objects.
TASE
Yibo Dai, Peng Wu, Shecheng Cui, Linhai Ma
2024 J jnl
The Double-Edged Sword of Input Perturbations to Robust Accurate Fairness.
CoRR
Xuran Li, Peng Wu, Yanting Chen, Xingjun Ma, Zhen Zhang, Kaixiang Dong
2024 Misc conf
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
SETTA
Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
2023 A* conf
Accurate Fairness: Improving Individual Fairness without Trading Accuracy.
AAAI
Xuran Li, Peng Wu, Jing Su
2023 J jnl
RobustFair: Adversarial Evaluation through Fairness Confusion Directed Gradient Search.
CoRR
Xuran Li, Peng Wu, Kaixiang Dong, Zhen Zhang
2023 Misc conf
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.
TASE
Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
2022 J jnl
Accurate Fairness: Improving Individual Fairness without Trading Accuracy.
CoRR
Xuran Li, Peng Wu, Jing Su
2022 A conf
Adversarial Input Detection Based on Critical Transformation Robustness.
ISSRE
Jing Su, Zhen Zhang, Peng Wu, Xuran Li, Jian Zhang
2021 A conf
Out-of-Distribution Detection through Relative Activation-Deactivation Abstractions.
ISSRE
Zhen Zhang, Peng Wu, Yuhang Chen, Jing Su
2020 J jnl
An iterative metamorphic testing technique for web services and case studies.
Int. J. Web Grid Serv.
Chang-Ai Sun, An Fu, Yiqiang Liu, Qing Wen, Zuoyi Wang, Peng Wu, Tsong Yueh Chen
2020 B conf
Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning.
TrustCom
Wentao Xie, Peng Wu
2018 J jnl
Decidability of linearizabilities for relaxed data structures.
Sci. China Inf. Sci.
Chao Wang, Yi Lv, Peng Wu
2018 J jnl
Diversity driven adaptive test generation for concurrent data structures.
Inf. Softw. Technol.
Linhai Ma, Peng Wu, Tsong Yueh Chen
2018 Misc conf
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization.
SETTA
Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang
2018 J jnl
TSO-to-TSO linearizability is undecidable.
Acta Informatica
Chao Wang, Yi Lv, Peng Wu
2017 B conf
Decomposable Relaxation for Concurrent Data Structures.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2017 J jnl
Localization of Linearizability Faults on the Coarse-Grained Level.
Int. J. Softw. Eng. Knowl. Eng.
Zhenya Zhang, Peng Wu, Yu Zhang
2017 C conf
Localization of Linearizability Faults on the Coarse-grained Level.
SEKE
Zhenya Zhang, Peng Wu, Yu Zhang
2017 B conf
Synthesizing Coalitions for Multi-agent Games.
IFM
Wei Ji, Farn Wang, Peng Wu
2016 B conf
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
ICECCS
Wei Ji, Farn Wang, Peng Wu, Yi Lv
2016 B conf
Bounded TSO-to-SC Linearizability Is Decidable.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2016 — conf
Modelling and Analysis of Network Security - An Algebraic Approach.
Trustcom/BigDataSE/ISPA
Qian Zhang, Ying Jiang, Peng Wu
2015 C conf
Input-Driven Active Testing of Multi-threaded Programs.
APSEC
Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv
2015 J jnl
Modelling and Analysis of Network Security - an Algebraic Approach.
CoRR
Qian Zhang, Ying Jiang, Peng Wu
2015 B conf
Quasi-Linearizability is Undecidable.
APLAS
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
2015 B conf
TSO-to-TSO Linearizability Is Undecidable.
ATVA
Chao Wang, Yi Lv, Peng Wu
2014 B conf
Efficiently and Completely Verifying Synchronized Consistency Models.
ATVA
Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu
2013 J jnl
Assume-Guarantee Reasoning with Local Specifications.
Int. J. Found. Comput. Sci.
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2010 C conf
Assume-Guarantee Reasoning with Local Specifications.
ICFEM
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2010 J jnl
Model Checking Optimisation Based Congestion Control Algorithms.
Fundam. Informaticae
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
2009 J jnl
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng.
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2007 — conf
Model checking the probabilistic pi-calculus.
QEST
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2007 — conf
Symbolic Bisimulations for Probabilistic Systems.
QEST
Peng Wu, Catuscia Palamidessi, Huimin Lin
2007 — conf
Symbolic Test Generation Using a Temporal Logic with Constrained Events.
Formal Methods and Hybrid Real-Time Systems
Daguang Liu, Peng Wu, Huimin Lin
2006 — conf
Measuring Anonymity with Relative Entropy.
Formal Aspects in Security and Trust
Yuxin Deng, Jun Pang, Peng Wu
2006 J jnl
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.
Int. J. Softw. Eng. Knowl. Eng.
Peng Wu, Huimin Lin
2005 C conf
Compositional Modelling and Verification of IPv6 Mobility.
FORTE
Peng Wu, Dongmei Zhang
2005 — conf
Iterative Metamorphic Testing.
COMPSAC (1)
Peng Wu
2005 — conf
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.
QSIC
Peng Wu, Huimin Lin