Xuejian Li

According to our database, Xuejian Li authored at least 17 papers between 2013 and 2026.

Collaborative distances:

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

2026

BMGANet: A deep learning model for source code vulnerability detection by integrating token-level and function-level features.

Erzhou Zhu, Xiangshan Qu, Xiaohan Liu, Xuejian Li

Comput. Electr. Eng., 2026

An Automaton State Explosion Optimization Method for Repetitive Features in Deep Packet Inspection.

Xuejian Li, Zihan Wang, Zehua Cheng

IEEE Access, 2026

Type Region Model and Its Application in Program Static Detection.

Xuejian Li, Linlin Wei

IEEE Access, 2026

Design of Safe C Language for Program Verification.

Xuejian Li

IEEE Access, 2026

2025

Data Consistency Verification and Detection Based on Formal Methods in Distributed Environment.

Xuejian Li, Kai Lin, Changyu Wang, Hantao Xia

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

2024

Verifying Robustness of Neural Networks with Abstract Features.

Xuejian Li, Hantao Xia

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

Optimization of Neural Network Models Based on Symbol Interval Propagation.

Xuejian Li, Zihan Li

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

2023

CCBLA: a Lightweight Phishing Detection Model Based on CNN, BiLSTM, and Attention Mechanism.

Erzhou Zhu, Qixiang Yuan, Zhile Chen, Xuejian Li, Xianyong Fang

Cogn. Comput., 2023

Automaton-Based Data Consistency Detection.

Xuejian Li, Changyu Wang

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification.

Xuejian Li, Mingguang Wang

Proceedings of the 48th IEEE Conference on Local Computer Networks, 2023

Software Defect Detection Based on Feature Fusion and Alias Analysis.

Xuejian Li, Zhengguang Zhu

Proceedings of the IEEE International Test Conference in Asia, 2023

2022

Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures.

Xuejian Li, Yun Yu

Proceedings of the 4th World Symposium on Software Engineering, 2022

Construction of Inductive Property Predicates for Mutable Data Structures.

Xue-Jian Li, Jun-Yi Wang

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2019

Efficient Android Phishing Detection Based on Improved Naïve Bayes Algorithm.

Dawei Liu, Dong Liu, Yang Li, Mengqi Zhu, Erzhou Zhu, Xuejian Li

Proceedings of the Advances in Swarm Intelligence - 10th International Conference, 2019

2015

Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs.

Erzhou Zhu, Feng Liu, Zuo Wang, Alei Liang, Yiwen Zhang, Xuejian Li, Xuejun Li

Comput. Secur., 2015

2014

Constructing a Hybrid Taint Analysis Framework for Diagnosing Attacks on Binary Programs.

Erzhou Zhu, Xuejun Li, Feng Liu, Xuejian Li, Zhujuan Ma

J. Comput., 2014

2013

HYBit: A Hybrid Taint Analyzing Framework for Binary Programs.

Erzhou Zhu, Haibing Guan, Alei Liang, Rongbin Xu, Xuejian Li, Feng Liu

Proceedings of the Advances in Swarm Intelligence, 4th International Conference, 2013