Follow
Peng WU
Peng WU
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
Measuring anonymity with relative entropy
Y Deng, J Pang, P Wu
International Workshop on Formal Aspects in Security and Trust, 65-79, 2006
822006
Model checking probabilistic and stochastic extensions of the π-calculus
G Norman, C Palamidessi, D Parker, P Wu
IEEE Transactions on Software engineering 35 (2), 209-223, 2008
56*2008
Iterative metamorphic testing
P Wu
29th Annual International Computer Software and Applications Conference …, 2005
452005
关于蜕变测试和特殊用例测试的实例研究
吴鹏, 施小纯, 唐江峻, 林惠民, 陈宗岳
Journal of Software 16 (7), 1210-1220, 2005
40*2005
Assume-guarantee reasoning with local specifications
A Lomuscio, B Strulo, N Walker, P Wu
International conference on formal engineering methods, 204-219, 2010
122010
Interpreting π-calculus with Spin/Promela
P Wu
Computer Science 8 (7), 9, 2003
112003
Model checking optimisation based congestion control algorithms
A Lomuscio, B Strulo, NG Walker, P Wu
Fundamenta Informaticae 102 (1), 77-96, 2010
10*2010
Symbolic bisimulations for probabilistic systems
P Wu, C Palamidessi, H Lin
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
102007
Consortium
P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ...
GWM, Global Water Microbiome, C., Zhang, T., He, ZL, Keller, J., Nielsen, PH …, 2019
82019
Model-based testing of concurrent programs with predicate sequencing oonstraints
W Peng, L Huimin
International Journal of Software Engineering and Knowledge Engineering 16 …, 2006
82006
Assume-guarantee reasoning with local specifications
A Lomuscio, B Strulo, N Walker, P Wu
International Journal of Foundations of Computer Science 24 (04), 419-444, 2013
7*2013
Diversity driven adaptive test generation for concurrent data structures
L Ma, P Wu, TY Chen
Information and Software Technology 103, 162-173, 2018
62018
Bounded TSO-to-SC linearizability is decidable
C Wang, Y Lv, P Wu
International Conference on Current Trends in Theory and Practice of …, 2016
52016
Input-driven active testing of multi-threaded programs
H Yue, P Wu, TY Chen, Y Lv
2015 Asia-Pacific Software Engineering Conference (APSEC), 246-253, 2015
52015
Fairness Testing of Machine Learning Models Using Deep Reinforcement Learning
W Xie, P Wu
2020 IEEE 19th International Conference on Trust, Security and Privacy in …, 2020
42020
Quasi-linearizability is undecidable
C Wang, Y Lv, G Liu, P Wu
Asian Symposium on Programming Languages and Systems, 369-386, 2015
42015
Localization of linearizability faults on the coarse-grained level
Z Zhang, P Wu, Y Zhang
International Journal of Software Engineering and Knowledge Engineering 27 …, 2017
32017
Translating the probabilistic pi-calculus to PRISM
G Norman, C Palamidessi, D Parker, P Wu
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR 2, 2007
32007
Compositional analysis of mobile IP with symbolic transition graphs
P Wu, D Zhang
16th International Conference on Computer Communication, 1481-1488, 2004
32004
An iterative metamorphic testing technique for web services and case studies
C Sun, A Fu, Y Liu, Q Wen, Z Wang, P Wu, TY Chen
International Journal of Web and Grid Services 16 (4), 364-392, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20