| Measuring anonymity with relative entropy Y Deng, J Pang, P Wu Formal Aspects in Security and Trust: Fourth International Workshop, FAST …, 2007 | 95 | 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 | 42* | 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 | 21 | 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 |
| 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 |
| Diversity driven adaptive test generation for concurrent data structures L Ma, P Wu, TY Chen Information and software technology 103, 162-173, 2018 | 12 | 2018 |
| 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 |
| 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 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 | 6 | 2023 |
| 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 | 6 | 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 |
| Quasi-linearizability is undecidable C Wang, Y Lv, G Liu, P Wu Asian Symposium on Programming Languages and Systems, 369-386, 2015 | 4 | 2015 |
| TSO-to-TSO Linearizability Is Undecidable C Wang, Y Lv, P Wu ATVA 2015, 309-325, 2015 | 4 | 2015 |
Catuscia PalamidessiInriaBestätigte E-Mail-Adresse bei lix.polytechnique.fr
