Bayesian Statistical Model-Checking for Complex Stochastic Systems. - Jia He; Min Zhang 007; Kangli He; Yannan Guo; Yusi Lei (TASE, 2016)

On the complexity of ω-pushdown automata. - Yusi Lei; Fu Song; Wanwei Liu; Min Zhang 007 (Sci. China Inf. Sci., 2017)

Advanced evasion attacks and mitigations on practical ML-based phishing website classifiers. - Fu Song; Yusi Lei; Sen Chen 001; Lingling Fan 003; Yang Liu 003 (Int. J. Intell. Syst., 2021)