Introduction:

Name:Hehua Zhang
Birth:1982.6
Position:Associate Professor
Email:zhanghehua@tsinghua.edu.cn
homepage: http://zhanghehua.org


Education background:

Sep, 2004 – Jan, 2010  PhD, Department of Computer science and Technology, Tsinghua university
Sep, 2001 – July. 2004  Master, School of Computer Science and Technology, Jilin university
Sep, 1997 – July,2001  Bachelor, Department of Computer Science and Technology, Jilin university


Experience:

April, 2010 – March, 2011  Post Doctor, Institut National de Recherche en Informatique et en Automatique (INRIA), France
Aug, 2011 – now  School of Software, Tsinghua university


Areas of Research Interests/ Research Projects:

Domain specific modeling and analysis
Code checking of engineering domain models
Data and Knowledge engineering


Research Status:

?National key research and development program: “Data space construction method and technology of manufacturing enterprises”, Subject 5:“Typical Industry Solution and Application”,May,2019 – April,2023.
?National Standard Program: Engineering domain-oriented information model sharing——Part 1: Domain information model framework. Jan, 2015 – June, 2017.
?National Standard Program:Engineering domain-oriented information model sharing——Part 2: Domain information service interface. Jan, 2015 – June, 2017.
?National Standard Program: Engineering domain-oriented information model sharing——Part 3:testing methodology. Jan, 2015 – June, 2017.
?Tsinghua National Lab (TNList) Research Program: Domain knowledge based semantic checking of BIM models. Jan, 2016 - Dec, 2016. finished.
?Tsinghua University Initiative Scientific Research Program: Mixed synchronous-asynchronous modeling methods of embedded systems. Jan, 2014 - Dec, 2016. (Person in charge). finished.
?NSFC program (Young Scientists fund):Domain specific semantic checking for the component models of embedded systems. Jan, 2013 – Dec, 2015 (Person in charge). finished.
?NSFC program (Major research plan): Testing environment and typical applications for trustworthiness of embedded software systems. Jan, 2013.1- Dec, 2016. finished.
?The National Key Technology R&D Program (Funded by MOST):R& D of Plantform for developing trustworthy embedded software systems.  Sep, 2012 – Sep, 2014. finished.
?National 973 program:Verifiability theory of components on Product design software systems. Jan, 2010 - Dec, 2015 .finished.
?NSFC program(General program):Domain specific verification environment for trustworthiness of embedded software systems. Jan, 2011—Dec, 2011, finished.
?NSFC program(Key program):Trustworthy modeling and verification of embedded software based on theorem proving. Jan, 2008.-Dec, 2010, finished.


Academic Achievement:

Selected Journal publications:
Hehua Zhang, Ming Gu. Research and Application of Intelligent BIM Model Checking Tools (in Chinese). Journal of Information Technology in Civil Engineering and Architecture, P1-6, Vol 02, 2018.
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 Distrib. Syst. 26(8): 2220-2232 (2015).
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 Transactions on Industrial Electronics 62(2): 1270-1278 (2015) .
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Symbolic Analysis of Programmable Logic Controllers. IEEE Transactions on Computers, 63(10), p2563-2575, 2014.
Xi Lin, Hehua Zhang, Ming Gu:OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Applied Mathematics 2013: 934349:1-934349:11 (2013).
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 Transactions on Industrial Electronics, 60(11), p5325-5336, 2013

Selected Conference publications:
Hehua Zhang, Wenqi Zhao,etc. Semantic web based rule checking of real-world scale BIM models: a pragmatic method. Proceedings of i3CDE 2019.P130-P137.
Jianqiao Gu, Hehua Zhang, and Ming Gu.Automatic Integrity Checking of IFC Models relative to building Regulations. In Proceedings of the International Conference on Internet Multimedia Computing and Service (ICIMCS'16), 52-56(2016).
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun,Xiaoyu Song, Ming Gu, Jiaguang Sun. Tsmart-GalsBlock: A Toolkit for Modeling,Validation, and Synthesis of Multi-clocked Embedded Systems. Proceeding of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), Hongkong, China, 2014.
HanLiu, Hehua Zhang, YuJiang, Xiaoyu Song, Ming Gu, Jiaguang Sun.  Application-specific Architecture Selection for Embedded Systems via Schedulability Analysis. The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P131-134,2014.
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. iDola: Bridge Modeling to Verification and Implementation of Interrupt-driven Systems.The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P193-200, 2014.
Yu Jiang, Hehua Zhang, Han Liu, William N.N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun. System Reliability Calculation Based on the Run-time Analysis of Ladder Program. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering(FSE 2013), Saint Petersburg, Russian, p703-706, 2013.
Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2013), Saint Petersburg, Russian, p695-698, 2013.
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiangguang Sun. Sequential Dependency and Reliability Analysis of Embedded System. Proceeding of the 18th ACM Asia and South Pacific Design Automation Conference (ASP-DAC 2013), Yokohama, Japan, p423-428, 2013.
Yu Jiang, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Verification and Implementation of the Protocol Standard in Train Control System. Proceeding of the 37th IEEE Annual International Computer, Software & Applications Conference, Kyoto (COMPSAC 2013), Japan, p549-558, 2013.
Fan Wu, Hehua Zhang,Ming Gu. DOPROPC: a domain property pattern system helping to specify control system. Proceeding of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), P695-698, 2013.