Robustness Analysis of Floating-Point Programs by Self-Composition. - Liqian Chen; Jiahong Jiang; Banghu Yin; Wei Dong 006; Ji Wang 001 (J. Appl. Math., 2014)

基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). - Banghu Yin; Liqian Chen; Ji Wang 001 (计算机科学, 2015)

Property oriented verification via iterative abstract interpretation. - Banghu Yin (ICSE (Companion Volume), 2019)

Verifying Numerical Programs via Iterative Abstract Testing. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001; Patrick Cousot (SAS, 2019)

Hierarchical Analysis of Loops With Relaxed Abstract Transformers. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Reliab., 2020)

Static Analysis of Resource Usage Bounds for Imperative Programs. - Liqian Chen; Taoqing Chen; Guangsheng Fan; Banghu Yin (APSEC, 2021)

Static Bound Analysis of Dynamically Allocated Resources for C Programs. - Guangsheng Fan; Taoqing Chen; Banghu Yin; Liqian Chen; Tengbin Wang; Ji Wang 001 (ISSRE, 2021)

An Abstract Domain to Infer Linear Absolute Value Equalities. - Liqian Chen; Banghu Yin; Dengping Wei; Ji Wang 001 (TASE, 2021)

Detecting High Floating-Point Errors via Ranking Analysis. - Zheng Wang; Xin Yi; Hengbiao Yu; Banghu Yin (APSEC, 2022)

Symbolic Verification of Message Signatures in MPI. - Hengbiao Yu; Banghu Yin; Xin Yi (ICST, 2022)

Using Fuzzing to Help Abstract Interpretation Based Program Verification. - Renjie Huang; Banghu Yin; Liqian Chen (QRS Companion, 2022)

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer. - Jiaxi Xu; Ping Chen; Banghu Yin; Zhichang Huang; Qiaochun Qiu (QRS, 2023)

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. - Han Xu; Liqian Chen; Guangsheng Fan; Banghu Yin; Ji Wang 001 (SETTA, 2023)

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. - Hengbiao Yu; Xin Yi; Banghu Yin; Fa Li; Zhenbang Chen; Chun Huang (SANER, 2023)

Static analysis of linear absolute value equalities among variables of a program. - Liqian Chen; Dengping Wei; Banghu Yin; Ji Wang 001 (Sci. Comput. Program., 2023)

Sound Floating-Point Neural Network Verification with MILP. - Shifu Yang; Liqian Chen; Banghu Yin; Minghao Li; Yuan Zhou; Ji Wang 001 (APSEC, 2024)

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. - Sheng Zou; Liqian Chen; Guangsheng Fan; Renjie Huang; Banghu Yin (QuASoQ@APSEC, 2024)

Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. - Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)