| Comparative modelling and verification of Pthreads and Dthreads Y Fei, H Zhu, X Wu, H Fang, S Qin Journal of Software: Evolution and Process 30 (3), e1919, 2018 | 20 | 2018 |
| Specification and verification of the Zab protocol with TLA+ JQ Yin, HB Zhu, Y Fei Journal of Computer Science and Technology 35, 1312-1323, 2020 | 15 | 2020 |
| Security analysis of the access control solution of NDN using BAN logic Y Fei, H Zhu, PC Vinh Mobile Networks and Applications 25, 1162-1173, 2020 | 12 | 2020 |
| Modeling and analysis of the disruptor framework in CSP Y Fang, H Zhu, F Zeyda, Y Fei 2018 IEEE 8th Annual Computing and Communication Workshop and Conference …, 2018 | 9 | 2018 |
| Modeling and verifying NDN access control using CSP Y Fei, H Zhu Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 8 | 2018 |
| Modeling and verification of NLSR protocol using UPPAAL Y Fei, H Zhu, X Li 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 7 | 2018 |
| Modeling and verifying NDN‐based IoV using CSP N Chen, H Zhu, J Yin, Y Fei, L Xiao, M Zhu Journal of Software: Evolution and Process 34 (10), e2371, 2022 | 6 | 2022 |
| Formalization and Verification of RTPS StatefulWriter Module Using CSP. J Yin, H Zhu, Y Fei, Q Xu, R Wu SEKE, 147-198, 2019 | 6 | 2019 |
| Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing J Yin, H Zhu, Y Fei Mobile Networks and Applications 26 (6), 2258-2271, 2021 | 5 | 2021 |
| FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT Y Fei, H Zhu, J Yin Formal Aspects of Computing 35 (4), 1-36, 2023 | 2 | 2023 |
| Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL Y Fei, H Zhu, J Yin Journal of Software: Evolution and Process 35 (7), e2384, 2023 | 2 | 2023 |
| Formal modelling and verification of the rtps behavior module J Yin, H Zhu, Y Fei, Q Xu 2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021 | 2 | 2021 |
| Modeling and verifying spark on YARN using process algebra J Yin, H Zhu, Y Fei, Y Fang 2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019 | 2 | 2019 |
| Formalization and verification of the openflow bundle mechanism using CSP H Wang, H Zhu, L Xiao, Y Fei International Journal of Software Engineering and Knowledge Engineering 28 …, 2018 | 2 | 2018 |
| MFF-IoT: A Multi-Granularity Formal Framework of User Authentication for IoT Y Fei, J Yin, L Yan Electronics 12 (11), 2356, 2023 | 1 | 2023 |
| SC4MEC: automated implementation of a secure hierarchical calculus for mobile edge computing J Yin, H Zhu, Y Fei 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 990-993, 2021 | 1 | 2021 |
| Formalization and Verification of VANET. R Li, H Zhu, L Xiao, J Yin, Y Fei, G Lu SEKE, 1-6, 2020 | 1 | 2020 |
| Formalization and verification of TESAC using CSP D Sun, H Zhu, Y Fei, L Xiao, G Lu, J Yin International Journal of Software Engineering and Knowledge Engineering 29 …, 2019 | 1 | 2019 |
| Quantitative Analysis and Verification of Edge Computing Offloading Strategy Based on Probabilistic Model Checking J Yin, Y Fei Authorea Preprints, 2024 | | 2024 |
| RAVF: An Analysis and Verification Framework for Resource Allocation in Industrial Edge Computing with Probabilistic Model Checking and Machine Learning J Yin, Y Fei | | 2024 |
