Hehua Zhang

According to our database1, Hehua Zhang authored at least 30 papers between 2008 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Model driven design of heterogeneous synchronous embedded systems.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automatic Integrity Checking of IFC Models relative to building Regulations.
Proceedings of the International Conference on Internet Multimedia Computing and Service, 2016

2015
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distrib. Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
IEEE Trans. Industrial Electronics, 2015

2014
Symbolic Analysis of Programmable Logic Controllers.
IEEE Trans. Computers, 2014

Modeling a Heterogeneous Embedded System in Coloured Petri Nets.
J. Applied Mathematics, 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
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.
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.
IEEE Trans. Industrial Electronics, 2013

An Effective Heuristic-Based Approach for Partitioning.
J. Applied Mathematics, 2013

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models.
J. Applied Mathematics, 2013

System reliability calculation based on the run-time analysis of ladder program.
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.
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).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Verification and Implementation of the Protocol Standard in Train Control System.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
New strategies for reliability analysis of Programmable Logic Controllers.
Mathematical and Computer Modelling, 2012

Reliability Analysis of PLC Systems by Bayesian Network.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

2011
Proving Computational Geometry Algorithms in TLA+2.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Specifying and verifying PLC systems with TLA+ : A case study.
Computers & Mathematics with Applications, 2010

Specifying Time-Sensitive Systems with TLA+.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Domain-specific modeling and verification language EDOLA.
PhD thesis, 2009

Modeling job shop scheduling with batches and setup times by timed Petri nets.
Mathematical and Computer Modelling, 2009

Specifying and Verifying PLC Systems with TLA+.
Proceedings of the TASE 2009, 2009

2008
Modeling and analysis of stage machinery control systems by timed colored Petri nets.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Verifying programmable logic controllers with abstraction.
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.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008


  Loading...