ProbTA: A sound and complete proof rule for probabilistic verification. - Guanyan Li; Zhilei Han; Fei He 001 (CoRR, 2022)

Solving string constraints with Regex-dependent functions through transducers with priorities and variables. - Taolue Chen 001; Alejandro Flores-Lamas; Matthew Hague; Zhilei Han; Denghang Hu; Shuanglong Kan; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2022)

Data-driven Recurrent Set Learning For Non-termination Analysis. - Zhilei Han; Fei He 001 (ICSE, 2023)

Robustness Verification for Checking Crash Consistency of Non-volatile Memory. - Zhilei Han; Fei He 001 (ASPLOS (1), 2025)