A Simple Transform Method in the Field of Image Processing. - Yanhua Ma; Chuanjun Liu; Haiying Sun (ISDA (2), 2006)

A Tristate Filter for Image Denoising Processing. - Yanhua Ma; Chuanjun Liu; Haiying Sun (SNPD (2), 2007)

Convergence of Ant Colony Optimization on First-order Deceptive Systems. - Yixin Chen 001; Haiying Sun (GrC, 2008)

Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. - Haiying Sun; Jing Liu 012; Dehui Du (APSEC, 2012)

Problem Frames Construction from Feature Models. - Xiaohong Chen 007; Haiying Sun; Ronghua Ye; Jing Liu 012 (APSEC (1), 2013)

Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. - Xiaohong Chen 007; Ronghua Ye; Haiying Sun; Hong Lu (COMPSAC, 2013)

Improving Testing Coverage for Safety-Critical System by Mutated Specification. - Tingliang Zhou; Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC (1), 2014)

Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. - Haiying Sun; Jing Liu 012; Xiaohong Chen 007; Dehui Du (APSEC, 2015)

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. - Xiaohong Chen 007; Fan Gu; Mingsong Chen 001; Dehui Du; Jing Liu 012; Haiying Sun (COMPSAC, 2015)

HSD: Hybrid MARTE Sequence Diagram. - Lulu Yao; Jing Liu 012; Yan Zhang 072; Yuejun Wang; Haiying Sun; Qingsheng Wang; Dehui Du; Xiaohong Chen 007 (QRS, 2015)

Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. - Fei Tang; Jing Liu 012; Tingliang Zhou; Junfeng Sun; Haiying Sun (CIT, 2016)

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. - Haiying Sun; Mingsong Chen 001; Min Zhang 002; Jing Liu 012; Ying Zhang (COMPSAC, 2016)

Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. - Xiaohong Chen 007; Li Han 001; Jing Liu 012; Haiying Sun (RE Workshops, 2016)

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. - Yuanyang Wang; Xiaohong Chen 007; Haiying Sun; Mingsong Chen 001 (SEKE, 2016)

Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. - Zhiwei Li; Jing Liu 012; Haiying Sun; Tingliang Zhou; Junfeng Sun (APSEC, 2017)

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (COMPSAC (1), 2017)

A proof-based method of hybrid systems development using differential invariants. - Jie Liu 013; Jing Liu 012; Miaomiao Zhang 003; Haiying Sun; Xiaohong Chen 007; Dehui Du; Mingsong Chen 001 (Frontiers Comput. Sci., 2018)

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. - Zhengheng Yuan; Xiaohong Chen 007; Jing Liu 012; Yijun Yu; Haiying Sun; Tingliang Zhou; Zhi Jin (IEEE Trans. Intell. Transp. Syst., 2018)

A Security Calculus for Wireless Networks of Named Data Networking. - Yuan Fei; Huibiao Zhu; Haiying Sun; Jiaqi Yin (ICFEM, 2019)

A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. - Tengfei Li 002; Jing Liu 012; Dongdong An; Haiying Sun (SEKE, 2019)

Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. - Xiaohong Chen 007; Xi Wu 005; Mengyao Zhao; Haiying Sun (TASE, 2019)

AADL+: a simulation-based methodology for cyber-physical systems. - Jing Liu 012; Tengfei Li 002; Zuohua Ding; Yuqing Qian; Haiying Sun; Jifeng He 001 (Frontiers Comput. Sci., 2019)

Model Checking of Spatial Logic. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Xiaohong Chen 007; Li Han 001 (APSEC, 2020)

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. - Hongze Wang; Jing Liu 012; Jiexiang Kang; Wei Yin; Haiying Sun; Hui Wang (ISPA/BDCloud/SocialCom/SustainCom, 2020)

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Wei Yin; Xiaohong Chen 007; Hui Wang (QRS, 2020)

Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. - Tengfei Li 002; Xiaohong Chen 007; Haiying Sun; Jing Liu 012; Jiajia Yang; Chenchen Yang; Junfeng Sun (TrustCom, 2020)

2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. - Pan Fan; Jing Liu 012; Wei Yin; Hui Wang; Xiaohong Chen 007; Haiying Sun (J. Cloud Comput., 2020)

A spatio-temporal specification language and its completeness & decidability. - Tengfei Li 002; Jing Liu 012; Haiying Sun; Xiang Chen; Lipeng Zhang; Junfeng Sun (J. Cloud Comput., 2020)

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. - Dongdong An; Jing Liu 012; Min Zhang 002; Xiaohong Chen 007; Mingsong Chen 001; Haiying Sun (J. Syst. Softw., 2020)

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. - Chenchen Yang; Haiying Sun; Jing Liu 012; Jiexiang Kang; Wei Yin; Hui Wang; Tengfei Li 002 (COMPSAC, 2021)

Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. - Chenchen Yang; Jing Liu 012; Haiying Sun; Junfeng Sun; Xiang Chen; Lipeng Zhang (IJCNN, 2021)

Dependable Reinforcement Learning via Timed Differential Dynamic Logic. - Runhao Wang; Yuhong Zhang; Haiying Sun; Jing Liu 012 (ISCC, 2021)

A Novel Approach of CTL Model Checking Based on Probe Machine. - Dong Wang; Jing Liu 012; Jin Xu 002; Haiying Sun; Jiexiang Kang (SEKE, 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 007; Zhongjie Gao; Shuning Wang; Jing Liu 012 (TrustCom, 2021)

A Fully Parallel Approach of Model Checking Via Probe Machine. - Dong Wang; Jing Liu 012; Haiying Sun; Jin Xu 002; Jiexiang Kang (Int. J. Softw. Eng. Knowl. Eng., 2021)

Runtime Verification of Spatio-Temporal Specification Language. - Tengfei Li 002; Jing Liu 012; Haiying Sun; Xiaohong Chen 007; Ling Yin 002; Xia Mao; Junfeng Sun (Mob. Networks Appl., 2021)

Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. - Huiyu Liu; Jing Liu 012; Haiying Sun; Tengfei Li 002; John Zhang (QRS, 2022)

Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. - Huiyu Liu; Jing Liu 012; Wei Yin; Haiying Sun; Chenchen Yang (QRS, 2022)

A Novel Approach for Bounded Model Checking Through Full Parallelism. - Debao Sang; Jing Liu 012; Haiying Sun; Jin Xu 002; Jiexiang Kang (QRS, 2022)

MC/DC Test Case Automatic Generation for Safety-Critical Systems. - Cong Wang; Haiying Sun; Hui Dou; HongTao Chen; Jing Liu (QRS, 2022)

A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. - Qian Wang; Jing Liu 012; John Zhang; Hui Dou; Haiying Sun; HongTao Chen; Xiaohong Chen 007; Jifeng He 001 (SEKE, 2022)

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. - Zhaodi Zhang; Jing Liu 012; Min Zhang 002; Haiying Sun (Comput. J., 2022)

Enhancing the Formal Verification of Train Control Systems based on Decomposition. - Tengfei Li 002; Junfeng Sun; Xinjun Lv; Xiang Chen; Jing Liu 012; Haiying Sun (COMPSAC, 2023)

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. - Qian Wang; Jing Liu 012; John Zhang; Hui Dou; Haiying Sun; HongTao Chen; Xiaohong Chen 007; Jifeng He 001 (ICECCS, 2023)

Understanding the Reproducibility Issues of Monkey for GUI Testing. - Huiyu Liu; Qichao Kong; Jue Wang; Ting Su 001; Haiying Sun (SETTA, 2023)

GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. - Wenbing Tang 001; Yuan Zhou 005; Haiying Sun; Yuhong Zhang; Yang Liu 003; Zuohua Ding; Jing Liu 012; Jifeng He 001 (IEEE Robotics Autom. Lett., 2023)

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering. - Jiayi Jiang; Xiyuan Zhang; Chengcheng Wan 001; Haoyi Chen; Haiying Sun; Ting Su 001 (CCS, 2024)

QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. - Yiwei Zhu; Jing Liu 012; Haiying Sun; Wei Yin; Jiexiang Kang (ICECCS, 2024)

Efficient Verification of Multi-Agent Systems Through Parallel. - Zhen Yao; Jing Liu 012; Xiaohong Chen 007; Li Han 001; Haiying Sun (QRS, 2024)

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. - Qichang Wang; Chuyang Chen; Ruiyang Xu; Haiying Sun; Chengcheng Wan 001; Ting Su 001; Yueling Zhang; Geguang Pu (ICSE Companion, 2025)

Automated detection of atomicity violations in large-scale systems. - Hang He; Yixing Luo; Chengcheng Wan 001; Ting Su 001; Haiying Sun; Geguang Pu (CoRR, 2025)