翟玉庆 方滨兴 朱雪阳 唐稚松 齐治昌 陈火旺 林洪 李广元 孙伟 李宣东 龚正虎 王敏 陈小平 黄海军 罗铁庚 云晓春 史忠植 蒋运承 李响 崔萌 陈意云 郑国梁

性能模型 动作状态 时态逻辑 指针 多态 子定型 Gamma 可靠性 类型和效果系统 类型系统 静态分析 程序验证 求精 踪迹等价 FSM 并行计算模型 组合 数据流分析 动态语义 XYZE 动态不确定性环境 统一建模语言（UML） Statecharts 情景演算 时序逻辑 持续规划 ELOTOS 基于部件设计 实时系统 无干扰性