An empirical study on TensorFlow program bugs. - Yuhao Zhang 005; Yifan Chen; Shing-Chi Cheung; Yingfei Xiong 001; Lu Zhang 023 (ISSTA, 2018)

MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks. - Siwakorn Srisakaokul; Zexuan Zhong; Yuhao Zhang 005; Wei Yang 013; Tao Xie 001 (CoRR, 2018)

Detecting numerical bugs in neural network architectures. - Yuhao Zhang 005; Luyao Ren; Liqian Chen; Yingfei Xiong 001; Shing-Chi Cheung; Tao Xie 001 (ESEC/SIGSOFT FSE, 2020)

Finding Trajectories with High Asymptotic Growth Rate for Linear Constrained Switching Systems via a Lift Approach. - Yuhao Zhang 005; Xiangru Xu (CoRR, 2020)

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties. - Yuhao Zhang 005; Sequoyah Walters; Xiangru Xu (ACC, 2022)

Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes. - Yuhao Zhang 005; Xiangru Xu (CDC, 2022)

Overwatch: learning patterns in code edit sequences. - Yuhao Zhang 005; Yasharth Bajpai; Priyanshu Gupta; Ameya Ketkar; Miltiadis Allamanis; Titus Barik; Sumit Gulwani; Arjun Radhakrishna; Mohammad Raza; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2022)

Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes. - Yuhao Zhang 005; Xiangru Xu (ACC, 2023)

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. - Linyi Li 001; Yuhao Zhang 005; Luyao Ren; Yingfei Xiong 001; Tao Xie 001 (ICSE, 2023)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models. - Hang Zhang; Yuhao Zhang 005; Xiangru Xu (CoRR, 2023)

Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties. - Yuhao Zhang 005; Xiangru Xu (CoRR, 2023)

Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. - Yuhao Zhang 005; Hang Zhang; Xiangru Xu (IEEE Control. Syst. Lett., 2023)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models. - Hang Zhang; Yuhao Zhang 005; Xiangru Xu (ACC, 2024)

Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency. - Yuhao Zhang 005; Hang Zhang; Xiangru Xu (IEEE Control. Syst. Lett., 2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes. - Yuhao Zhang 005; Xiangru Xu (ACC, 2025)

Robust stability of neural network control systems with interval matrix uncertainties. - Yuhao Zhang 005; Xiangru Xu (Autom., 2025)