姓名：张荷花
出生日期：1982.6
职务：讲师
Email：zhanghehua@tsinghua.edu.com
讲授课程：领域特定语言设计（研究生）
教育背景•2004.9–2010.1博士，清华大学计算机科学与技术系
•2001.9–2004.7硕士，吉林大学计算机科学与技术系
•1997.9–2001.7学士，吉林大学计算机科学与技术系
工作履历•2010.4–2011.3博士后，法国国家信息与自动化研究院（INRIA）
•2011.8至今清华大学软件学院任教
研究领域形式建模语言
嵌入式软件及系统建模
领域特定语言

研究概况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，已结题（参与）

学术成果SelectedJournalpublications：
XiLin,HehuaZhang,MingGu.“OntCheck:AnOntology-DrivenStaticCorrectnessCheckingToolforComponent-BasedModels”.JournalofAppliedMathematics.Tobepublished.
YuJiang,HehuaZhang,XiaoyuSong.“BayesianNetworkBasedReliabilityAnalysisofPLCsystems”,IEEETransactionsonIndustrialElectronics.(publishedonline).
HehuaZhang,YuJiang,WilliamN.N.Hung,GuowuYang,MingGu,JiaguangSun.“NewstrategiesforreliabilityanalysisofProgrammableLogicControllers”.MathematicalandComputerModelling.Volume55,Issues7–8,April2012,Pages1916–1931.
HehuaZhang,StephanMerz,MingGu.“SpecifyingandVerifyingPLCsystemswithTLA+:acasestudy”.ComputersandMathematicswithApplications,v60,Issue3,P695-705,August,2010.
HehuaZhang,MingGu.“ModelingjobshopschedulingwithbatchesandsetuptimesbytimedPetrinets”，MathematicalandComputerModeling,v49,p286-294,January,2009.
HehuaZhang,MingGu,XiaoyuSong.“Adeadlock-freeschedulingwithsequence-dependentsetuptimes”.InternationalJournalofAdvancedManufacturingTechnology,v45,Issue5-6,p593-692,November,2009.
SelectedConferencepublications:
HehuaZhang,YuJiang,XunJiao,etc.,“ReliabilityAnalysisofPLCSystemsbyBayesianNetwork”,InternationalConferenceonSoftwareSecurityandReliability(SERE),pp.283-290.2012.
HehuaZhang,YuJiang,WilliamN.N.Hung,XiaoyuSong,andJiaguangSun,"SequentialDependencyandReliabilityAnalysisofEmbeddedSystem",IEEE/ACMAsiaandSouthPacificDesignAutomationConference(ASP-DAC),Yokohama,Japan,January2013.P423-428.
YuJiang,HehuaZhang,XunJiao.“UncertainModelandAlgorithmforHardware/SoftwarePartitioning”,IEEEcomputerSocietyAnnualSymposiumonVLSI,Amherst,Massachusetts,USA,3August,2012.P243-248.
HehuaZhang,Yujiang,WilliamN.N.,etc.“Domain-drivenProbabilisticAnalysisofProgrammableLogicControllers”.13thInternationalConferenceonFormalEngineeringMethods(ICFEM2011),Oct26-28,Durham,UnitedKingdom.P115-130.2011.
HehuaZhang,MingGu,XiaoyuSong,"SpecifyingTime-SensitiveSystemswithTLA+,"IEEE34thAnnualComputerSoftwareandApplicationsConference(COMPSAC2010),Seoul,SouthKorea,pp.425-430,July19-23,2010
HehuaZhang,MingGu,XiaoyuSong.“ModelingandAnalysisofReal-lifeJob
ShopSchedulingProblemsbyPetrinets”,Proceedingsofthe41stAnnualSimulationSymposium,p279-285,2008.
HehuaZhang,MingGuandXiaoyuSong,“ModelingandAnalysisofStage
MachineryControlSystemsbyTimedColoredPetriNets”,SIES2008,June
11-13,Montpellier,France.