孙海英 讲师
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校： 华东师范大学
学位： 博士
学历： 博士研究生
邮编：
联系电话： **
传真：
电子邮箱： hysun@sei.ecnu.edu.cn
办公地址： 理科大楼B1104
通讯地址： 中山北路3663号理科楼B223L

教育经历

工作经历

个人简介

社会兼职


研究方向
软件工程 形式化方法
模型驱动的软件构造 形式化建模 形式化验证 软件测试 测试自动生成



开授课程


科研项目


学术成果
2020
? Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun:2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. J. Cloud Computing 9: 40 (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)
2019
?Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He: AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. 13(3): 516-538 (2019)
?Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin: A Security Calculus for Wireless Networks of Named Data Networking. ICFEM 2019: 170-185
?Tengfei Li, Jing Liu, Dongdong An, Haiying Sun: A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. SEKE 2019: 153-204





荣誉及奖励


招生信息














10 访问


相关教师