张苗苗ZHANGMIAOMIAO研究员
电子邮件:miaomiao@tongji.edu.cn
主讲课程：
- 软件工程
- 实时系统
- 系统规范和验证
研究方向：
- 嵌入式系统验证
- 时间和混合系统的分析、验证研究
- 教育部留学回国人员科研启动基金
- 国家自然科学基金项目“基于构件的异构嵌入式系统的模型驱动设计”（No.61073022）。2011/1-2013/12
- 国家自然科学基金，项目名称为“基于概率时间自动机的概率时段演算的模型检验及应用研究”。2007/1-2009/12
- MiaomiaoZhang,ZhimingLiu,andNaijunZhan.ModelCheckingLinearDurationInvariantsofNetworksofAutomata.3rdInternationalConferenceonFundamentalsofSoftwareEngineering,FSEN2009,LNCS5961,244-259.
- MiaomiaoZhang,ZhimingLiu,CharlesMorisset,andAndersP.Ravn.DesignandVerificationofFault-TolerantComponents.InMethods,ModelsandToolsforFaultTolerance(MEMoT2009),LNCS5454,57-84.
- QuanZu,MiaomiaoZhang,JingLiu,QingfengDu:Designing,ModellingandVerifyingaContainerTerminalSystemUsingUPPAAL.11thIEEEHighAssuranceSystemsEngineeringSymposium(HASE2008):445-448.
- MiaomiaoZhang,DangVanHungandZhimingLiu.VerificationofLinearDurationInvariantsbyModelCheckingCTLProperties.5thInternationalColloquiumonTheoreticalAspectsofComputing(ICTAC2008),LNCS5160,395-409.
- J.Berendsen,B.Gebremichael,F.W.Vaandrager,andMiaomiaoZhang.FormalSpecificationandAnalysisofZeroconfusingUppaal.AcceptedbyACMTransactionsinEmbeddedComputingSystems,toappearin2010.
