An Operational Semantics for Model Checking Long Running Transactions. - Hengbiao Yu; Zhenbang Chen; Ji Wang 001 (WS-FM, 2013)

Poster: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen; Hengbiao Yu; Chun Huang; Wei Dong 006; Ji Wang 001 (ICSE (2), 2015)

Practical symbolic verification of regular properties. - Hengbiao Yu (ESEC/SIGSOFT FSE, 2017)

RGSE: a regular property guided symbolic executor for Java. - Hengbiao Yu; Zhenbang Chen; Yufeng Zhang 001; Ji Wang 001; Wei Dong 006 (ESEC/SIGSOFT FSE, 2017)

Combining symbolic execution and model checking to verify MPI programs. - Hengbiao Yu (ICSE (Companion Volume), 2018)

Symbolic verification of regular properties. - Hengbiao Yu; Zhenbang Chen; Ji Wang 001; Zhendong Su 001; Wei Dong 006 (ICSE, 2018)

Combining Symbolic Execution and Model Checking to Verify MPI Programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Wei Dong 006; Chun Huang (CoRR, 2018)

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. - Chengdong Feng; Zhenbang Chen; Weijiang Hong; Hengbiao Yu; Wei Dong 006; Ji Wang 001 (CoRR, 2018)

Evaluation of model checkers by verifying message passing programs. - Weijiang Hong; Zhenbang Chen; Hengbiao Yu; Ji Wang 001 (Sci. China Inf. Sci., 2019)

Symbolic Verification of Regular Properties for Java Programs. - Zhenbang Chen; Hengbiao Yu; Ji Wang 001; Wei Dong 006 (ACM SIGSOFT Softw. Eng. Notes, 2019)

MPI-SV: a symbolic verifier for MPI programs. - Zhenbang Chen; Hengbiao Yu; Xianjin Fu; Ji Wang 001 (ICSE (Companion Volume), 2020)

Symbolic verification of message passing interface programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Jun Sun 001; Chun Huang; Wei Dong 006 (ICSE, 2020)

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. - Hengbiao Yu; Zhenbang Chen; Chun Huang; Ji Wang 001 (SETTA, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

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)

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. - Ziqi Shuai; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Ji Wang 001 (APSEC, 2023)

Input Validation for Neural Networks via Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Hengbiao Yu; Ji Wang 001 (QRS Companion, 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)

Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. - Xianglin Wang; Xin Yi; Hengbiao Yu; Chun Huang; Lin Peng 001 (ICPP, 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions. - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Proc. ACM Program. Lang., 2024)

Verification of message-passing uninterpreted programs. - Weijiang Hong; Zhenbang Chen; Yufeng Zhang 001; Hengbiao Yu; Yide Du; Ji Wang 001 (Sci. Comput. Program., 2024)

FPCC: Detecting Floating-Point Errors via Chain Conditions (Paper Artifact). - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001 (Zenodo, 2024)

Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. - Xin Yi; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001; Chun Huang; Deheng Yang (IPDPS, 2025)