Login / Signup
Hongbin He
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Artificial Fish
Model Checking
Deterministic Finite Automaton
Reliability Analysis
Top Venues
Int. J. Mach. Learn. Cybern.
J. Supercomput.
KSEM (3)
</>
Publications
</>
Gaigai Tang
,
Lin Yang
,
Long Zhang
,
Weipeng Cao
,
Lianxiao Meng
,
Hongbin He
,
Hongyu Kuang
,
Feng Yang
,
Huiqiang Wang
An attention-based automatic vulnerability detection approach with GGNN.
Int. J. Mach. Learn. Cybern.
14 (9) (2023)
Hongbin He
,
Hongyu Kuang
,
Lin Yang
,
Feng Yang
,
Qiang Wang
,
Weipeng Cao
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.
KSEM (3)
(2022)
Yuqing He
,
Pingjiang Lu
,
Lujiu Deng
,
Jianguo Yin
,
Yuanyuan He
,
Zhenghua Zhang
,
Hongbin He
Fast distribution network reconfiguration algorithm based on minus feasibility analysis unit.
J. Supercomput.
76 (5) (2020)