Zhiru Hou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEKE | Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling. | Jianhao Liu, Zhiru Hou, Huibiao Zhu |
| 2024 | SEKE | Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar. | Wenbin Wu, Zhiru Hou, Huibiao Zhu |
| 2022 | PDCAT | Formalization and Verification of SIP Using CSP. | Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
| 2021 | SEKE | Formalization and Verification of Dubbo Using CSP. | Zhiru Hou, Jiaqi Yin, Huibiao Zhu |