Hehua Zhang

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 14

Top Venues

CoRR

J. Appl. Math.

ESEC/SIGSOFT FSE

Adv. Eng. Informatics

Tsinghua University, Beijing, China (PHD)

Education History

Tsinghua University, Beijing, China

PHD

Publications

Yushun Gong, Liang Wei, Supeng Yan, Feng Zuo, Hehua Zhang, Yongqin Li
Transfer learning based deep network for signal restoration and rhythm analysis during cardiopulmonary resuscitation using only the ECG waveform. Inf. Sci. 626 (2023)
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
MVDLite: A fast validation algorithm for Model View Definition rules. Adv. Eng. Informatics 58 (2023)
Haiwei Zuo, Hehua Zhang, Yanping Zhu, Yun Chen
Optimized Real-Time Object Detection and Tracking Using a Refined YOLOV4 Algorithm. CAIBDA (2023)
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics 57 (2023)
Yongming Li, Chengyu Liu, Pin Wang, Hehua Zhang, Anhai Wei, Yanling Zhang
Envelope multi-type transformation ensemble algorithm of Parkinson speech samples. Appl. Intell. 53 (12) (2023)
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR (2022)
Yongming Li, Chengyu Liu, Pin Wang, Hehua Zhang, Anhai Wei
Subject Envelope based Multitype Reconstruction Algorithm of Speech Samples of Parkinson's Disease. CoRR (2021)
Pin Wang, Shanshan Lv, Yongming Li, Qi Song, Linyu Li, Jiaxin Wang, Hehua Zhang
Hybrid Deep Transfer Network and Rotational Sample Subspace Ensemble Learning for Early Cancer Detection. J. Medical Imaging Health Informatics 10 (10) (2020)
Pin Wang, Shanshan Lv, Yongming Li, Qi Song, Linyu Li, Jiaxin Wang, Hehua Zhang
Hybrid Deep Transfer Network and Rotational Sample Subspace Ensemble Learning for Early Cancer Detection. J. Medical Imaging Health Informatics 10 (10) (2020)
Pin Wang, Qi Song, Yongming Li, Shanshan Lv, Jiaxin Wang, Linyu Li, Hehua Zhang
Cross-task extreme learning machine for breast cancer image classification with deep convolutional features. Biomed. Signal Process. Control. 57 (2020)
Pin Wang, Jiaxin Wang, Yongming Li, Linyu Li, Hehua Zhang
Adaptive Pruning of Transfer Learned Deep Convolutional Neural Network for Classification of Cervical Pap Smear Images. IEEE Access 8 (2020)
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. CoRR (2019)
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
Model driven design of heterogeneous synchronous embedded systems. ASE (2016)
Jianqiao Gu, Hehua Zhang, Ming Gu
Automatic Integrity Checking of IFC Models relative to building Regulations. ICIMCS (2016)
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. 62 (2) (2015)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26 (8) (2015)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE (2014)
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014 (2014)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63 (10) (2014)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE (2014)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE (2014)
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60 (11) (2013)
Xi Lin, Hehua Zhang, Ming Gu
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Appl. Math. 2013 (2013)
Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Sequential dependency and reliability analysis of embedded systems. ASP-DAC (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC (2013)
Fan Wu, Hehua Zhang, Ming Gu
DOPROPC: a domain property pattern system helping to specify control system requirements (S). SEKE (2013)
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE (2013)
Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu
An Effective Heuristic-Based Approach for Partitioning. J. Appl. Math. 2013 (2013)
Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI (2012)
Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu
Reliability Analysis of PLC Systems by Bayesian Network. SERE (2012)
Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55 (7-8) (2012)
Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Proving Computational Geometry Algorithms in TLA+2. TASE (2011)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM (2011)
Hehua Zhang, Ming Gu, Xiaoyu Song
Specifying Time-Sensitive Systems with TLA+. COMPSAC (2010)
Hehua Zhang, Stephan Merz, Ming Gu
: A case study. Comput. Math. Appl. 60 (3) (2010)
Hehua Zhang, Ming Gu
Modeling job shop scheduling with batches and setup times by timed Petri nets. Math. Comput. Model. 49 (1-2) (2009)
Hehua Zhang, Stephan Merz, Ming Gu
Specifying and Verifying PLC Systems with TLA+. TASE (2009)
Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang
Verifying programmable logic controllers with abstraction. SIES (2008)
Hehua Zhang, Ming Gu, Xiaoyu Song
Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES (2008)
Hehua Zhang, Ming Gu, Xiaoyu Song
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium (2008)

Hehua Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hehua Zhang