孙海英 - 华东师范大学 - 软件工程学院

个人简介

安全关键软件是一类苛求质量无限接近完美的强实时嵌入式系统，常常被应用于诸如高铁、城轨、汽车、航空航天、医疗、核工业、能源等各个与国家基础设施相关的高端制造产业中，对国民经济和国防安全有着深远地影响。本人自2009年起专注于形式化语言构造、形式化需求验证、测试用例生成方法等方面的研究。先后主持并参与多项国家级省部级科研项目和企业项目，在CCF认定的核心国际会议和期刊上发表相关论文20余篇. 教育经历 2009.09.01-2017.06.30 华东师范大学计算机软件理论　博士 1998.09.01-2001.03.31 南京理工大学计算机应用　　　硕士 1994.09.01-1998.06.30 南京理工大学计算机应用　　　学士工作经历 2003.07.07- 华东师范大学软件工程学院教师 2001.04.01- 2003.07.01 华为南京研究所软件工程师

研究领域

软件测试测试自动生成形式化建模形式化验证模型驱动的软件构造

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun: Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65(11): 2894-2908 2022. Cong Wang, Haiying Sun, Hui Dou, HongTao Chen，Jing Liu， MC/DC Test Case Automatic Generation for Safety-Critical Systems，QRS2022, 732-743. Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li, Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems, COMPSAC2021:874-883. Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang, STSL: A Novel Spatio-Temporal Specification Language for QRS2020, 309-319. Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang: A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387. Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang: Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS 2022: 388-399. Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang: Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. QRS 2022: 549-560. Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang: A Fully Parallel Approach of Model Checking Via Probe Machine. Int. J. Softw. Eng. Knowl. Eng. 31(11&12): 1761-1781,2021. Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun: Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. 26(6): 2392-2406,2021. Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun, A spatio-temporal specification language and its completeness & decidability. J. Cloud Comput. 9: 65 (2020) Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun: uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167: 110617 (2020) Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han: Model Checking of Spatial Logic. APSEC 2020: 169-177