pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. - Xin Li 010; Yanhong Huang; Jianqi Shi; Jian Guo 005; Huibiao Zhu; Yuanmin Xu (APSEC (1), 2014)

Formal Verification of PKMv3 Protocol Using DT-Spin. - Xiaoran Zhu; Yuanmin Xu; Jian Guo 005; Xi Wu 005; Huibiao Zhu; Weikai Miao (TASE, 2015)

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction. - Kai Chen; Hongyan Mao; Xiangyu Shi; Yuanmin Xu; Ailun Liu (COMPSAC (2), 2017)

Formalization and Verification of the PKMv3 Protocol Using CSP. - Yuanmin Xu; Huibiao Zhu; Xiaoran Zhu; Xi Wu 005; Jian Guo 005; Gang Lu (COMPSAC (1), 2017)

Formal Verification and Improvement of the PKMv3 Protocol Using CSP. - Jinpeng Jiang; Hongyan Mao; Rumeng Shao; Yuanmin Xu (COMPSAC (2), 2018)

Formal Analysis of the PKMv3 Protocol. - Xiaoran Zhu; Yuanmin Xu; Xin Li 010; Jian Guo 005; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2018)