| Improving neural network verification through spurious region guided refinement P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang International Conference on Tools and Algorithms for the Construction and …, 2021 | 42 | 2021 |
| Prodeep: a platform for robustness verification of deep neural networks R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 25 | 2020 |
| Enhancing robustness verification for deep neural networks via symbolic propagation P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang Formal Aspects of Computing 33 (3), 407-435, 2021 | 18 | 2021 |
| MFF: Multi-modal feature fusion for zero-shot learning W Cao, Y Wu, C Huang, MJA Patwary, X Wang Neurocomputing 510, 172-180, 2022 | 14 | 2022 |
| Positive root isolation for poly-powers by exclusion and differentiation CC Huang, JC Li, M Xu, ZB Li Journal of Symbolic Computation 85, 148-169, 2018 | 13 | 2018 |
| Towards practical robustness analysis for DNNs based on PAC-model learning R Li, P Yang, CC Huang, Y Sun, B Xue, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 11 | 2022 |
| An ensemble fuzziness-based online sequential learning approach and its application WP Cao, SD Li, CC Huang, YH Wu, Q Wang, DC Li, Y Liu Knowledge Science, Engineering and Management: 14th International Conference …, 2021 | 10 | 2021 |
| Measuring the constrained reachability in quantum Markov chains M Xu, CC Huang, Y Feng Acta Informatica 58 (6), 653-674, 2021 | 7 | 2021 |
| Positive root isolation for poly-powers JC Li, CC Huang, M Xu, ZB Li Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 4 | 2016 |
| Ensemble defense with data diversity: Weak correlation implies strong robustness R Li, H Zhang, P Yang, CC Huang, A Zhou, B Xue, L Zhang arXiv preprint arXiv:2106.02867, 2021 | 3 | 2021 |
| Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks P Yang, Z Chi, Z Liu, M Zhao, CC Huang, S Cai, L Zhang arXiv preprint arXiv:2302.06455, 2023 | 2 | 2023 |
| Safety Analysis of Autonomous Driving Systems Based on Model Learning R Li, T Qin, P Yang, CC Huang, Y Sun, L Zhang arXiv preprint arXiv:2211.12733, 2022 | 2 | 2022 |
| Influence spread evaluation and propagation rebuilding Q Zhang, CC Huang, J Xie Neural Information Processing: 23rd International Conference, ICONIP 2016 …, 2016 | 2 | 2016 |
| TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models L Zhang, N Xu, P Yang, G Jin, CC Huang, L Zhang Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2023 | 1 | 2023 |
| Probabilistic robustness analysis for DNNs based on PAC learning R Li, P Yang, CC Huang, B Xue, L Zhang arXiv preprint arXiv:2101.10102, 2021 | 1 | 2021 |
| A Conflict-Driven Solving Procedure for Poly-Power Constraints CC Huang, M Xu, ZB Li Journal of Automated Reasoning 64 (1), 1-20, 2020 | 1 | 2020 |
| Modelling and implementation of unmanned aircraft collision avoidance W Feng, CC Huang, A Turrini, Y Li Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020 | 1 | 2020 |
| Analyzing ultimate positivity for solvable systems M Xu, CC Huang, ZB Li, Z Zeng Theoretical Computer Science 609, 395-412, 2016 | 1 | 2016 |
| ADVREPAIR: Provable Repair of Adversarial Attack Z Chi, J Ma, P Yang, CC Huang, R Li, X Huang, L Zhang arXiv preprint arXiv:2404.01642, 2024 | | 2024 |
| VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks J Ma, P Yang, J Wang, Y Sun, CC Huang, Z Wang Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | | 2024 |
