近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Ningning Chen, Huibiao Zhu: A proof system of the CaIT calculus. Frontiers Comput. Sci. 18(2): 182401 (2024)
Sini Chen, Ran Li, Huibiao Zhu: Formalization and Verification of Enhanced Group Communication CoAP. Int. J. Softw. Eng. Knowl. Eng. 34(2): 301-330 (2024)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao: Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20(1): 277-306 (2023)
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu: Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. 20(1): 307-327 (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): 21:1-21:36 (2023)
Ningning Chen, Huibiao Zhu: IoT Modeling and Verification: From the CaIT Calculus to UPPAAL. IEICE Trans. Inf. Syst. 106(9): 1507-1518 (2023)
Ran Li, Huibiao Zhu, Richard Banach: Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things 23: 100864 (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)
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu: Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC 2023: 74-81
Jonathan P. Bowen, Huibiao Zhu: Jifeng He at Oxford and Beyond: An Appreciation. Theories of Programming and Formal Methods 2023: 3-18
Wanling Xie, Huibiao Zhu, Xi Wu: A Timed Calculus with Mobility for Wireless Networks. CNIOT 2023: 653-657
Wei Lin, Sini Chen, Huibiao Zhu: Formalization and Verification of MQTT-SN Communication Using CSP. ECBS 2023: 115-132
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu: Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW 2023: 89-95
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu: Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE 2023: 404-409
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu: PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR abs/2305.08380 (2023)
Lili Xiao, Huibiao Zhu: UTP semantics for the MCA ARMv8 architecture. J. Syst. Archit. 125: 102438 (2022)
Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh: Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27(5): 2049-2067 (2022)
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh: Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. 27(5): 2068-2083 (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)
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin: Algebraic Semantics for C++11 Memory Model. COMPSAC 2022: 1-6
Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic: Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC 2022: 872-877
Ran Li, Huibiao Zhu, Richard Banach: Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS 2022: 123-132
Jiaqi Yin, Huibiao Zhu: The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS 2022: 133-142
Ran Li, Huibiao Zhu, Richard Banach: A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM 2022: 244-262
Ningning Chen, Huibiao Zhu: Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC 2022: 132-150
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen: Formalization and Verification of SIP Using CSP. PDCAT 2022: 158-171
Junfu Luo, Jiaqi Yin, Huibiao Zhu: MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT 2022: 387-398
Peimu Li, Jiaqi Yin, Huibiao Zhu: Formal Verification of COCO Database Framework Using CSP. SEKE 2022: 363-368
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen: Modeling and Verifying AUPS Using CSP. SEKE 2022: 568-573
Ran Li, Huibiao Zhu, Richard Banach: Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA 2022: 127-133
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)
Wanling Xie, Huibiao Zhu, Qiwen Xu: A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. 33(2): 207-249 (2021)
Ran Li, Huibiao Zhu, Jiaqi Yin: Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. 104-D(12): 2154-2163 (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): 1269-1290 (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): 2258-2271 (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: 102546 (2021)
Richard Banach, Huibiao Zhu: Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. 33(9) (2021)
Richard Banach, Huibiao Zhu: Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods 2021: 29-62
Jiaqi Yin, Huibiao Zhu, Yuan Fei: SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE 2021: 990-993
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao: Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS 2021: 9:1-9:10
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu: PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS 2021: 10:1-10:10
Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li: Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom 2021: 845-852
Sini Chen, Ran Li, Huibiao Zhu: Formalization and Verification of Group Communication CoAP Using CSP. PDCAT 2021: 616-628
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen: Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE 2021: 102-107
Zhiru Hou, Jiaqi Yin, Huibiao Zhu: Formalization and Verification of Dubbo Using CSP. SEKE 2021: 154-159
Lili Xiao, Huibiao Zhu: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. SETTA 2021: 81-101
Ningning Chen, Huibiao Zhu, Huixing Fang: A Proof System for HRML with Extended Hoare Logic. TASE 2021: 31-38
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu: Formal Modelling and Verification of the RTPS Behavior Module. TASE 2021: 127-134
Jiaqi Yin, Huibiao Zhu, Yuan Fei: Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom 2021: 68-75
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): 275-314 (2020)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong: Event-based functional decomposition. Inf. Comput. 271: 104484 (2020)
Jiaqi Yin, Huibiao Zhu, Yuan Fei: Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. 35(6): 1312-1323 (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: 110559 (2020)
Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh: Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. 25(3): 1125-1139 (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): 1162-1173 (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: 102343 (2020)
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin: Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC 2020: 198-207
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu: Formalization and Verification of VANET. SEKE 2020: 1-6
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei: Modeling and Verifying NDN-based IoV Using CSP. SEKE 2020: 31-36
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu: Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE 2020: 222-227
Wanling Xie, Huibiao Zhu, Shengchao Qin: An Axiomatic Approach to BigrTiMo. TASE 2020: 41-48
Ran Li, Jiaqi Yin, Huibiao Zhu: Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom 2020: 79-86
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): 1741-1760 (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): 100-114 (2019)
Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh: Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. 24(1): 134-144 (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): 10:1-10:31 (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): 14:1-14:46 (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): 1117-1133 (2019)
Feng Sheng, Huibiao Zhu, Zongyuan Yang: Towards the Mechanized Semantics and Refinement of UML Class Diagrams. APSEC 2019: 47-54
Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao: Modeling and Verifying Storm Using CSP. HASE 2019: 192-199
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang: Modeling and Verifying Spark on YARN Using Process Algebra. HASE 2019: 208-215
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin: A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185
Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu: PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM 2019: 203-218
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu: Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE 2019: 147-198
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu: Verifying Static Aspects of UML models using Prolog (S). SEKE 2019: 259-342
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin: Modeling and Verifying TESAC Using CSP. SEKE 2019: 265-348
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen: A Logical Approach for the Schedulability Analysis of CCSL. TASE 2019: 25-32
Yucheng Fang, Huibiao Zhu, Jiaqi Yin: Verifying Opacity of a Modified PSTM. TASE 2019: 232-239
Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic: Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE 2019: 240-247
Xi Wu, Huibiao Zhu, Wanling Xie: UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP 2019: 198-216
Wanling Xie, Shuangqing Xiang, Huibiao Zhu: A UTP approach for rTiMo. Formal Aspects Comput. 30(6): 713-738 (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): 1657-1677 (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): 44-56 (2018)
Xi Wu, Huibiao Zhu: Formal analysis of a calculus for WSNs from quality perspective. Sci. Comput. Program. 154: 134-153 (2018)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin: Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30(3) (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): 2768-2778 (2018)
Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei: Modeling and analysis of the disruptor framework in CSP. CCWC 2018: 803-809
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: 213-218
Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie: Modeling and Verifying MooseFS in CSP. COMPSAC (1) 2018: 270-275
Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu: Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. COMPSAC (2) 2018: 376-381
Longfei Zhu, Qiwen Xu, Huibiao Zhu: Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) 2018: 241-247
Yuan Fei, Huibiao Zhu: Modeling and Verifying NDN Access Control Using CSP. ICFEM 2018: 143-159
Wanling Xie, Huibiao Zhu, Shengchao Qin: UTP Semantics for BigrTiMo. ICFEM 2018: 337-353
Lili Xiao, Shuangqing Xiang, Huibiao Zhu: Modeling and verifying SDN with multiple controllers. SAC 2018: 419-422
Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao: Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. SEKE 2018: 169-168
Yucheng Fang, Huibiao Zhu, Huiwen Wang: Modeling and Verifying Leader Election Algorithm in CSP (S). SEKE 2018: 342-341
Yuan Fei, Huibiao Zhu, Huiwen Wang: Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). SEKE 2018: 659-658
Wenjun Du, Zhengfeng Yang, Huibiao Zhu: A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. TASE 2018: 17-27
Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie: Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. TASE 2018: 84-91
Yuan Fei, Huibiao Zhu, Xin Li: Modeling and Verification of NLSR Protocol using UPPAAL. TASE 2018: 108-115
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh: Modeling and Verifying HDFS Using Process Algebra. Mob. Networks Appl. 22(2): 318-331 (2017)
Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu: Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139: 1-35 (2017)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen: Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1(2): 9:1-9:32 (2017)
Chao Xu, Huibiao Zhu, Wanling Xie: Modeling and Verifying Identity Authentication Security of HDFS Using CSP. APSEC 2017: 259-268
Ailun Liu, Miroslav Popovic, Huibiao Zhu: Formalization and Verification of the PSTM Architecture. APSEC 2017: 427-435
Luyao Wang, Wanling Xie, Huibiao Zhu: Assertion-Based Reasoning Method for Calculus of Wireless System. Models, Algorithms, Logics and Tools 2017: 484-502
Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie: Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. COMPSAC (1) 2017: 39-44
Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu: A Proof System for mCWQ. COMPSAC (1) 2017: 45-50
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu: Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) 2017: 499-504
Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei: A Proof System for MDESL. FedCSIS (Communication Papers) 2017: 387-393
Wanling Xie, Huibiao Zhu, Qiwen Xu: BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. ICECCS 2017: 50-59
Yujie Yuan, Lihua Xu, Xusheng Xiao, Andy Podgurski, Huibiao Zhu: RunDroid: recovering execution call graphs for Android applications. ESEC/SIGSOFT FSE 2017: 949-953
Jonathan P. Bowen, Huibiao Zhu: Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, Springer 2017, ISBN 978-3-319-52227-2 [contents]
京公网安备 11010802027423号