Huibiao Zhu

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 127

Top Venues

London South Bank University, UK (PHD)

Education History

London South Bank University, UK

PHD

Publications

Ran Li, Huibiao Zhu, Richard Banach
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program. 139 (2024)
Sini Chen, Ran Li, Huibiao Zhu
Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34 (2) (2024)
Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32 (3) (2024)
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC (2024)
Ningning Chen, Huibiao Zhu
A process calculus SMrCaIT for IoT. J. Softw. Evol. Process. 36 (5) (2024)
Ningning Chen, Huibiao Zhu
A proof system of the CaIT calculus. Frontiers Comput. Sci. 18 (2) (2024)
Jiapeng Wang, Sini Chen, Huibiao Zhu
Verification of Scapegoat Trees Using Dafny. NFM (2024)
Jonathan P. Bowen, Huibiao Zhu
Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods (2023)
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE (2023)
Wanling Xie, Huibiao Zhu, Xi Wu
A Timed Calculus with Mobility for Wireless Networks. CNIOT (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR (2023)
Ran Li, Huibiao Zhu, Richard Banach
Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things 23 (2023)
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC (2023)
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW (2023)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20 (1) (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. 20 (1) (2023)
Wei Lin, Sini Chen, Huibiao Zhu
Formalization and Verification of MQTT-SN Communication Using CSP. ECBS (2023)
Ningning Chen, Huibiao Zhu
IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. IEICE Trans. Inf. Syst. 106 (9) (2023)
Yuan Fei, Huibiao Zhu, Jiaqi Yin
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. J. Softw. Evol. Process. 35 (7) (2023)
Yuan Fei, Huibiao Zhu, Jiaqi Yin
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. Formal Aspects Comput. 35 (4) (2023)
Ningning Chen, Huibiao Zhu
Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC (2022)
Lili Xiao, Huibiao Zhu
UTP semantics for the MCA ARMv8 architecture. J. Syst. Archit. 125 (2022)
Junfu Luo, Jiaqi Yin, Huibiao Zhu
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT (2022)
Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27 (5) (2022)
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. 27 (5) (2022)
Ran Li, Huibiao Zhu, Richard Banach
Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA (2022)
Peimu Li, Jiaqi Yin, Huibiao Zhu
Formal Verification of COCO Database Framework Using CSP. SEKE (2022)
Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC (2022)
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formalization and Verification of SIP Using CSP. PDCAT (2022)
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
Modeling and Verifying AUPS Using CSP. SEKE (2022)
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
Algebraic Semantics for C++11 Memory Model. COMPSAC (2022)
Ran Li, Huibiao Zhu, Richard Banach
Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS (2022)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. 34 (10) (2022)
Jiaqi Yin, Huibiao Zhu
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS (2022)
Ran Li, Huibiao Zhu, Richard Banach
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM (2022)
Richard Banach, Huibiao Zhu
Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. 33 (9) (2021)
Zhiru Hou, Jiaqi Yin, Huibiao Zhu
Formalization and Verification of Dubbo Using CSP. SEKE (2021)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom (2021)
Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
Modeling and verifying SDN under Multi-controller architectures using CSP. Concurr. Comput. Pract. Exp. 33 (2) (2021)
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE (2021)
Lili Xiao, Huibiao Zhu
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. SETTA (2021)
Richard Banach, Huibiao Zhu
Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods (2021)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS (2021)
Li-Li Xiao, Huibiao Zhu, Qi-Wen Xu
Trace Semantics and Algebraic Laws for Total Store Order Memory Model. J. Comput. Sci. Technol. 36 (6) (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202 (2021)
Wanling Xie, Huibiao Zhu, Qiwen Xu
A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. 33 (2) (2021)
Sini Chen, Ran Li, Huibiao Zhu
Formalization and Verification of Group Communication CoAP Using CSP. PDCAT (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. Mob. Networks Appl. 26 (6) (2021)
Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom (2021)
Ran Li, Huibiao Zhu, Jiaqi Yin
Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. (12) (2021)
Ningning Chen, Huibiao Zhu, Huixing Fang
A Proof System for HRML with Extended Hoare Logic. TASE (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
Formal Modelling and Verification of the RTPS Behavior Module. TASE (2021)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32 (2-3) (2020)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. 35 (6) (2020)
Yuan Fei, Huibiao Zhu, Phan Cong Vinh
Security Analysis of the Access Control Solution of NDN Using BAN Logic. Mob. Networks Appl. 25 (3) (2020)
Ran Li, Jiaqi Yin, Huibiao Zhu
Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom (2020)
Wanling Xie, Huibiao Zhu, Shengchao Qin
An Axiomatic Approach to BigrTiMo. TASE (2020)
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187 (2020)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
Event-based functional decomposition. Inf. Comput. 271 (2020)
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE (2020)
Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. 25 (3) (2020)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
Modeling and Verifying NDN-based IoV Using CSP. SEKE (2020)
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC (2020)
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formalization and Verification of VANET. SEKE (2020)
Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang
Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. 165 (2020)
Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu
PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM (2019)
Feng Sheng, Huibiao Zhu, Zongyuan Yang
Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC (2019)
Xi Wu, Huibiao Zhu, Wanling Xie
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP (2019)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
A Logical Approach for the Schedulability Analysis of CCSL. TASE (2019)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM (2019)
Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE (2019)
Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao
Modeling and Verifying Storm Using CSP. HASE (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
Modeling and Verifying Spark on YARN Using Process Algebra. HASE (2019)
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. 29 (11&12) (2019)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
Modeling and Verifying Basic Modules of Floodlight. Mob. Networks Appl. 24 (1) (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE (2019)
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
Modeling and Verifying TESAC Using CSP. SEKE (2019)
Yucheng Fang, Huibiao Zhu, Jiaqi Yin
Verifying Opacity of a Modified PSTM. TASE (2019)
Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. 24 (1) (2019)
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
Verifying Static Aspects of UML models using Prolog (S). SEKE (2019)
Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. COMPSAC (2) (2018)
Wanling Xie, Huibiao Zhu, Shengchao Qin
UTP Semantics for BigrTiMo. ICFEM (2018)
Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Lili Xiao, Shuangqing Xiang, Huibiao Zhu
Modeling and verifying SDN with multiple controllers. SAC (2018)
Yuan Fei, Huibiao Zhu, Huiwen Wang
Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). SEKE (2018)
Wenjun Du, Zhengfeng Yang, Huibiao Zhu
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE (2018)
Yuan Fei, Huibiao Zhu
Modeling and Verifying NDN Access Control Using CSP. ICFEM (2018)
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23 (1) (2018)
Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie
Modeling and Verifying MooseFS in CSP. COMPSAC (1) (2018)
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. TASE (2018)
Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. COMPSAC (1) (2018)
Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. SEKE (2018)
Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei
Modeling and analysis of the disruptor framework in CSP. CCWC (2018)
Yuan Fei, Huibiao Zhu, Xin Li
Modeling and Verification of NLSR Protocol using UPPAAL. TASE (2018)

Huibiao Zhu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Huibiao Zhu