EdgeKeeper: a trusted edge computing framework for ubiquitous power Internet of Things. - Weiyong Yang; Wei Liu; Xingshen Wei; Zixin Guo; Kangle Yang; Hao Huang; Longyun Qi (Frontiers Inf. Technol. Electron. Eng., 2021)

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)