Zhiru Hou

11 papers C 4Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
J. Circuits Syst. Comput.
Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin
2025 J jnl
Formal Verification and Security Analysis of Go-based New Simple Queue System.
J. Circuits Syst. Comput.
Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
2025 J jnl
Formal verification and security analysis of FastDFS using process algebra.
Internet Things
Zhiru Hou, Huibiao Zhu
2025 J jnl
Validating Secure Cloud Communication Mechanisms of Graphene with CSP-Based Modeling.
Int. J. Softw. Eng. Knowl. Eng.
Jianhao Liu, Zhiru Hou, Huibiao Zhu
2024 J jnl
Formal Modeling and Verifying Dubbo Using Process Algebra.
Mob. Networks Appl.
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
2024 J jnl
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective.
Mob. Networks Appl.
Zhiru Hou, Lili Xiao, Huibiao Zhu, Phan Cong Vinh
2024 C conf
Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar.
SEKE
Wenbin Wu, Zhiru Hou, Huibiao Zhu
2024 — conf
Relational Denotational and Algebraic Semantics Based on UTP.
SFPVV
Zhiru Hou, Huibiao Zhu
2024 C conf
Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling.
SEKE
Jianhao Liu, Zhiru Hou, Huibiao Zhu
2022 C conf
Formalization and Verification of SIP Using CSP.
PDCAT
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2021 C conf
Formalization and Verification of Dubbo Using CSP.
SEKE
Zhiru Hou, Jiaqi Yin, Huibiao Zhu