Huafeng Zhang

30 papers A* 1A 3B 1C 1Misc 1Journal 16Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
An empirical formulation of accelerated molecular dynamics for simulating and predicting microstructure evolution in materials.
Comput. Phys. Commun.
Liang Wan, Qingsong Mei, Haowen Liu, Huafeng Zhang, Jun-Ping Du, Shigenobu Ogata, Wen Tong Geng
2025 J jnl
A Hybrid Method of PROSAIL RTM for the Retrieval Canopy LAI and Chlorophyll Content of Moso Bamboo (Phyllostachys pubescens) Forests From Sentinel-2 MSI Data.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Zhanghua Xu, Chaofei Zhang, Songyang Xiang, Lingyan Chen, Xier Yu, Haitao Li, Zenglu Li, Xiaoyu Guo, Huafeng Zhang, Xuying Huang, Fengying Guan
2025 J jnl
AgentDAO: Synthesis of Proposal Transactions Via Abstract DAO Semantics.
CoRR
Lin Ao, Han Liu, Huafeng Zhang
2025 J jnl
Monitoring Moso bamboo (
Geo spatial Inf. Sci.
Anqi He, Zhanghua Xu, Yifan Li, Bin Li, Xuying Huang, Huafeng Zhang, Xiaoyu Guo, Zenglu Li
2025 A conf
Reasoning Optimization of Multi-Agent Systems via Abstract Domain Semantics.
ECAI
Lin Ao, Han Liu, Huafeng Zhang
2025 J jnl
Simulation of Pantana phyllostachysae Chao Hazard Spread in Moso Bamboo (Phyllostachys pubescens) Forests Based on XGBoost-CA Model.
IEEE Trans. Geosci. Remote. Sens.
Anqi He, Zhanghua Xu, Hongbin Zhang, Xin Zhou, Guantong Li, Huafeng Zhang, Bin Li, Yifan Li, Xiaoyu Guo, Zenglu Li, Fengying Guan
2024 J jnl
GKN-Stack: An Ensemble Deep Learning Framework for Blood Glucose Forecasting Based on Medical Examination Data.
IEEE Access
Lüeshi Li, Huafeng Zhang, Ruizhuo Song
2024 J jnl
Revealing early pest source points and spreading laws of Pantana phyllostachysae Chao in Moso bamboo (Phyllostachys pubescens) forests from Sentinel-2A/B images.
Int. J. Appl. Earth Obs. Geoinformation
Anqi He, Zhanghua Xu, Bin Li, Yifan Li, Huafeng Zhang, Guantong Li, Xiaoyu Guo, Zenglu Li
2024 J jnl
TRANS-CNN-Based Gesture Recognition for mmWave Radar.
Sensors
Huafeng Zhang, Kang Liu, Yuanhui Zhang, Jihong Lin
2022 C conf
Committable: A Decentralised and Trustless Open-Source Protocol.
ICBC
Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe
2021 — conf
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing.
ICSE (SEIP)
Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
2021 J jnl
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing.
CoRR
Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
2021 — conf
IntelliGen: Automatic Driver Synthesis for Fuzz Testing.
ICSE (SEIP)
Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
2021 J jnl
IntelliGen: Automatic Driver Synthesis for FuzzTesting.
CoRR
Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
2020 J jnl
An Integrated MCDM Approach to Train Derailment Risk Response Strategy Selection.
Symmetry
Huafeng Zhang, Quanxin Sun
2020 — conf
Escape from escape analysis of Golang.
ICSE (SEIP)
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu
2019 — conf
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.
ISSRE Workshops
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
2019 A conf
Go-clone: graph-embedding based clone detector for Golang.
ISSTA
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
2019 J jnl
Risk Assessment of Shunting Derailment Based on Coupling.
Symmetry
Huafeng Zhang, Quanxin Sun
2019 — conf
SQL Injection Detection Based on Deep Belief Network.
CSAE
Huafeng Zhang, Bo Zhao, Hui Yuan, Jinxiong Zhao, Xiaobin Yan, Fangjun Li
2019 J jnl
基于EMD的电厂网络流量异常检测方法 (EMD-based Anomaly Detection for Network Traffic in Power Plants).
计算机科学
Bo Zhao, Huafeng Zhang, Xun Zhang, Jinxiong Zhao, Biying Sun, Hui Yuan
2018 J jnl
An Integrated Approach to Risk Assessment for Special Line Shunting Via Fuzzy Theory.
Symmetry
Huafeng Zhang, Quanxin Sun
2016 A* conf
Model driven design of heterogeneous synchronous embedded systems.
ASE
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
2016 B conf
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.
FM
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
2016 — conf
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.
D&P@MoDELS
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
2015 J jnl
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distributed Syst.
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014 J jnl
Modeling a Heterogeneous Embedded System in Coloured Petri Nets.
J. Appl. Math.
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
2014 — conf
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
SIGSOFT FSE
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2007 A conf
Modeling, optimization and control of rotary traveling-wave oscillator.
ICCAD
Cheng Zhuo, Huafeng Zhang, Rupak Samanta, Jiang Hu, Kangsheng Chen
1998 Misc conf
Instantaneous parameter estimation based on continuous wavelet transform and some improvements.
ICASSP
Huafeng Zhang, Jianping Zhao, Jianguo Huang