Reasoning About Connectors in Coq. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (FACS, 2016)

Using Coq for Formal Modeling and Verification of Timed Connectors. - Weijiang Hong; M. Saqib Nawaz; Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (SEFM Workshops, 2017)

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)

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. - Xiyue Zhang 001; Yi Li 010; Weijiang Hong; Meng Sun 002 (TASE, 2019)

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

Reasoning about connectors using Coq and Z3. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (Sci. Comput. Program., 2019)

Graph Neural Network-based Vulnerability Predication. - Qi Feng; Chengdong Feng; Weijiang Hong (ICSME, 2020)

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. - Meixi Liu; Weijiang Hong; Weiyu Pan; Chendong Feng; Zhenbang Chen; Ji Wang 001 (ASE, 2020)

Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution. - Weijiang Hong; Yijun Liu; Zhenbang Chen; Wei Dong 006; Ji Wang 001 (Frontiers Inf. Technol. Electron. Eng., 2020)

Trace Abstraction-Based Verification for Uninterpreted Programs. - Weijiang Hong; Zhenbang Chen; Yide Du; Ji Wang 001 (FM, 2021)

A Robustness-Oriented Data Augmentation Method for DNN. - Meixi Liu; Weijiang Hong; Weiyu Pan; Chendong Feng (QRS Companion, 2021)

Collaborative Verification of Uninterpreted Programs. - Yide Du; Weijiang Hong; Zhenbang Chen; Ji Wang 001 (TASE, 2022)

CSP based Formal Modeling and Verification of Behavior Trees. - Peishan Huang; Weijiang Hong; Zhenbang Chen; Ji Wang 001 (QRS Companion, 2023)

Formal Verification Based Synthesis for Behavior Trees. - Weijiang Hong; Zhenbang Chen; Minglong Li; Yuhan Li; Peishan Huang; Ji Wang 001 (SETTA, 2023)

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