![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Hehua Zhang
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j18]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: 102099 (2023) - [j17]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: 102132 (2023) - [j16]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): 15957-15978 (2023) - [j15]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: 754-772 (2023) - [c20]Haiwei Zuo, Hehua Zhang, Yanping Zhu, Yun Chen:
Optimized Real-Time Object Detection and Tracking Using a Refined YOLOV4 Algorithm. CAIBDA 2023: 1151-1157 - 2022
- [i3]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 abs/2203.04741 (2022) - 2021
- [i2]Yongming Li, Chengyu Liu, Pin Wang, Hehua Zhang, Anhai Wei:
Subject Envelope based Multitype Reconstruction Algorithm of Speech Samples of Parkinson's Disease. CoRR abs/2108.09922 (2021) - 2020
- [j14]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: 50674-50683 (2020) - [j13]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) - [j12]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): 2289-2296 (2020) - [j11]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): 2289-2296 (2020)
2010 – 2019
- 2019
- [i1]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 abs/1909.06997 (2019) - 2016
- [c19]Jianqiao Gu, Hehua Zhang, Ming Gu:
Automatic Integrity Checking of IFC Models relative to building Regulations. ICIMCS 2016: 52-56 - [c18]Huafeng Zhang
, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun:
Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779 - 2015
- [j10]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): 1270-1278 (2015) - [j9]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): 2220-2232 (2015) - 2014
- [j8]Huafeng Zhang
, Hehua Zhang, Ming Gu, Jiaguang Sun:
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014: 943094:1-943094:8 (2014) - [j7]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): 2563-2575 (2014) - [c17]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: 711-714 - [c16]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134 - [c15]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: 193-200 - 2013
- [j6]Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song
, Xun Jiao
, Ming Gu:
An Effective Heuristic-Based Approach for Partitioning. J. Appl. Math. 2013: 138037:1-138037:8 (2013) - [j5]Xi Lin
, Hehua Zhang, Ming Gu:
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Appl. Math. 2013: 934349:1-934349:11 (2013) - [j4]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): 5325-5336 (2013) - [c14]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: 423-428 - [c13]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: 549-558 - [c12]Fan Wu, Hehua Zhang, Ming Gu:
DOPROPC: a domain property pattern system helping to specify control system requirements (S). SEKE 2013: 695-698 - [c11]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: 695-698 - [c10]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: 703-706 - 2012
- [j3]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): 1916-1931 (2012) - [c9]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: 243-248 - [c8]Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu:
Reliability Analysis of PLC Systems by Bayesian Network. SERE 2012: 283-290 - 2011
- [c7]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu:
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130 - [c6]Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254 - 2010
- [j2]Hehua Zhang, Stephan Merz, Ming Gu:
Specifying and verifying PLC systems with TLA+ : A case study. Comput. Math. Appl. 60(3): 695-705 (2010) - [c5]Hehua Zhang, Ming Gu, Xiaoyu Song:
Specifying Time-Sensitive Systems with TLA+. COMPSAC 2010: 425-430
2000 – 2009
- 2009
- [b1]Hehua Zhang:
Domain-specific modeling and verification language EDOLA. Tsinghua University, Beijing, China, 2009 - [j1]Hehua Zhang, Ming Gu:
Modeling job shop scheduling with batches and setup times by timed Petri nets. Math. Comput. Model. 49(1-2): 286-294 (2009) - [c4]Hehua Zhang, Stephan Merz, Ming Gu:
Specifying and Verifying PLC Systems with TLA+. TASE 2009: 293-294 - 2008
- [c3]Hehua Zhang, Ming Gu, Xiaoyu Song:
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium 2008: 279-285 - [c2]Hehua Zhang, Ming Gu, Xiaoyu Song:
Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES 2008: 103-110 - [c1]Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang:
Verifying programmable logic controllers with abstraction. SIES 2008: 225-228
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-30 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint