☰

Huibiao Zhu - Publications

Affiliations: 
2000-2005 SCISM London South Bank University 
Tree Info Similar researchers PubMed Report error

38 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

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.