上海同济大学 软件学院 张苗苗（研究员）导师简介

张苗苗ZHANG MIAO MIAO研究员

电子邮件: miaomiao@tongji.edu.cn 

· 主讲课程：软件工程

· 实时系统

· 系统规范和验证

· 研究方向：嵌入式系统验证

· 时间和混合系统的分析、验证研究

部分科研项目简介

· 教育部留学回国人员科研启动基金

· 国家自然科学基金项目“基于构件的异构嵌入式系统的模型驱动设计”（No.61073022）。2011/1-2013/12

· 国家自然科学基金，项目名称为“基于概率时间自动机的概率时段演算的模型检验及应用研究”。2007/1-2009/12

部分论文简介

· Miaomiao Zhang, Zhiming Liu, and Naijun Zhan. Model Checking Linear Duration Invariants of Networks of Automata. 3rd International Conference on Fundamentals of Software Engineering, FSEN 2009, LNCS 5961, 244-259.

· Miaomiao Zhang, Zhiming Liu, Charles Morisset, and Anders P. Ravn. Design and Verification of Fault-Tolerant Components . In Methods, Models and Tools for Fault Tolerance (MEMoT 2009) , LNCS 5454, 57-84.

· Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du: Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. 11th IEEE High Assurance Systems Engineering Symposium(HASE 2008): 445-448.

· Miaomiao Zhang, Dang Van Hung and Zhiming Liu. Verification of Linear Duration Invariants by Model Checking CTL Properties. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), LNCS 5160, 395-409.

· J. Berendsen, B. Gebremichael, F.W. Vaandrager, and Miaomiao Zhang. Formal Specification and Analysis of Zeroconf using Uppaal. Accepted by ACM Transactions in Embedded Computing Systems, to appear in 2010.