Get started
Author

Zhiru Hou

ORCID: 0000-0002-3266-0084
Observed ORCID: 0000-0002-3266-0084
OpenAlex ID: A5028749274
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective
2024 · Zhiru Hou, Lili Xiao, et al. · Mobile Networks and Applications · 3
Formalization and Verification of SIP Using CSP
2023 · Zhiru Hou, Jiaqi Yin, et al. · Lecture notes in computer science · 3
Formalization and Verification of Dubbo Using CSP
2021 · Zhiru Hou · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 3
PDF
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+
2025 · Lili Xiao, Zhiru Hou, et al. · Journal of Circuits Systems and Computers · 1
Validating Secure Cloud Communication Mechanisms of Graphene with CSP-Based Modeling
2025 · Jianhao Liu, Zhiru Hou, et al. · International Journal of Software Engineering and Knowledge Engineering · 1
Formal verification and security analysis of FastDFS using process algebra
2025 · Zhiru Hou, Huibiao Zhu · Internet of Things · 1
Formal Modeling and Verifying Dubbo Using Process Algebra
2023 · Zhiru Hou, Jiaqi Yin, et al. · Mobile Networks and Applications · 1
Formalization and Verification of the Message Delivery Mechanism in Apache Pulsar
2026 · Wenbin Wu, Zhiru Hou, et al. · International Journal of Software Engineering and Knowledge Engineering
Operational and Algebraic Approaches to the Two-Run Relational System
2026 · Zhiru Hou, Huibiao Zhu, et al. · Lecture notes in computer science
Relational Denotational and Algebraic Semantics Based on UTP
2025 · Zhiru Hou, Huibiao Zhu · Lecture notes in computer science
Formal Verification and Security Analysis of Go-based New Simple Queue System
2024 · Zhiru Hou, Danyang Wang, et al. · Journal of Circuits Systems and Computers
Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar
2024 · Wenbin Wu, Zhiru Hou, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
PDF
Works count: 12
Citation count: 13
H-index: 3
I10-index:
Year
Topic
Type