Proceedings of the Advances in Artificial Intelligence, Big Data and Algorithms - Proceedings of the 3rd International Conference on Artificial Intelligence, Big Data and Algorithms (CAIBDA 2023), 2023

2022

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Subject Envelope based Multitype Reconstruction Algorithm of Speech Samples of Parkinson's Disease.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Hybrid Deep Transfer Network and Rotational Sample Subspace Ensemble Learning for Early Cancer Detection.

[BibT_eX]

[DOI]

J. Medical Imaging Health Informatics, 2020

Cross-task extreme learning machine for breast cancer image classification with deep convolutional features.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2020

Adaptive Pruning of Transfer Learned Deep Convolutional Neural Network for Classification of Cervical Pap Smear Images.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications.

[BibT_eX]

[DOI]

CoRR, 2019

2016

Model driven design of heterogeneous synchronous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automatic Integrity Checking of IFC Models relative to building Regulations.

[BibT_eX]

[DOI]

Jianqiao Gu

Hehua Zhang

Ming Gu

Proceedings of the International Conference on Internet Multimedia Computing and Service, 2016

2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2015

2014

Symbolic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

Modeling a Heterogeneous Embedded System in Coloured Petri Nets.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Bayesian-Network-Based Reliability Analysis of PLC Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2013

An Effective Heuristic-Based Approach for Partitioning.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models.

[BibT_eX]

[DOI]

Xi Lin

Hehua Zhang

Ming Gu

J. Appl. Math., 2013

System reliability calculation based on the run-time analysis of ladder program.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Design and optimization of multi-clocked embedded systems using formal technique.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

DOPROPC: a domain property pattern system helping to specify control system requirements (S).

[BibT_eX]

Fan Wu

Hehua Zhang

Ming Gu

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Verification and Implementation of the Protocol Standard in Train Control System.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

New strategies for reliability analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Math. Comput. Model., 2012

Reliability Analysis of PLC Systems by Bayesian Network.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011

Proving Computational Geometry Algorithms in TLA+2.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Specifying and verifying PLC systems with TLA<sup>+</sup> : A case study.

[BibT_eX]

[DOI]

Hehua Zhang

Stephan Merz

Ming Gu

Comput. Math. Appl., 2010

Specifying Time-Sensitive Systems with TLA+.

[BibT_eX]

[DOI]

Hehua Zhang

Ming Gu

Xiaoyu Song

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Domain-specific modeling and verification language EDOLA.

[BibT_eX]

[DOI]

Hehua Zhang

PhD thesis, 2009

Modeling job shop scheduling with batches and setup times by timed Petri nets.

[BibT_eX]

[DOI]

Hehua Zhang

Ming Gu

Math. Comput. Model., 2009

Specifying and Verifying PLC Systems with TLA+.

[BibT_eX]

[DOI]

Hehua Zhang

Stephan Merz

Ming Gu

Proceedings of the TASE 2009, 2009

2008

Modeling and analysis of stage machinery control systems by timed colored Petri nets.

[BibT_eX]

[DOI]

Hehua Zhang

Ming Gu

Xiaoyu Song

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Verifying programmable logic controllers with abstraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets.

[BibT_eX]

[DOI]

Hehua Zhang

Ming Gu

Xiaoyu Song

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

Hehua Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...