Hehua Zhang - RankMe

42 papers A* 1B 2C 2Misc 4Journal 21Unranked 11

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