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-204Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun: Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. TASE 2019: 248-255
