BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Xiang S, Zhu H, Wu X, et al. (2020) Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra Science of Computer Programming. 187: 102343 |
| Liu A, Zhu H, Popovic M, et al. (2020) Formal analysis and verification of the PSTM architecture using CSP Journal of Systems and Software. 165: 110559 |
| Jiang J, Zhu H, Li Q, et al. (2020) Event-based functional decomposition Information and Computation. 271: 104484 |
| Fei Y, Zhu H, Vinh PC. (2020) Security Analysis of the Access Control Solution of NDN Using BAN Logic Mobile Networks and Applications. 25: 1162-1173 |
| Yin J, Zhu H, Vinh PC. (2020) Formalization and Analysis of Haystack Architecture from Process Algebra Perspective Mobile Networks and Applications. 25: 1125-1139 |
| Sheng F, Zhu H, He J, et al. (2020) Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP Formal Aspects of Computing. 32: 275-314 |
| Sheng F, Zhu H, He J, et al. (2019) Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL Acm Transactions On Software Engineering and Methodology. 28: 14 |
| Zhu X, Zhang M, Guo J, et al. (2019) Toward a Unified Executable Formal Automobile OS Kernel and Its Applications Ieee Transactions On Reliability. 68: 1117-1133 |
| Xiao L, Zhu H, Xiang S, et al. (2019) Modeling and verifying SDN under Multi‐controller architectures using CSP Concurrency and Computation: Practice and Experience |
| Wang H, Zhu H, Xiao L, et al. (2018) Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP International Journal of Software Engineering and Knowledge Engineering. 28: 1657-1677 |