Haiying Sun

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach

Dongdong An, Jing Liu, Min Zhang et al. · Journal of Systems and Software · 2020 · 45 citations · Full text

Computing, Automotive Engineering, Autonomous Systems +17

2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform

Fan Pan, Jing Liu, Hui Wang et al. · Journal of Cloud Computing Advances Systems and Applications · 2020 · 18 citations · Full text

Computing, Cloud Computing, Computer Science +17

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems

Tengfei Li, Jing Liu, Jiexiang Kang et al. · 2020 · 17 citations

Engineering, Computer Science, Systems Engineering +17

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic

Haiying Sun, Jing Liu, Dehui Du · 2015 · 15 citations

Computing, Computer Science, Systems Engineering +15

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

Zhengheng Yuan, Jing Liu, Yijun Yu et al. · IEEE Transactions on Intelligent Transportation Systems · 2018 · 15 citations

Engineering, Computer Science, Systems Engineering +17