Zhilei Han

According to our database, Zhilei Han authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Data-driven Recurrent Set Learning For Non-termination Analysis.

Zhilei Han, Fei He

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables.

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2022

ProbTA: A sound and complete proof rule for probabilistic verification.

Guanyan Li, Zhilei Han, Fei He

CoRR, 2022