Comparative Modeling and Verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang (HASE, 2016)

Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. - Ailun Liu; Huibiao Zhu; Yuan Fei; Shuangqing Xiang; Gang Lu; Wanling Xie (COMPSAC (1), 2017)

A Proof System for MDESL. - Jianyu Lu; Wanling Xie; Huibiao Zhu; Yuan Fei (FedCSIS (Communication Papers), 2017)

Modeling and analysis of the disruptor framework in CSP. - Yucheng Fang; Huibiao Zhu; Frank Zeyda; Yuan Fei (CCWC, 2018)

Modeling and Verifying NDN Access Control Using CSP. - Yuan Fei; Huibiao Zhu (ICFEM, 2018)

Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). - Yuan Fei; Huibiao Zhu; Huiwen Wang (SEKE, 2018)

Modeling and Verification of NLSR Protocol using UPPAAL. - Yuan Fei; Huibiao Zhu; Xin Li 010 (TASE, 2018)

Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. - Huiwen Wang; Huibiao Zhu; Lili Xiao; Yuan Fei (Int. J. Softw. Eng. Knowl. Eng., 2018)

Comparative modelling and verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang; Shengchao Qin (J. Softw. Evol. Process., 2018)

Modeling and Verifying Spark on YARN Using Process Algebra. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Yucheng Fang (HASE, 2019)

A Security Calculus for Wireless Networks of Named Data Networking. - Yuan Fei; Huibiao Zhu; Haiying Sun; Jiaqi Yin (ICFEM, 2019)

Modeling and Verifying TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (SEKE, 2019)

Formalization and Verification of RTPS StatefulWriter Module Using CSP. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu; Ruobiao Wu (SEKE, 2019)

Formalization and Verification of TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (Int. J. Softw. Eng. Knowl. Eng., 2019)

Modeling and Verifying Data Access Mechanism of NLSR Trust Model. - Ningning Chen; Huibiao Zhu; Yuan Fei; Lili Xiao; Jiaqi Yin (APSEC, 2020)

Formalization and Verification of VANET. - Ran Li; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Formal Modelling and Verification of MCAC Router Architecture in ICN. - Junya Xu; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Modeling and Verifying NDN-based IoV Using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Lili Xiao; Yuan Fei (SEKE, 2020)

Specification and Verification of the Zab Protocol with TLA+. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (J. Comput. Sci. Technol., 2020)

Security Analysis of the Access Control Solution of NDN Using BAN Logic. - Yuan Fei; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2020)

SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (DATE, 2021)

Formal Modelling and Verification of the RTPS Behavior Module. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu (TASE, 2021)

Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (TrustCom, 2021)

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. - Jiaqi Yin; Huibiao Zhu; Yuan Fei (Mob. Networks Appl., 2021)

Modeling and verifying NDN-based IoV using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Yuan Fei; Lili Xiao; Minghua Zhu (J. Softw. Evol. Process., 2022)

Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. - Yingjia Du; Yuan Fei; Sini Chen; Huibiao Zhu (SEKE, 2023)

Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. - Yuan Fei; Huibiao Zhu; Jiaqi Yin (J. Softw. Evol. Process., 2023)

FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. - Yuan Fei; Huibiao Zhu; Jiaqi Yin (Formal Aspects Comput., 2023)

An architecture refactoring approach to reducing software hierarchy complexity. - Yongxin Zhao; Wenhan Wu; Yuan Fei; Zhihao Liu; Yang Li; Yilong Yang 001; Ling Shi; Bo Zhang (J. Softw. Evol. Process., 2024)

FVF-BIoT: a formal verification framework for blockchain-based IoT authentication. - Jiaqi Yin; Yuan Fei (Softw. Qual. J., 2024)