Year |
Citation |
Score |
2020 |
Xiang S, Zhu H, Wu X, Xiao L, Bonsangue MM, Xie W, Zhang L. Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra Science of Computer Programming. 187: 102343. DOI: 10.1016/J.Scico.2019.102343 |
0.448 |
|
2020 |
Liu A, Zhu H, Popovic M, Xiang S, Zhang L. Formal analysis and verification of the PSTM architecture using CSP Journal of Systems and Software. 165: 110559. DOI: 10.1016/J.Jss.2020.110559 |
0.444 |
|
2020 |
Jiang J, Zhu H, Li Q, Zhao Y, Zhang S, Gong P, Hong Z. Event-based functional decomposition Information and Computation. 271: 104484. DOI: 10.1016/J.Ic.2019.104484 |
0.306 |
|
2020 |
Fei Y, Zhu H, Vinh PC. Security Analysis of the Access Control Solution of NDN Using BAN Logic Mobile Networks and Applications. 25: 1162-1173. DOI: 10.1007/S11036-019-01435-Z |
0.679 |
|
2020 |
Yin J, Zhu H, Vinh PC. Formalization and Analysis of Haystack Architecture from Process Algebra Perspective Mobile Networks and Applications. 25: 1125-1139. DOI: 10.1007/S11036-019-01433-1 |
0.719 |
|
2020 |
Sheng F, Zhu H, He J, Yang Z, Bowen JP. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP Formal Aspects of Computing. 32: 275-314. DOI: 10.1007/S00165-020-00513-4 |
0.625 |
|
2019 |
Sheng F, Zhu H, He J, Yang Z, Bowen JP. Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL Acm Transactions On Software Engineering and Methodology. 28: 14. DOI: 10.1145/3295699 |
0.601 |
|
2019 |
Zhu X, Zhang M, Guo J, Li X, Zhu H, He J. Toward a Unified Executable Formal Automobile OS Kernel and Its Applications Ieee Transactions On Reliability. 68: 1117-1133. DOI: 10.1109/Tr.2018.2863744 |
0.413 |
|
2019 |
Xiao L, Zhu H, Xiang S, Vinh PC. Modeling and verifying SDN under Multi‐controller architectures using CSP Concurrency and Computation: Practice and Experience. DOI: 10.1002/Cpe.5334 |
0.398 |
|
2018 |
Wang H, Zhu H, Xiao L, Fei Y. Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP International Journal of Software Engineering and Knowledge Engineering. 28: 1657-1677. DOI: 10.1142/S0218194018400223 |
0.329 |
|
2018 |
Xie W, Zhu H, Wu X, Vinh PC. Formal Verification of mCWQ Using Extended Hoare Logic Mobile Networks and Applications. 24: 134-144. DOI: 10.1007/S11036-018-1142-8 |
0.395 |
|
2018 |
Xiang S, Wu X, Zhu H, Xie W, Xiao L, Vinh PC. Modeling and Verifying Basic Modules of Floodlight Mobile Networks and Applications. 24: 100-114. DOI: 10.1007/S11036-018-1141-9 |
0.71 |
|
2018 |
Zhu X, Xu Y, Li X, Guo J, Zhu H, Vinh PC. Formal Analysis of the PKMv3 Protocol Mobile Networks and Applications. 23: 44-56. DOI: 10.1007/S11036-017-0903-0 |
0.721 |
|
2018 |
Xie W, Xiang S, Zhu H. A UTP approach for rTiMo Formal Aspects of Computing. 30: 713-738. DOI: 10.1007/S00165-018-0467-1 |
0.423 |
|
2018 |
Fei Y, Zhu H, Wu X, Fang H, Qin S. Comparative modelling and verification of Pthreads and Dthreads Journal of Software: Evolution and Process. 30: 1-33. DOI: 10.1002/Smr.1919 |
0.416 |
|
2017 |
Jiang J, Zhu H, Li Q, Zhao Y, Zhao L, Zhang S, Gong P, Hong Z, Chen D. Event-Based Mobility Modeling and Analysis Acm Transactions On Cyber-Physical Systems. 1: 1-32. DOI: 10.1145/2823353 |
0.334 |
|
2017 |
Wu X, Zhu H. Formal analysis of a calculus for WSNs from quality perspective Science of Computer Programming. 154: 134-153. DOI: 10.1016/J.Scico.2017.08.007 |
0.386 |
|
2017 |
Xie W, Zhu H, Wu X, Xiang S, Guo J, Vinh PC. Modeling and Verifying HDFS Using Process Algebra Mobile Networks and Applications. 22: 318-331. DOI: 10.1007/S11036-017-0812-2 |
0.718 |
|
2016 |
Hoare T, Staden Sv, Möller B, Struth G, Zhu H. Developments in concurrent Kleene algebra The Journal of Logic and Algebraic Programming. 85: 617-636. DOI: 10.1016/J.Jlamp.2015.09.012 |
0.355 |
|
2016 |
Wu X, Zhu H. Formalization and analysis of the REST architecture from the process algebra perspective Future Generation Computer Systems. 56: 153-168. DOI: 10.1016/J.Future.2015.09.007 |
0.454 |
|
2016 |
Fang H, Zhu H, He J. SMT-Based Symbolic Encoding and Formal Analysis of HML Models Mobile Networks and Applications. 1-18. DOI: 10.1007/S11036-015-0671-7 |
0.412 |
|
2015 |
Banach R, Butler M, Qin S, Verma N, Zhu H. Core Hybrid Event-B I Science of Computer Programming. 105: 92-123. DOI: 10.1016/J.Scico.2015.02.003 |
0.305 |
|
2015 |
Huang Y, He J, Zhu H, Zhao Y, Shi J, Qin S. Semantic theories of programs with nested interrupts Frontiers of Computer Science in China. 9: 331-345. DOI: 10.1007/S11704-015-3251-X |
0.386 |
|
2014 |
Banach R, Zhu H, Su W, Wu X. A Continuous ASM Modelling Approach to Pacemaker Sensing Acm Transactions On Software Engineering and Methodology. 24: 2. DOI: 10.1145/2610375 |
0.328 |
|
2014 |
Su W, Abrial J, Zhu H. Formalizing hybrid systems with Event-B and the Rodin Platform Science of Computer Programming. 94: 164-202. DOI: 10.1016/J.Scico.2014.04.015 |
0.312 |
|
2014 |
Banach R, Zhu H, Su W, Wu X. ASM, controller synthesis, and complete refinement Science of Computer Programming. 94: 109-129. DOI: 10.1016/J.Scico.2014.04.013 |
0.325 |
|
2014 |
Yuan T, Tang Y, Wu X, Zhang Y, Zhu H, Guo J, Qin W. Formalization and Verification of REST on HTTP Using CSP Electronic Notes in Theoretical Computer Science. 309: 75-93. DOI: 10.1016/J.Entcs.2014.12.007 |
0.454 |
|
2014 |
Pan C, Guo J, Zhu L, Shi J, Zhu H, Zhou X. Modeling and Verification of CAN Bus with Application Layer using UPPAAL Electronic Notes in Theoretical Computer Science. 309: 31-49. DOI: 10.1016/J.Entcs.2014.12.004 |
0.453 |
|
2014 |
Li Q, Zhao Y, Zhu H, He J. A UTP semantic model for Orc language with execution status and fault handling Frontiers of Computer Science in China. 8: 709-725. DOI: 10.1007/S11704-014-3385-2 |
0.413 |
|
2014 |
Fang H, Shi J, Zhu H, Guo J, Larsen KG, David A. Formal verification and simulation for platform screen doors and collision avoidance in subway control systems International Journal On Software Tools For Technology Transfer. 16: 339-361. DOI: 10.1007/S10009-014-0318-1 |
0.374 |
|
2014 |
Yüksel E, Nielson HR, Nielson F, Zhu H, Huang H. Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study International Journal On Software Tools For Technology Transfer. 16: 421-435. DOI: 10.1007/S10009-014-0311-8 |
0.41 |
|
2014 |
Zhu H, He J, Qin S, Brooke PJ. Denotational semantics and its algebraic derivation for an event-driven system-level language Formal Aspects of Computing. 27: 133-166. DOI: 10.1007/S00165-014-0309-8 |
0.434 |
|
2014 |
Banach R, Zhu H, Su W, Huang R. Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Interface: A Simple Train Stopping Application Formal Aspects of Computing. 26: 319-366. DOI: 10.1007/S00165-012-0263-2 |
0.412 |
|
2013 |
Wu X, Zhu H, Zhao Y, Wang Z, Si L. Modeling and verifying the Ariadne protocol using process algebra Computer Science and Information Systems. 10: 393-421. DOI: 10.2298/Csis120601009W |
0.438 |
|
2012 |
Zhu H, Yang F, He J, Bowen JP, Sanders JW, Qin S. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language The Journal of Logic and Algebraic Programming. 81: 2-25. DOI: 10.1016/J.Jlap.2011.06.003 |
0.602 |
|
2010 |
Zhu H, He J, Li J, Pu G, Bowen JP. Linking denotational semantics with operational semantics for web services Innovations in Systems and Software Engineering. 6: 283-298. DOI: 10.1007/S11334-010-0134-Z |
0.599 |
|
2009 |
Zhu H, Qin S, He J, Bowen JP. PTSC: probability, time and shared-variable concurrency Innovations in Systems and Software Engineering. 5: 271-284. DOI: 10.1007/S11334-009-0100-9 |
0.636 |
|
2007 |
He J, Zhu H, Pu G. A model for BPEL-like languages Frontiers of Computer Science in China. 1: 9. DOI: 10.1007/S11704-007-0002-7 |
0.407 |
|
Show low-probability matches. |