个人资料
教育经历2009.09.01-2017.06.30 华东师范大学 计算机软件理论 博士 1998.09.01-2001.03.31 南京理工大学 计算机应用 硕士 1994.09.01-1998.06.30 南京理工大学 计算机应用 学士 工作经历2003.07.07- 华东师范大学 银河集团9873.cσm 教师 2001.04.01- 2003.07.01 华为南京研究所 软件工程师 个人简介安全关键软件是一类苛求质量无限接近完美的强实时嵌入式系统,常常被应用于诸如高铁、城轨、汽车、航空航天、医疗、核工业、能源等各个与国家基础设施相关的高端制造产业中,对国民经济和国防安全有着深远地影响。本人自2009年起专注于形式化语言构造、形式化需求验证、测试用例生成方法等方面的研究。先后主持并参与多项国家级省部级科研项目和企业项目,在CCF认定的核心国际会议和期刊上发表相关论文20余篇. 社会兼职研究方向软件测试 测试自动生成 形式化建模 形式化验证 模型驱动的软件构造 招生与培养开授课程主要开设课程: 1、软件测试与验证 2、软件开发实践 3、软件测试工具 4、软件项目管理 5、软件工程与过程 6、软件质量保证 科研项目主要主持及参与的项目: 1、基于静态分析及主动学习协同的私有协议逆向, 国家重点研发计划项目,2023-2025 2、云-端架构信息物理系统高效可信构造关键技术研究,国家自然基金项目, 2022-2025 3、基于安全建模语言的软件需求形式化建模与验证技术,省部级纵向项目,2019-2022 4、用户意图的IoT服务逻辑自动生成方法,国家自然基金项目,2022-2025 5、不确定环境下信息物理系统高效可信构造关键技术研究,国家自然基金项目,2018-2021 6、安全计算机平台--GCC编译器优化与安全性分析研究技术,企业项目, 2020-2021 7、TSP安全计算机平台-编译器差异性分析,企业项目,2021-2022 学术成果2021-2023年发表论文列表 [1] 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. [2] Cong Wang, Haiying Sun, Hui Dou, HongTao Chen,Jing Liu, MC/DC Test Case Automatic Generation for Safety-Critical Systems,QRS2022, 732-743. [3] 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. [4] 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. [5] Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang: A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387. [6] Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang: Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS 2022: 388-399. [7] 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. [8] 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. [9] 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. [10] 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) [11] 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) [12] Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han: Model Checking of Spatial Logic. APSEC 2020: 169-177 荣誉及奖励 |