default search action

combined dblp search
author search
venue search
publication search

ask others

Zhiru Hou

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/iot/HouZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iot/HouZ25
Zhiru Hou, Huibiao Zhu:
Formal verification and security analysis of FastDFS using process algebra. Internet Things 31: 101543 (2025)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/HouWYCZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/HouWYCZ25
Zhiru Hou, Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu:
Formal Verification and Security Analysis of Go-based New Simple Queue System. J. Circuits Syst. Comput. 34(6): 2550145:1-2550145:39 (2025)
2024
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/HouXZV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/HouXZV24
Zhiru Hou, Lili Xiao, Huibiao Zhu, Phan Cong Vinh:
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective. Mob. Networks Appl. 29(1): 273-285 (2024)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/HouYZV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/HouYZV24
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh:
Formal Modeling and Verifying Dubbo Using Process Algebra. Mob. Networks Appl. 29(4): 1257-1272 (2024)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/LiuHZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LiuHZ24
Jianhao Liu, Zhiru Hou, Huibiao Zhu:
Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling. SEKE 2024: 42-47
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/WuHZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/WuHZ24
Wenbin Wu, Zhiru Hou, Huibiao Zhu:
Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar. SEKE 2024: 317-322
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sfpvv/HouZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfpvv/HouZ24
Zhiru Hou, Huibiao Zhu:
Relational Denotational and Algebraic Semantics Based on UTP. SFPVV 2024: 226-244
2022
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pdcat/HouYZC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdcat/HouYZC22
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen:
Formalization and Verification of SIP Using CSP. PDCAT 2022: 158-171
2021
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/HouYZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/HouYZ21
Zhiru Hou, Jiaqi Yin, Huibiao Zhu:
Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.