中文
Share to
Faculty
photo
Name: Hehua ZHANG
Title: Associate Research Fellow
Email: zhanghehua@tsinghua.edu.cn
Research Fields: Domain specific modeling and analysis Code checking of engineering domain models Data and Knowledge engineering
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
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.