Haiying Sun

According to our database, Haiying Sun authored at least 49 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Efficient Verification of Multi-Agent Systems Through Parallel.

Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models.

Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.

Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.

Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He

IEEE Robotics Autom. Lett., March, 2023

Understanding the Reproducibility Issues of Monkey for GUI Testing.

Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Enhancing the Formal Verification of Train Control Systems based on Decomposition.

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices.

Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun

Comput. J., 2022

A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

MC/DC Test Case Automatic Generation for Safety-Critical Systems.

Cong Wang, Haiying Sun, Hui Dou, HongTao Chen, Jing Liu

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

A Novel Approach for Bounded Model Checking Through Full Parallelism.

Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.

Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.

Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Runtime Verification of Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun

Mob. Networks Appl., 2021

A Fully Parallel Approach of Model Checking Via Probe Machine.

Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Int. J. Softw. Eng. Knowl. Eng., 2021

DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.

Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu

Proceedings of the 20th IEEE International Conference on Trust, 2021

A Novel Approach of CTL Model Checking Based on Probe Machine.

Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dependable Reinforcement Learning via Timed Differential Dynamic Logic.

Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu

Proceedings of the IEEE Symposium on Computers and Communications, 2021

Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.

Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang

Proceedings of the International Joint Conference on Neural Networks, 2021

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.

Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

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

Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun

J. Syst. Softw., 2020

A spatio-temporal specification language and its completeness & decidability.

Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun

J. Cloud Comput., 2020

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

Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun

J. Cloud Comput., 2020

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.

Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun

Proceedings of the 19th IEEE International Conference on Trust, 2020

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

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.

Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Model Checking of Spatial Logic.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

AADL+: a simulation-based methodology for cyber-physical systems.

Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He

Frontiers Comput. Sci., 2019

Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.

Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.

Tengfei Li, Jing Liu, Dongdong An, Haiying Sun

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Security Calculus for Wireless Networks of Named Data Networking.

Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin

Proceedings of the Formal Methods and Software Engineering, 2019

2018

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

Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin

IEEE Trans. Intell. Transp. Syst., 2018

A proof-based method of hybrid systems development using differential invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Frontiers Comput. Sci., 2018

2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.

Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.

Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Xiaohong Chen, Li Han, Jing Liu, Haiying Sun

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.

Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.

Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun

Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015

HSD: Hybrid MARTE Sequence Diagram.

Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.

Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.

Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Improving Testing Coverage for Safety-Critical System by Mutated Specification.

Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach.

Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Problem Frames Construction from Feature Models.

Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.

Haiying Sun, Jing Liu, Dehui Du

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2008

Convergence of Ant Colony Optimization on First-order Deceptive Systems.

Yixin Chen, Haiying Sun

Proceedings of the 2008 IEEE International Conference on Granular Computing, 2008

2007

A Tristate Filter for Image Denoising Processing.

Yanhua Ma, Chuanjun Liu, Haiying Sun

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

2006

A Simple Transform Method in the Field of Image Processing.

Yanhua Ma, Chuanjun Liu, Haiying Sun

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006