Huafeng Zhang

According to our database, Huafeng Zhang authored at least 21 papers between 1998 and 2024.

Collaborative distances:

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

2024

TRANS-CNN-Based Gesture Recognition for mmWave Radar.

Huafeng Zhang, Kang Liu, Yuanhui Zhang, Jihong Lin

Sensors, March, 2024

2022

Committable: A Decentralised and Trustless Open-Source Protocol.

Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

2021

IntelliGen: Automatic Driver Synthesis for FuzzTesting.

Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang

CoRR, 2021

IntelliGen: Automatic Driver Synthesis for Fuzz Testing.

Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing.

Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

2020

An Integrated MCDM Approach to Train Derailment Risk Response Strategy Selection.

Huafeng Zhang, Quanxin Sun

Symmetry, 2020

Escape from escape analysis of Golang.

Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Risk Assessment of Shunting Derailment Based on Coupling.

Huafeng Zhang, Quanxin Sun

Symmetry, 2019

基于EMD的电厂网络流量异常检测方法 (EMD-based Anomaly Detection for Network Traffic in Power Plants).

Bo Zhao, Huafeng Zhang, Xun Zhang, Jinxiong Zhao, Biying Sun, Hui Yuan

计算机科学, 2019

Go-clone: graph-embedding based clone detector for Golang.

Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.

Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

SQL Injection Detection Based on Deep Belief Network.

Huafeng Zhang, Bo Zhao, Hui Yuan, Jinxiong Zhao, Xiaobin Yan, Fangjun Li

Proceedings of the 3rd International Conference on Computer Science and Application Engineering, 2019

2018

An Integrated Approach to Risk Assessment for Special Line Shunting Via Fuzzy Theory.

Huafeng Zhang, Quanxin Sun

Symmetry, 2018

2016

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.

Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Model driven design of heterogeneous synchronous embedded systems.

Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.

Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun

Proceedings of the FM 2016: Formal Methods, 2016

2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Parallel Distributed Syst., 2015

2014

Modeling a Heterogeneous Embedded System in Coloured Petri Nets.

Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun

J. Appl. Math., 2014

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2007

Modeling, optimization and control of rotary traveling-wave oscillator.

Cheng Zhuo, Huafeng Zhang, Rupak Samanta, Jiang Hu, Kangsheng Chen

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

1998

Instantaneous parameter estimation based on continuous wavelet transform and some improvements.

Huafeng Zhang, Jianping Zhao, Jianguo Huang

Proceedings of the 1998 IEEE International Conference on Acoustics, 1998