State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction. - Yang Guo 003; WanXia Qu; Long Zhang 004; Weixia Xu (J. Supercomput., 2012)

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. - Long Zhang 004; Wenyan Hu; WanXia Qu; Yang Guo 003; Sikun Li (Mob. Inf. Syst., 2017)

Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method. - Chang Liu 019; Long Zhang 004; Xu He; Yang Guo 003 (IEEE Access, 2018)

An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. - Long Zhang 004; WanXia Qu; Yinjia Huo; Yang Guo 003; Sikun Li (Wirel. Commun. Mob. Comput., 2018)

一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver). - Lujie Zhang; Chang Liu 019; Long Zhang 004; Yang Guo 003 (计算机科学, 2019)

A 3D Flight Route Planning Algorithm for UAV Based on the Idea of Resilience. - Zhining Xu; Lin Yang; Feng Yang; Long Zhang 004; Xiaoshan Ma; Yang Liu (ICCPR, 2021)

Interpretation of Learning-Based Automatic Source Code Vulnerability Detection Model Using LIME. - Gaigai Tang; Long Zhang 004; Feng Yang; Lianxiao Meng; Weipeng Cao; Meikang Qiu; Shuangyin Ren; Lin Yang; Huiqiang Wang (KSEM, 2021)

An Approach of Linear Regression-Based UAV GPS Spoofing Detection. - Lianxiao Meng; Lin Yang; Shuangyin Ren; Gaigai Tang; Long Zhang 004; Feng Yang; Wu Yang 001 (Wirel. Commun. Mob. Comput., 2021)

Cooperative Positioning Enhancement for HDVs and CAVs Coexisting Environment Using Deep Neural Networks. - Ao Zhang; Xuting Duan; Jianshan Zhou; Haiying Xia; Long Zhang 004; He Liu; Wenjuan E (ICSI (2), 2022)

A Survey of GNSS Spoofing and Anti-Spoofing Technology. - Lianxiao Meng; Lin Yang; Wu Yang 001; Long Zhang 004 (Remote. Sens., 2022)

An Anti-Disturbance Resilience Enhanced Algorithm for UAV 3D Route Planning. - Zhining Xu; Long Zhang 004; Xiaoshan Ma; Yang Liu; Lin Yang; Feng Yang (Sensors, 2022)

Leveraging User-Defined Identifiers for Counterfactual Data Generation in Source Code Vulnerability Detection. - Hongyu Kuang; Feng Yang; Long Zhang 004; Gaigai Tang; Lin Yang (SCAM, 2023)

Transmission-Efficient RIS-Carrying UAV's Auxiliary Communication Systems for Intelligent Connected Vehicle Platoons at the Unsignalized Intersection in Smart Cities. - Xuting Duan; Yihan Zhao; Daxin Tian; Jianshan Zhou; Long Zhang 004 (IEEE Internet Things J., 2023)

An attention-based automatic vulnerability detection approach with GGNN. - Gaigai Tang; Lin Yang; Long Zhang 004; Weipeng Cao; Lianxiao Meng; Hongbin He; Hongyu Kuang; Feng Yang; Huiqiang Wang (Int. J. Mach. Learn. Cybern., 2023)

VulCausal: Robust Vulnerability Detection Using Neural Network Models from a Causal Perspective. - Hongyu Kuang; Jingjing Zhang; Feng Yang; Long Zhang 004; Zhijian Huang; Lin Yang (KSEM (3), 2024)

MRC-VulLoc: Software source code vulnerability localization based on multi-choice reading comprehension. - Gaigai Tang; Lin Yang; Long Zhang 004; Hongyu Kuang; Huiqiang Wang (Comput. Secur., 2024)

Joint Communication and Control Optimization of a UAV-Assisted Multi-Vehicle Platooning System in Uncertain Communication Environment. - Xuting Duan; Yihan Zhao; Daxin Tian; Jianshan Zhou; Linru Ma; Long Zhang 004 (IEEE Trans. Veh. Technol., 2024)

Intrusion Detection for Unmanned Aerial Vehicles Security: A Tiny Machine Learning Model. - Yixuan Wu; Lin Yang; Long Zhang 004; Laisen Nie; Li Zheng (IEEE Internet Things J., 2024)

Intrusion Detection for Internet of Things: An Anchor Graph Clustering Approach. - Yixuan Wu; Long Zhang 004; Lin Yang; Feng Yang; Linru Ma; Zhoumin Lu; Wen Jiang 002 (IEEE Trans. Inf. Forensics Secur., 2025)