Login / Signup
Zhe Bu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Deep Learning
Intrusion Detection
Linear Temporal Logic
Bounded Model Checking
Top Venues
SETTA
QRS Companion
MSN
</>
Publications
</>
Hao Sun
,
Zhe Bu
,
Yang Xiao
,
Chengsheng Zhou
,
Zhiyu Hao
,
Hongsong Zhu
Software Vulnerability Detection Using an Enhanced Generalization Strategy.
SETTA
(2023)
Fei Lv
,
Rongkang Sun
,
Hangyu Wang
,
Meng Zhang
,
Shuaizong Si
,
Zhe Bu
,
Chengsheng Zhou
,
Limin Sun
CNN-PSO-KELM: A Deep Learning Intrusion Detection Model for Imbalanced IoT Data.
MSN
(2023)
Liang Sun
,
Bailin Lu
,
Liangze Yin
,
Zhe Bu
,
Wenjing Jin
OpenMP Program Verification Based on Bounded Model Checking.
QRS Companion
(2023)