| 2020 | TASE | An Axiomatic Approach to BigrTiMo. | Wanling Xie, Huibiao Zhu, Shengchao Qin |
| 2018 | COMPSAC | Modeling and Verifying MooseFS in CSP. | Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie |
| 2018 | COMPSAC | Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. | Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu |
| 2018 | COMPSAC | Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. | Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang |
| 2018 | ICFEM | UTP Semantics for BigrTiMo. | Wanling Xie, Huibiao Zhu, Shengchao Qin |
| 2018 | TASE | Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. | Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie |
| 2017 | APSEC | Modeling and Verifying Identity Authentication Security of HDFS Using CSP. | Chao Xu, Huibiao Zhu, Wanling Xie |
| 2017 | COMPSAC | Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. | Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie |
| 2017 | COMPSAC | A Proof System for mCWQ. | Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu |
| 2017 | FedCSIS | A Proof System for MDESL. | Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei |
| 2017 | ICECCS | BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. | Wanling Xie, Huibiao Zhu, Qiwen Xu |
| 2016 | COMPSAC | Modeling and Verifying HDFS Using CSP. | Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo |