Peng Wu

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 14

Top Topics

Top Venues

Publications

Xuran Li, Peng Wu, Yanting Chen, Xingjun Ma, Zhen Zhang, Kaixiang Dong
The Double-Edged Sword of Input Perturbations to Robust Accurate Fairness. CoRR (2024)
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) (2024)
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)
Xuran Li, Peng Wu, Jing Su
Accurate Fairness: Improving Individual Fairness without Trading Accuracy. AAAI (2023)
Jing Su, Zhen Zhang, Peng Wu, Xuran Li, Jian Zhang
Adversarial Input Detection Based on Critical Transformation Robustness. ISSRE (2022)
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) (2020)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO linearizability is undecidable. Acta Informatica 55 (8) (2018)
Linhai Ma, Peng Wu, Tsong Yueh Chen
Diversity driven adaptive test generation for concurrent data structures. Inf. Softw. Technol. 103 (2018)
Chao Wang, Yi Lv, Peng Wu
Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 61 (1) (2018)
Wei Ji, Farn Wang, Peng Wu
Synthesizing Coalitions for Multi-agent Games. IFM (2017)
Chao Wang, Yi Lv, Peng Wu
Decomposable Relaxation for Concurrent Data Structures. SOFSEM (2017)
Wei Ji, Farn Wang, Peng Wu, Yi Lv
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS (2016)
Chao Wang, Yi Lv, Peng Wu
Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM (2016)
Qian Zhang, Ying Jiang, Peng Wu
Modelling and Analysis of Network Security - An Algebraic Approach. Trustcom/BigDataSE/ISPA (2016)
Chao Wang, Yi Lv, Peng Wu
TSO-to-TSO Linearizability Is Undecidable. ATVA (2015)
Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv
Input-Driven Active Testing of Multi-threaded Programs. APSEC (2015)
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
Quasi-Linearizability is Undecidable. APLAS (2015)
Qian Zhang, Ying Jiang, Peng Wu
Modelling and Analysis of Network Security - an Algebraic Approach. CoRR (2015)
Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu
Efficiently and Completely Verifying Synchronized Consistency Models. ATVA (2014)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Assume-Guarantee Reasoning with Local Specifications. Int. J. Found. Comput. Sci. 24 (4) (2013)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Assume-Guarantee Reasoning with Local Specifications. ICFEM (2010)
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Model Checking Optimisation Based Congestion Control Algorithms. Fundam. Informaticae 102 (1) (2010)
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35 (2) (2009)
Daguang Liu, Peng Wu, Huimin Lin
Symbolic Test Generation Using a Temporal Logic with Constrained Events. Formal Methods and Hybrid Real-Time Systems (2007)
Peng Wu, Catuscia Palamidessi, Huimin Lin
Symbolic Bisimulations for Probabilistic Systems. QEST (2007)
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
Model checking the probabilistic pi-calculus. QEST (2007)
Peng Wu, Huimin Lin
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints. Int. J. Softw. Eng. Knowl. Eng. 16 (5) (2006)
Yuxin Deng, Jun Pang, Peng Wu
Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust (2006)
Peng Wu, Dongmei Zhang
Compositional Modelling and Verification of IPv6 Mobility. FORTE (2005)
Peng Wu, Huimin Lin
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. QSIC (2005)
Peng Wu
Iterative Metamorphic Testing. COMPSAC (1) (2005)