testRNN: Coverage-guided Testing on Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xiaowei Huang 001; James Sharp (CoRR, 2019)

Test Metrics for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; James Sharp; Xiaowei Huang 001 (CoRR, 2019)

Practical Verification of Neural Network Enabled State Estimation System for Robotics. - Wei Huang 035; Yifan Zhou; Youcheng Sun; James Sharp; Simon Maskell; Xiaowei Huang 001 (IROS, 2020)

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. - Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2020)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. - Wei Huang 035; Yifan Zhou; Youcheng Sun; Alec Banks; Jie Meng; James Sharp; Simon Maskell; Xiaowei Huang 001 (CoRR, 2020)

Detecting Operational Adversarial Examples for Reliable Deep Learning. - Xingyu Zhao 001; Wei Huang 035; Sven Schewe; Yi Dong 002; Xiaowei Huang 001 (DSN (Supplements), 2021)

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. - Xingyu Zhao 001; Wei Huang 035; Alec Banks; Victoria Cox; David Flynn; Sven Schewe; Xiaowei Huang 001 (AISafety@IJCAI, 2021)

BayLIME: Bayesian local interpretable model-agnostic explanations. - Xingyu Zhao 001; Wei Huang 035; Xiaowei Huang 001; Valentin Robu; David Flynn (UAI, 2021)

Tutorials on Testing Neural Networks. - Nicolas Berthier; Youcheng Sun; Wei Huang 035; Yanghao Zhang; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2021)

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. - Xingyu Zhao 001; Wei Huang 035; Vibhav Bharti; Yi Dong 002; Victoria Cox; Alec Banks; Sen Wang 002; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Enhancing Adversarial Training with Second-Order Statistics of Weights. - Gaojie Jin; Xinping Yi; Wei Huang 035; Sven Schewe; Xiaowei Huang 001 (CVPR, 2022)

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. - Yi Qi; Philippa Ryan Conmy; Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (AISafety@IJCAI, 2022)

Embedding and extraction of knowledge in tree ensemble classifiers. - Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (Mach. Learn., 2022)

Coverage-Guided Testing for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xingyu Zhao 001; James Sharp; Wenjie Ruan; Jie Meng; Xiaowei Huang 001 (IEEE Trans. Reliab., 2022)

SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. - Wei Huang 035; Xingyu Zhao 001; Gaojie Jin; Xiaowei Huang 001 (ICCV, 2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. - Saddek Bensalem; Chih-Hong Cheng; Wei Huang 035; Xiaowei Huang 001; Changshun Wu; Xingyu Zhao 001 (AISoLA, 2023)

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. - Yi Dong 002; Wei Huang 035; Vibhav Bharti; Victoria Cox; Alec Banks; Sen Wang 002; Xingyu Zhao 001; Sven Schewe; Xiaowei Huang 001 (ACM Trans. Embed. Comput. Syst., 2023)

Ensemble Adversarial Defense via Integration of Multiple Dispersed Low Curvature Models. - Kaikang Zhao; Xi Chen 112; Wei Huang 035; Liuxin Ding; Xianglong Kong; Fan Zhang 044 (IJCNN, 2024)

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. - Hanwei Zhang 001; Luo Cheng; Qisong He; Wei Huang 035; Renjue Li; Ronan Sicre; Xiaowei Huang 001; Holger Hermanns; Lijun Zhang 001 (SETTA, 2024)

Diversity supporting robustness: Enhancing adversarial robustness via differentiated ensemble predictions. - Xi Chen 112; Wei Huang 035; Ziwen Peng; Wei Guo 018; Fan Zhang 044 (Comput. Secur., 2024)

Formal verification of robustness and resilience of learning-enabled state estimation systems. - Wei Huang 035; Yifan Zhou; Gaojie Jin; Youcheng Sun; Jie Meng; Fan Zhang 044; Xiaowei Huang 001 (Neurocomputing, 2024)

Harnessing dynamic heterogeneous redundancy to empower deep learning safety and security. - Fan Zhang 044; Xi Chen; Wei Huang 035; Jiangxing Wu; Zijie Zhang 007; Chenyu Zhou; Jianpeng Li; Ziwen Peng; Wei Guo; Guangze Yang; Xinyuan Miao; Ruiyang Huang; et al. (Secur. Saf., 2024)

A simple framework to enhance the adversarial robustness of deep learning-based intrusion detection system. - Xinwei Yuan; Shu Han; Wei Huang 035; Hongliang Ye; Xianglong Kong; Fan Zhang 044 (Comput. Secur., 2024)

Hierarchical Distribution-aware Testing of Deep Learning. - Wei Huang 035; Xingyu Zhao 001; Alec Banks; Victoria Cox; Xiaowei Huang 001 (ACM Trans. Softw. Eng. Methodol., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

Correction: Adversarial defence by learning differentiated feature representation in deep ensemble. - Xi Chen 112; Wei Huang 035; Wei Guo 018; Fan Zhang 044; Jiayu Du; Zhizhong Zhou (Mach. Vis. Appl., 2024)

Risk Controlled Image Retrieval. - Kaiwen Cai; Chris Xiaoxuan Lu; Xingyu Zhao 001; Wei Huang 035; Xiaowei Huang 001 (AAAI, 2025)

Fortifying graph neural networks against adversarial attacks via ensemble learning. - Chenyu Zhou; Wei Huang 035; Xinyuan Miao; Yabin Peng; Xianglong Kong; Yi Cao; Xi Chen 112 (Knowl. Based Syst., 2025)

A dynamic ensemble learning model for robust Graph Neural Networks. - Chenyu Zhou; Yabin Peng; Wei Huang 035; Xinyuan Miao; Yi Cao; Xinghao Wang; Xianglong Kong (Neural Networks, 2025)