Automating Software FMEA via Formal Analysis of Dependence Relations. - Wei Dong 006; Ji Wang 001; Changzhi Zhao; Xian Zhang; Jie Tian (COMPSAC, 2008)

Active Monitoring for Control Systems under Anticipatory Semantics. - Changzhi Zhao; Wei Dong 006; Zhichang Qi (QSIC, 2010)

Security Goals Assurance Based on Software Active Monitoring. - Changzhi Zhao; Wei Dong 006; Martin Leucker; Zhichang Qi (SSIRI, 2011)

Anticipatory active monitoring for safety- and security-critical software. - Wei Dong 006; Changzhi Zhao; Shaoxian Shu; Martin Leucker (Sci. China Inf. Sci., 2012)

sRNAPrimerDB: comprehensive primer design and search web service for small non-coding RNAs. - Shengsong Xie; Qin Zhu; Wubin Qu; Zhong Xu; Xiangdong Liu; Xinyun Li; Shijun Li; Wubin Ma; Yiliang Miao; Lisheng Zhang; Xiaoyong Du; Wuzi Dong; et al. (Bioinform., 2019)

TAElog: A Novel Transformer AutoEncoder-Based Log Anomaly Detection Method. - Changzhi Zhao; Kezhen Huang; Di Wu; Xueying Han; Dan Du; Yutian Zhou; Zhigang Lu 002; Yuling Liu (Inscrypt (2), 2023)

Multi-language Webshell Detection based on Abstract Syntax Tree and TreeLSTM. - Mengchuan Shang; Xueying Han; Changzhi Zhao; Zelin Cui; Dan Du; Bo Jiang 013 (CSCWD, 2024)

FREDet: Fine-Grained Malicious Traffic Detection Based on Frequency Domain Features. - Zekai Song; Yunpeng Li 006; Jian Qin; Changzhi Zhao; Dongxu Han; Yuling Liu (TrustCom, 2024)