Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (Annual Simulation Symposium, 2008)

Verifying programmable logic controllers with abstraction. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hehua Zhang (SIES, 2008)

Modeling and analysis of stage machinery control systems by timed colored Petri nets. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (SIES, 2008)

Specifying and Verifying PLC Systems with TLA+. - Hehua Zhang; Stephan Merz; Ming Gu 001 (TASE, 2009)

Modeling job shop scheduling with batches and setup times by timed Petri nets. - Hehua Zhang; Ming Gu 001 (Math. Comput. Model., 2009)

Domain-specific modeling and verification language EDOLA. - Hehua Zhang (2009)

Specifying Time-Sensitive Systems with TLA+. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (COMPSAC, 2010)

Specifying and verifying PLC systems with TLA+ : A case study. - Hehua Zhang; Stephan Merz; Ming Gu 001 (Comput. Math. Appl., 2010)

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (ICFEM, 2011)

Proving Computational Geometry Algorithms in TLA+2. - Hui Kong 004; Hehua Zhang; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2011)

Uncertain Model and Algorithm for Hardware/Software Partitioning. - Yu Jiang 001; Hehua Zhang; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ISVLSI, 2012)

Reliability Analysis of PLC Systems by Bayesian Network. - Hehua Zhang; Yu Jiang 001; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (SERE, 2012)

New strategies for reliability analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Guowu Yang; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

Sequential dependency and reliability analysis of embedded systems. - Hehua Zhang; Yu Jiang 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ASP-DAC, 2013)

Verification and Implementation of the Protocol Standard in Train Control System. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2013)

DOPROPC: a domain property pattern system helping to specify control system requirements (S). - Fan Wu; Hehua Zhang; Ming Gu (SEKE, 2013)

Design and optimization of multi-clocked embedded systems using formal technique. - Yu Jiang 001; Zonghui Li; Hehua Zhang; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. - Xi Lin; Hehua Zhang; Ming Gu 001 (J. Appl. Math., 2013)

An Effective Heuristic-Based Approach for Partitioning. - Xibin Zhao; Hehua Zhang; Yu Jiang 001; Songzheng Song; Xun Jiao; Ming Gu 001 (J. Appl. Math., 2013)

Bayesian-Network-Based Reliability Analysis of PLC Systems. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; Xun Jiao; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2013)

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Xinyan Zhao; Han Liu 010; Chengnian Sun; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (SIGSOFT FSE, 2014)

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2014)

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (TASE, 2014)

Modeling a Heterogeneous Embedded System in Coloured Petri Nets. - Huafeng Zhang; Hehua Zhang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2014)

Symbolic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Computers, 2014)

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. - Yu Jiang 001; Hehua Zhang; Zonghui Li; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Ind. Electron., 2015)

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Han Liu 010; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Parallel Distributed Syst., 2015)

Automatic Integrity Checking of IFC Models relative to building Regulations. - Jianqiao Gu; Hehua Zhang; Ming Gu 001 (ICIMCS, 2016)

Model driven design of heterogeneous synchronous embedded systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Hehua Zhang; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (CoRR, 2019)

Adaptive Pruning of Transfer Learned Deep Convolutional Neural Network for Classification of Cervical Pap Smear Images. - Pin Wang; Jiaxin Wang; Yongming Li 003; Linyu Li 003; Hehua Zhang (IEEE Access, 2020)

Cross-task extreme learning machine for breast cancer image classification with deep convolutional features. - Pin Wang; Qi Song; Yongming Li 003; Shanshan Lv; Jiaxin Wang; Linyu Li 003; Hehua Zhang (Biomed. Signal Process. Control., 2020)

Hybrid Deep Transfer Network and Rotational Sample Subspace Ensemble Learning for Early Cancer Detection. - Pin Wang; Shanshan Lv; Yongming Li 003; Qi Song; Linyu Li 003; Jiaxin Wang; Hehua Zhang (J. Medical Imaging Health Informatics, 2020)

Subject Envelope based Multitype Reconstruction Algorithm of Speech Samples of Parkinson's Disease. - Yongming Li 003; Chengyu Liu; Pin Wang; Hehua Zhang; Anhai Wei (CoRR, 2021)

Optimized Real-Time Object Detection and Tracking Using a Refined YOLOV4 Algorithm. - Haiwei Zuo; Hehua Zhang; Yanping Zhu; Yun Chen (CAIBDA, 2023)

Transfer learning based deep network for signal restoration and rhythm analysis during cardiopulmonary resuscitation using only the ECG waveform. - Yushun Gong; Liang Wei; Supeng Yan; Feng Zuo; Hehua Zhang; Yongqin Li (Inf. Sci., 2023)

Envelope multi-type transformation ensemble algorithm of Parkinson speech samples. - Yongming Li 003; Chengyu Liu; Pin Wang; Hehua Zhang; Anhai Wei; Yanling Zhang (Appl. Intell., 2023)

Modeling and validating temporal rules with semantic Petri net for digital twins. - Han Liu 010; Xiaoyu Song; Ge Gao; Hehua Zhang; Yu-Shen Liu; Ming Gu 001 (Adv. Eng. Informatics, 2023)

MVDLite: A fast validation algorithm for Model View Definition rules. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (Adv. Eng. Informatics, 2023)