Efficient Parallel CTL Model-Checking for Pushdown Systems. - Xinyu Chen; Hansheng Wei; Xin Ye; Li Hao; Yanhong Huang; Jianqi Shi (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Parallel Model Checking on Pushdown Systems. - Hansheng Wei; Xinyu Chen; Xin Ye; Neng Fu; Yanhong Huang; Jianqi Shi (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

ParaMoC: A Parallel Model Checker for Pushdown Systems. - Hansheng Wei; Xin Ye; Jianqi Shi; Yanhong Huang (ICA3PP (2), 2019)

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. - Hui Zhao; Zhihui Li 005; Hansheng Wei; Jianqi Shi; Yanhong Huang (ICST, 2019)

Automated Mining and Checking of Formal Properties in Natural Language Requirements. - Xingxing Pi; Jianqi Shi; Yanhong Huang; Hansheng Wei (KSEM (2), 2019)

Parallel computational tree logic model-checking on pushdown systems. - Xin Ye; Jianqi Shi; Yanhong Huang; Qin Li; Hansheng Wei; Xinyu Chen (Concurr. Comput. Pract. Exp., 2022)