A universal framework of dual-use model for both performance and functionality based on the abstract state machine. - Zheng Xie; Xin'an Wang; Zhibin Lian; Qiuping Li; Shanshan Yong (ASICON, 2013)

A novel intelligent verification platform based on a structured analysis model. - Zheng Xie; Xin'an Wang; Zhibin Lian; Yonggui Luo; Ziyi Hu (Sci. China Inf. Sci., 2013)

FINET: Fine-grained Feature Interaction Network for Click-through Rate Prediction. - Zhibin Lian; Hong Ge (ICACI, 2020)