Yuan Fei

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Coloured Petri Nets

Constraint Satisfaction Problems

Top Venues

J. Softw. Evol. Process.

Mob. Networks Appl.

Publications

Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang
An architecture refactoring approach to reducing software hierarchy complexity. J. Softw. Evol. Process. 36 (4) (2024)
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. SEKE (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, 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, Yuan Fei
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom (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)
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)
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)
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE (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)
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM (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)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE (2019)
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
Modeling and Verifying TESAC Using CSP. SEKE (2019)
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)
Yuan Fei, Huibiao Zhu, Huiwen Wang
Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). SEKE (2018)
Yuan Fei, Huibiao Zhu
Modeling and Verifying NDN Access Control Using CSP. ICFEM (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)
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)
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)
Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei
A Proof System for MDESL. FedCSIS (Communication Papers) (2017)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
Comparative Modeling and Verification of Pthreads and Dthreads. HASE (2016)