Get started
Author

Haiying Sun

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 · 45
PDF
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform
2020 · Pan Fan, Jing Liu, et al. · Journal of Cloud Computing Advances Systems and Applications · 26
PDF
Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism
2020 · Hongze Wang, Jing Liu, et al. · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 23
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems
2020 · Tengfei Li, Jing Liu, et al. · IEEE International Conference on Software Quality, Reliability and Security (QRS) · 18
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic
2015 · Haiying Sun, Jing Liu, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 17
AADL+: a simulation-based methodology for cyber-physical systems
2018 · Jing Liu, Tengfei Li, et al. · Frontiers of Computer Science · 16
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
2018 · Zhengheng Yuan, Xiaohong Chen, et al. · IEEE Transactions on Intelligent Transportation Systems · 16
Runtime Verification of Spatio-Temporal Specification Language
2021 · Tengfei Li, Jing Liu, et al. · Mobile Networks and Applications · 10
Safety verification of state/time-driven hybrid systems using barrier certificates
2016 · Guobin Wang, Jing Liu, et al. · Chinese Control Conference (CCC) · 7
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language
2019 · Tengfei Li, Jing Liu, et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 6
PDF
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems
2016 · Xiaohong Chen, Li Han, et al. · IEEE International Requirements Engineering Conference Workshops (REW) · 6
Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates
2016 · Guobin Wang, Jifeng He, et al. · Mathematical Problems in Engineering · 6
PDF
Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems
2021 · Chenchen Yang, Haiying Sun, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 5
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System
2017 · Zhiwei Li, Jing Liu, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 5
The Relationship Between Learning Motivation and English Achievement Among Undergraduate Non-English Majors in China: The Mediating Role of Self-Efficacy and Learning Strategies
2025 · Shuyan Liu, Haiying Sun · SAGE Open · 4
A Fully Parallel Approach of Model Checking Via Probe Machine
2021 · Dong Wang, Jing Liu, et al. · International Journal of Software Engineering and Knowledge Engineering · 4
A spatio-temporal specification language and its completeness & decidability
2020 · Tengfei Li, Jing Liu, et al. · Journal of Cloud Computing Advances Systems and Applications · 4
PDF
2PC+: A High Performance Protocol for Distributed Transactions of Micro-service Architecture
2020 · Pan Fan, Jing Liu, et al. · EAI/Springer Innovations in Communication and Computing · 3
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP
2019 · Xiaohong Chen, Xi Wu, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 3
Saliency detection based on BP-neural Network
2016 · Pan Duan, Bei Hu, et al. · World Congress on Intelligent Control and Automation · 3
Study on the Enhancement of Personalized Borrowing Experience of Smart Library Users Based on Reinforcement Learning Framework
2025 · Haiying Sun, Mingzhi Fan · Applied Mathematics and Nonlinear Sciences · 2
PDF
Understanding the Reproducibility Issues of Monkey for GUI Testing
2023 · Huiyu Liu, Qichao Kong, et al. · Lecture notes in computer science · 2
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification
2021 · Chenchen Yang, Jing Liu, et al. · International Joint Conference on Neural Networks (IJCNN) · 2
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems
2020 · Tengfei Li, Xiaohong Chen, et al. · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) · 2
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams
2016 · Haiying Sun, Mingsong Chen, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 2
Works count: 54
Citation count: 256
H-index: 8
I10-index: 8
Year
Topic
Type