Influence Spread Evaluation and Propagation Rebuilding. - Qianwen Zhang; Cheng-Chao Huang; Jinkui Xie (ICONIP (2), 2016)

Positive Root Isolation for Poly-Powers. - Jing-Cao Li; Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (ISSAC, 2016)

Analyzing ultimate positivity for solvable systems. - Ming Xu 010; Cheng-Chao Huang; Zhi-Bin Li 005; Zhenbing Zeng (Theor. Comput. Sci., 2016)

Positive root isolation for poly-powers by exclusion and differentiation. - Cheng-Chao Huang; Jing-Cao Li; Ming Xu 010; Zhi-Bin Li 005 (J. Symb. Comput., 2018)

Modelling and Implementation of Unmanned Aircraft Collision Avoidance. - Weizhi Feng; Cheng-Chao Huang; Andrea Turrini; Yong Li 031 (SETTA, 2020)

PRODeep: a platform for robustness verification of deep neural networks. - Renjue Li; Jianlin Li; Cheng-Chao Huang; Pengfei Yang 002; Xiaowei Huang 001; Lijun Zhang 001; Bai Xue 001; Holger Hermanns (ESEC/SIGSOFT FSE, 2020)

A Conflict-Driven Solving Procedure for Poly-Power Constraints. - Cheng-Chao Huang; Ming Xu 010; Zhi-Bin Li 005 (J. Autom. Reason., 2020)

An Ensemble Fuzziness-Based Online Sequential Learning Approach and Its Application. - Wei-Peng Cao; Sheng-Dong Li; Cheng-Chao Huang; Yu-Hao Wu; Qiang Wang; Da-Chuan Li; Ye Liu (KSEM, 2021)

Improving Neural Network Verification through Spurious Region Guided Refinement. - Pengfei Yang 002; Renjue Li; Jianlin Li; Cheng-Chao Huang; Jingyi Wang 004; Jun Sun 001; Bai Xue 001; Lijun Zhang 001 (TACAS (1), 2021)

Measuring the constrained reachability in quantum Markov chains. - Ming Xu 010; Cheng-Chao Huang; Yuan Feng 001 (Acta Informatica, 2021)

Probabilistic Robustness Analysis for DNNs based on PAC Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness. - Renjue Li; Hanwei Zhang 001; Pengfei Yang 002; Cheng-Chao Huang; Aimin Zhou; Bai Xue 001; Lijun Zhang 001 (CoRR, 2021)

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. - Pengfei Yang 002; Jianlin Li; Jiangchao Liu; Cheng-Chao Huang; Renjue Li; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (Formal Aspects Comput., 2021)

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. - Renjue Li; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Bai Xue 001; Lijun Zhang 001 (ICSE, 2022)

Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. - Cheng-Chao Huang (ISSAC, 2022)

Safety Analysis of Autonomous Driving Systems Based on Model Learning. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (CoRR, 2022)

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. - Liang Zhang; Nathaniel Xu; Pengfei Yang 002; Gaojie Jin; Cheng-Chao Huang; Lijun Zhang 001 (ICCV, 2023)

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

Quantitative controller synthesis for consumption Markov decision processes. - Jianling Fu; Cheng-Chao Huang; Yong Li 031; Jingyi Mei; Ming Xu 010; Lijun Zhang 001 (Inf. Process. Lett., 2023)

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. - Jianan Ma; Pengfei Yang 002; Jingyi Wang 004; Youcheng Sun; Cheng-Chao Huang; Zhen Wang 013 (ICSE, 2024)

ADVREPAIR: Provable Repair of Adversarial Attack. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Xiaowei Huang 001; Lijun Zhang 001 (CoRR, 2024)

Patch Synthesis for Property Repair of Deep Neural Networks. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Jingyi Wang 004; Xiaowei Huang 001; Lijun Zhang 001 (ICSE, 2025)

QuantiVA: quantitative verification of autonomous driving. - Renjue Li; Tianhang Qin; Pengfei Yang 002; Cheng-Chao Huang; Youcheng Sun; Lijun Zhang 001 (Res. Dir. Cyber Phys. Syst., 2025)