Zhiru Hou

According to our database1, Zhiru Hou authored at least 5 papers between 2021 and 2024.

Collaborative distances:

Timeline

2021
2022
2023
2024
0
1
2
3
4
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective.
Mob. Networks Appl., February, 2024

Formalization and Verification of the Message Delivery Mechanism of Apache Pulsar.
Proceedings of the 36th International Conference on Software Engineering and Knowledge Engineering, 2024

Validating Secure Cloud Communication Mechanisms of Graphene with CSP-based Modeling.
Proceedings of the 36th International Conference on Software Engineering and Knowledge Engineering, 2024

2022
Formalization and Verification of SIP Using CSP.
Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

2021
Formalization and Verification of Dubbo Using CSP.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021


  Loading...