个人资料
教育经历工作经历个人简介社会兼职研究方向软件工程 形式化方法 模型驱动的软件构造 形式化建模 形式化验证 软件测试 测试自动生成 开授课程科研项目学术成果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 荣誉及奖励招生信息 |
|
孙海英 |