Jinbo Wang

According to our database, Jinbo Wang authored at least 17 papers between 2017 and 2024.

Collaborative distances:

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

2024

Hardware Trojan Detection with Feature Fusion.

Senjie Zhang, Shan Zhou, Lu Li, Chang Jia, Jinbo Wang

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

RumFuzz: Coverage-guided Greybox Fuzzing with Reasonable Use of Memory.

Jiangyun Xu, Jinbo Wang, Yunyun Ma, Lu Li, Chang Jia

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

An Attention Mechanism Based Approach for Multivariate Time Series Anomaly Detection.

Yihao Xiong, Jinbo Wang, Yuanlin Xin, Chi Zhang, Panpan Xue

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

An Unsupervised Deep Learning Approach for Health Assessment of Distributed Systems.

Yuanlin Xin, Jinbo Wang, Yihao Xiong, Ruixue Wang, Zhaohui Yao

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022

A Formal Verification Method for the SOPC Software.

Shan Zhou, Jinbo Wang, Jiao Jia, Chi Zhang, Ruixue Wang

IEEE Trans. Reliab., 2022

Quantitative Analysis of Information Leakage Hardware Trojans in IP Cores.

Senjie Zhang, Shuai Wang, Jinbo Wang, Shan Zhou, Zhaohui Yao

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

Design of a Convolutional Neural Network Accelerator based on PYNQ.

Haonan Zhang, Jinbo Wang, Lu Kong, Panpan Xue, Zhaohui Yao

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

Test Case Prioritization for Deep Neural Networks.

Zhonghao Pan, Shan Zhou, Jianmin Wang, Jinbo Wang, Jiao Jia, Yang Feng

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

2021

Efficient Automaton Theoretical Vacuity Detection for Formal Properties.

Shan Zhou, Xu Zhi Li, Jinbo Wang, Jun Yuan, Jiao Jia

IEEE Trans. Reliab., 2021

Single Particle Fault Injection Signal Generation Method Using Gaussian Cloud Model.

Mengru Wang, Jinbo Wang, Jianmin Wang, Shan Zhou

J. Electron. Test., 2021

UAV Test Data Generation Method based on CycleGAN.

Kunyu Gao, Jinbo Wang, Bin Wang, Ruixue Wang, Jiao Jia

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

Test Case Reuse based on ESIM Model.

Xiaomeng Chen, Jinbo Wang, Shan Zhou, Panpan Xue, Jiao Jia

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

2020

Research on ensemble model of anomaly detection based on autoencoder.

Yaning Han, Yunyun Ma, Jinbo Wang, Jianmin Wang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2017

A Novel Model for Software Development and Testing in Programmable Logic.

Tao Zhang, Yu Su, Jianmin Wang, Jinbo Wang

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Hierarchical Combination Design Method of Test Cases Based on Conditional Constraints.

Jianmin Wang, Xiaohua Wang, Yunyun Ma, Jinbo Wang

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Testing Requirement Analysis Method Based on Signal Path for High Reliability Software.

Yunyun Ma, Jinbo Wang, Yuelong Qu, Tao Zhang

Proceedings of the International Conference on Dependable Systems and Their Applications, 2017

Improved Fault Diagnosis Method for Power Systems Based on Grey System Theory.

Jianmin Wang, Jinbo Wang, Bin Wang

Proceedings of the International Conference on Dependable Systems and Their Applications, 2017