Formalization and Verification of Dubbo Using CSP. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu (SEKE, 2021)

Formalization and Verification of SIP Using CSP. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu; Ningning Chen (PDCAT, 2022)

Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling. - Jianhao Liu; Zhiru Hou; Huibiao Zhu (SEKE, 2024)

Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar. - Wenbin Wu; Zhiru Hou; Huibiao Zhu (SEKE, 2024)

Relational Denotational and Algebraic Semantics Based on UTP. - Zhiru Hou; Huibiao Zhu (SFPVV, 2024)

Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective. - Zhiru Hou; Lili Xiao; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2024)

Formal Modeling and Verifying Dubbo Using Process Algebra. - Zhiru Hou; Jiaqi Yin; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2024)

Formal verification and security analysis of FastDFS using process algebra. - Zhiru Hou; Huibiao Zhu (Internet Things, 2025)

Formal Verification and Security Analysis of Go-based New Simple Queue System. - Zhiru Hou; Danyang Wang; Jiaqi Yin; Sini Chen; Huibiao Zhu (J. Circuits Syst. Comput., 2025)