Peng WU

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	445	166
h-endeksi	10	8
i10-endeksi	12	6

2005200620072008200920102011201220132014201520162017201820192020202120222023202420256 3 14 16 23 25 30 21 27 16 22 20 11 18 17 12 11 26 48 62 7

Genel erişim

Tümünü görüntüle

7 makale

10 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Catuscia PalamidessiInrialix.polytechnique.fr üzerinde doğrulanmış e-posta adresine sahip
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Scienceglasgow.ac.uk üzerinde doğrulanmış e-posta adresine sahip
David ParkerProfessor of Computer Science, University of Oxfordcs.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Alessio R LomuscioImperial College Londonimperial.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Tsong Yueh ChenProfessor of Software Engineering,Swinburne University of Technologyswin.edu.au üzerinde doğrulanmış e-posta adresine sahip
Yuxin DengProfessor, East China Normal Universitysei.ecnu.edu.cn üzerinde doğrulanmış e-posta adresine sahip
Jun PangUniversity of Luxembourguni.lu üzerinde doğrulanmış e-posta adresine sahip
Chang-ai SunProfessor, University of Science and Technology Beijingpurdue.edu üzerinde doğrulanmış e-posta adresine sahip
Linhai MaUniversity of Floridaufl.edu üzerinde doğrulanmış e-posta adresine sahip
Zhenya ZhangKyushu Universityait.kyushu-u.ac.jp üzerinde doğrulanmış e-posta adresine sahip
Nigel Walkerbt.com üzerinde doğrulanmış e-posta adresine sahip
Dongrui FanInstitute of Computing Technology, Chinese Academy of Sciences ict.ac.cn üzerinde doğrulanmış e-posta adresine sahip
Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordcomlab.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Takip et

Peng WU

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

ios.ac.cn üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Model Checking Software Testing Formal Methods Machine Learning


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
Measuring anonymity with relative entropy Y Deng, J Pang, P Wu Formal Aspects in Security and Trust: Fourth International Workshop, FAST …, 2007	96	2007
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	60*	2008
Iterative metamorphic testing P Wu 29th Annual International Computer Software and Applications Conference …, 2005	55	2005
关于蜕变测试和特殊用例测试的实例研究吴鹏，施小纯，唐江峻，林惠民，陈宗岳 Journal of Software 16 (7), 1210-1220, 2005	43*	2005
Accurate fairness: Improving individual fairness without trading accuracy X Li, P Wu, J Su Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 14312 …, 2023	23	2023
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	20	2013
Diversity driven adaptive test generation for concurrent data structures L Ma, P Wu, TY Chen Information and software technology 103, 162-173, 2018	13	2018
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	12	2020
Model checking optimisation based congestion control algorithms A Lomuscio, B Strulo, NG Walker, P Wu Fundamenta Informaticae 102 (1), 77-96, 2010	11*	2010
Interpreting π-calculus with Spin/Promela P Wu Computer Science 8 (7), 9, 2003	11	2003
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	10	2015
Symbolic bisimulations for probabilistic systems P Wu, C Palamidessi, H Lin Fourth International Conference on the Quantitative Evaluation of Systems …, 2007	10	2007
An interleaving guided metamorphic testing approach for concurrent programs CA Sun, H Dai, N Geng, H Liu, TY Chen, P Wu, Y Cai, J Wang ACM Transactions on Software Engineering and Methodology 33 (1), 1-21, 2023	9	2023
Model-based testing of concurrent programs with predicate sequencing oonstraints W Peng, L Huimin International Journal of Software Engineering and Knowledge Engineering 16 …, 2006	8	2006
Out-of-distribution detection through relative activation-deactivation abstractions Z Zhang, P Wu, Y Chen, J Su 2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021	7	2021
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	7	2020
Bounded TSO-to-SC linearizability is decidable C Wang, Y Lv, P Wu International Conference on Current Trends in Theory and Practice of …, 2016	5	2016
Compositional analysis of mobile IP with symbolic transition graphs P Wu, D Zhang 16th International Conference on Computer Communication, 1481-1488, 2004	5	2004
Strong Linearizability Checking and Determination for Concurrent Objects. C Wang, Q Jia, Y Lyu, P Wu International Journal of Software & Informatics 14 (4), 2024	4	2024
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects Q Jia, Y Lv, P Wu, B Zhan, J Hao, H Ye, C Wang International Symposium on Theoretical Aspects of Software Engineering, 202-220, 2023	4	2023

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar