杜德慧

1. 中国计算机协会软件工程专委委员/形式化方法专委委员

2. 上海市计算机协会形式化方法专委委员、上海市协同计算专委委员 

3. 美国IEEE，ACM工程协会会员

4. 计算机学报、JCST期刊，ICFEM12等国际会议审稿人

1. 可信人工智能、人工智能系统的正确性、安全性建模与验证

2. 信息物理融合系统的建模及验证

3. 统计模型检测技术

4. 实时系统建模及验证，建模、验证工具研发、应用研究

   
   

急需具有良好的英语基础、较强的编程实践经验、扎实的数学功底、做事情认真负责的同学加入我们的团队！博士、硕士研究生招生正在进行中，请将简历直接发送邮箱dhdu@sei.ecnu.edu.cn

欢迎各位同学加入我们项目组，您将得到全方位的发展，并获得较多的出国交流学习的机会。我们的理念是“快乐研究，快乐生活”！

《操作系统》《操作系统实践》

《UML及形式化建模》《模型驱动软件开发》

《软件工程与过程》《可信软件开发》

主持项目：
1. 国家自然科学基金面上项目：时空数据驱动的安全攸关信息物理融合系统建模及验证方法研究；

2. 国家自然科学基金面上项目：信息物理融合系统的随机行为建模及验证方法研究；

3. 国家自然科学基金青年基金：服务构件安全协同建模与验证方法研究； 

4.上海市自然科学基金：基于统计模型检测的信息物理融合系统的验证方法研究；
5. 软件工程国家重点实验室开放基金：基于契约的可信服务构件建模与验证方法的研究； 
6. 华东师范大学科研创新基金：基于MARTE的实时系统建模与验证方法研究
参与项目：
1. 金砖国家合作项目“时空数据驱动的高可信关键技术及应用研究”

2. 国家自然科学基金重大研究计划培育项目：模型驱动式可信软件构造方法的研究 

3. 国家重点基础研究发展计划973项目：主体化、服务化的网构软件模型、方法及可信保障 
4. 国家高技术研究发展计划863项目：模型驱动式高可信软件开发技术 
5. 中法合作项目：模型驱动式 UML/MARTE 模型形式验证方法 
6. 基金委重大国际合作项目 中丹国际合作项目：IDEA4CPS

详细论文列表 https://dblp.uni-trier.de/pers/hd/d/Du:Dehui

代表论文主要有：

(1) 杜德慧; 昝慧; 姜凯强, 一种面向CPS的自适应统计模型检测方法软件学报

2017.1.20, 28(5): 1128~1143 (期刊论文)

(2) Kaiqiang Jiang; Ping Huang; Hui Zan; Dehui Du ,AL-SMC: Optimizing

Statistical Model Checking by Automatic Abstraction and Learning, International

Journal of Software and Informatics, 2016.11, 10(4): 1~21 (期刊论文)

(3) Dehui Du ; Ping Huang; Kaiqiang Jiang; Frédéric Mallet,MARTE/pCCSL:

Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical

Clocks, FACS 2016 - The 13th International Conference on Formal Aspects of

Component Software, 2016.10.19-2016.10.21 (会议论文)

(4) Juhu Liu; Kaiqiang Jiang; Xiao Wang; Bei Cheng; Dehui Du ,Improved

Co-Simulation with Event Detection for Stochastic Behaviors of CPSs, COMPSAC, 2

016.6.10-2016.6.14 (会议论文)

(5) Bei Cheng; Xiao Wang; Jing Liu; Dehui Du ,Modana: An Integrated

Framework for Modeling and Analysis of Energy-Aware CPSs, Computer Software and

Applications Conference (COMPSAC), 2015.7.1-2015.7.5 (会议论文)

(6) 杜德慧; 程贝; 刘静，面向安全攸关系统中小概率事件的统计模型检测软件

学报, 2015, (02): 305~320 (期刊论文)

(7) BeiCheng; Dehui Du ,Towardsa Stochastic Occurrence-Based Modeling

Approach for Stochastic CPSs, TASE 2014, 2014.9.1-2014.9.3 (会议论文)

(8) Dehui Du ; Mingsong Chen; Xiao Liu,A Novel Quantitative Evaluation

Approach for Software Project Schedules using Statistical Model Checking, ICSE

14, 2014.5.31-2014.6.7 (会议论文)

获奖：

(1) Dehui Du ,MARTE/pCCSL: Modeling and Refining StochasticBehaviors of CPSs with Probabilistic Logical Clocks, FACS国际会议, 最佳论文奖,其他, 2016.10.19

(2) 杜德慧, 基于抽象和学习的统计模型验证器软件V1.0, 2017SR420485, 原始取得,全部权利, 2017.1.1 (软件著作权)

(3) 杜德慧, 信息物理融合系统的联合仿真软件[简称：联合仿真软件], 2016SR153900, 原始取得, 全部权利, 2016.1.6 (软件著作权)

(4) 杜德慧(1/5), Modana2.0：面向CPS系统的建模与验证平台, 第十六届全国软件与应用学术会议, 其他, 其他, 2017.12.1(杜德慧; 敖奕; 管春琳; 白新; 姜凯强) (科研奖励)

(5) 冯曙光; 包丹珠; 徐亚祎; 杜丽; 杜德慧; 温岩, 基于UPPAAL的实时嵌入式系统构件间协同行为的验证方法, 2011.12.16, 中国, CN201110423095.4 (授权专利)

专利申请：

1. 嵌入式系统软件的模型驱动与构件化开发方法，专利申请号：200610124600.4
2. 一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，专利申请号：200910047164.9，
3. 一种验证UML模型中动态行为与时序契约的一致性的方法，专利申请号：20091047165.3
   获软件著作权7项；