Haiying Sun
Author
Alternate names Sun Haiying, Haiying Sun, Hai‐ying SUN, Sun Hai‐ying, Hai‐ying Sun
Past institutions Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Chongqing University, Qingdao University of Science and Technology
H-index: 7
I10-index: 6
Works count: 62
Citations count: 189
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach
2020 · Dongdong An, Jing Liu, et al. · Journal of Systems and Software
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic
2015 · Haiying Sun, Jing Liu, et al.
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform
2020 · Fan Pan, Jing Liu, et al. · Journal of Cloud Computing Advances Systems and Applications