Zhiru Hou

According to our database, Zhiru Hou authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.

Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin

J. Circuits Syst. Comput., 2026

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

Formal verification and security analysis of FastDFS using process algebra.

Zhiru Hou, Huibiao Zhu

Internet Things, 2025

2024

Formal Modeling and Verifying Dubbo Using Process Algebra.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., August, 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., February, 2024

Relational Denotational and Algebraic Semantics Based on UTP.

Zhiru Hou, Huibiao Zhu

Proceedings of the Software Fault Prevention, Verification, and Validation, 2024

Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar.

Wenbin Wu, Zhiru Hou, Huibiao Zhu

Proceedings of the 36th International Conference on Software Engineering and Knowledge Engineering, 2024

Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling.

Jianhao Liu, Zhiru Hou, Huibiao Zhu

Proceedings of the 36th International Conference on Software Engineering and Knowledge Engineering, 2024

2022

Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

2021

Formalization and Verification of Dubbo Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021