姓名：张荷花
出生日期：1982.6
职务：副研究员
Email：zhanghehua@tsinghua.edu.cn
主页: http://zhanghehua.org

教育背景 2004.9 – 2010.1 博士，清华大学计算机科学与技术系
2001.9 – 2004.7 硕士，吉林大学计算机科学与技术系
1997.9 – 2001.7 学士，吉林大学计算机科学与技术系
工作履历 2010.4 – 2011.3 博士后，法国国家信息与自动化研究院（INRIA）
2011.8 至今清华大学软件学院任教
研究领域 面向领域的建模和分析
工程领域模型规范检查
数据和知识工程

研究概况 ？科技部重点研发计划项目“制造企业数据空间构建方法与技术”课题5“典型行业方案解决与应用”， 2019.5 – 2023.04，正在开展（主持）
？国家标准“面向领域的信息共享服务：第一部分　领域信息模型框架”（国家标准项目编号**-T-469），国家信标委，2016.1-2017.6（参加）
？国家标准“面向领域的信息共享服务：第二部分　领域信息服务接口”（国家标准项目编号**-T-469），国家信标委，2016.1-2017.6（参加）
？国家标准“面向领域的信息共享服务：第三部分　测试规范”（国家标准项目编号**-T-469），国家信标委，2016.1-2017.6 （参加）
？清华大学国家实验室面上项目：基于领域知识的BIM模型语义检查研究 2016.1-2016.12 ，已结题（参加）
？清华大学自主科研项目：同步异步特征融合的嵌入式系统建模方法研究 2014.1 – 2016.12，已结题（主持）
？NSFC青年项目：嵌入式系统构件模型的领域语义检查方法研究 2013.1 -2015.12 ，已结题（主持）
？NSFC重大项目：可信嵌入式软件系统试验环境与示范应用 2013.1-2016.12 ，已结题（参与）
？国家科技支撑计划项目：可信嵌入式软件系统建模验证平台研发 2012.9 – 2014.9，已结题 （参与）
？973项目：产品设计软件系统的部件级可验证性理论研究 2010.1-2015.12 ，已结题 (参与)
？NSFC面上项目：面向领域的可信嵌入式软件系统试验验证环境研究 2011.01—2011.12，已结题 （参与）
？NSFC重点项目：基于定理证明的可信嵌入式软件建模与验证平台研究2008.01-2010.12，已结题 （参与）

学术成果 代表性期刊论文：
张荷花,顾明.BIM模型智能检查工具研究与应用，土木建筑工程信息技术，页1-6, 期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
代表性会议论文:
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.