Long Zhang

According to our database, Long Zhang authored at least 12 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An attention-based automatic vulnerability detection approach with GGNN.

Gaigai Tang, Lin Yang, Long Zhang, Weipeng Cao, Lianxiao Meng, Hongbin He, Hongyu Kuang, Feng Yang, Huiqiang Wang

Int. J. Mach. Learn. Cybern., September, 2023

Leveraging User-Defined Identifiers for Counterfactual Data Generation in Source Code Vulnerability Detection.

Hongyu Kuang, Feng Yang, Long Zhang, Gaigai Tang, Lin Yang

Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

2022

An Anti-Disturbance Resilience Enhanced Algorithm for UAV 3D Route Planning.

Zhining Xu, Long Zhang, Xiaoshan Ma, Yang Liu, Lin Yang, Feng Yang

Sensors, 2022

A Survey of GNSS Spoofing and Anti-Spoofing Technology.

Lianxiao Meng, Lin Yang, Wu Yang, Long Zhang

Remote. Sens., 2022

2021

An Approach of Linear Regression-Based UAV GPS Spoofing Detection.

Lianxiao Meng, Lin Yang, Shuangyin Ren, Gaigai Tang, Long Zhang, Feng Yang, Wu Yang

Wirel. Commun. Mob. Comput., 2021

Interpretation of Learning-Based Automatic Source Code Vulnerability Detection Model Using LIME.

Gaigai Tang, Long Zhang, Feng Yang, Lianxiao Meng, Weipeng Cao, Meikang Qiu, Shuangyin Ren, Lin Yang, Huiqiang Wang

Proceedings of the Knowledge Science, Engineering and Management, 2021

A 3D Flight Route Planning Algorithm for UAV Based on the Idea of Resilience.

Zhining Xu, Lin Yang, Feng Yang, Long Zhang, Xiaoshan Ma, Yang Liu

Proceedings of the ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15, 2021

2019

一种基于SAT求解器的组合电路重汇聚现象分析方法 (Reconvergence Phenomena Analysis Method in Combinational Circuits Based on SAT Solver).

Lujie Zhang, Chang Liu, Long Zhang, Yang Guo

计算机科学, 2019

2018

An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.

Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li

Wirel. Commun. Mob. Comput., 2018

Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method.

Chang Liu, Long Zhang, Xu He, Yang Guo

IEEE Access, 2018

2017

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.

Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li

Mob. Inf. Syst., 2017

2012

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.

Yang Guo, WanXia Qu, Long Zhang, Weixia Xu

J. Supercomput., 2012