Survey of the Formal Verification of Operating Systems in Power Monitoring System. - Kangle Yang; Jianye Yu; Xinshen Wei; Feng You; Haidong Huang; Xuesong Huo (PRIS, 2023)

Deep Temporal Graph Infomax for Imbalanced Insider Threat Detection. - Peng Gao; Haotian Zhang; Ming Wang; Weiyong Yang; Xinshen Wei; Zhuo Lv; Zengzhou Ma (J. Comput. Inf. Syst., 2025)