| 2026 | SANER | Understanding the Effectiveness of Mutators in Mutation-Based Protocol Fuzzing. | Xiyuan Zhang, Jiayi Jiang, Yiutak Choi, Ting Su, Haiying Sun, Chengcheng Wan, Geguang Pu |
| 2025 | ICSE | IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. | Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu |
| 2024 | CCS | BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering. | Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su |
| 2024 | ICECCS | QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. | Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang |
| 2024 | QRS | Efficient Verification of Multi-Agent Systems Through Parallel. | Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun |
| 2023 | COMPSAC | Enhancing the Formal Verification of Train Control Systems based on Decomposition. | Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun |
| 2023 | ICECCS | 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 |
| 2023 | SETTA | Understanding the Reproducibility Issues of Monkey for GUI Testing. | Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun |
| 2022 | QRS | Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. | Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang |
| 2022 | QRS | Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. | Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang |
| 2022 | QRS | A Novel Approach for Bounded Model Checking Through Full Parallelism. | Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang |
| 2022 | QRS | MC/DC Test Case Automatic Generation for Safety-Critical Systems. | Cong Wang, Haiying Sun, Hui Dou, HongTao Chen, Jing Liu |
| 2022 | SEKE | 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 |
| 2021 | COMPSAC | Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. | Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li |
| 2021 | IJCNN | Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. | Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang |
| 2021 | ISCC | Dependable Reinforcement Learning via Timed Differential Dynamic Logic. | Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu |
| 2021 | TrustCom | 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 |
| 2021 | SEKE | A Novel Approach of CTL Model Checking Based on Probe Machine. | Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang |
| 2020 | APSEC | Model Checking of Spatial Logic. | Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han |
| 2020 | ISPA | Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. | Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang |
| 2020 | QRS | 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 |
| 2020 | TrustCom | Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. | Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun |
| 2019 | ICFEM | A Security Calculus for Wireless Networks of Named Data Networking. | Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
| 2019 | SEKE | A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. | Tengfei Li, Jing Liu, Dongdong An, Haiying Sun |
| 2019 | TASE | Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. | Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun |
| 2017 | APSEC | Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. | Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun |
| 2017 | COMPSAC | 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 |
| 2016 | COMPSAC | Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. | Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang |
| 2016 | RE | Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. | Xiaohong Chen, Li Han, Jing Liu, Haiying Sun |
| 2016 | SEKE | Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. | Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen |
| 2015 | APSEC | Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. | Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2015 | COMPSAC | 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 |
| 2015 | QRS | HSD: Hybrid MARTE Sequence Diagram. | Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen |
| 2014 | APSEC | Improving Testing Coverage for Safety-Critical System by Mutated Specification. | Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du |
| 2013 | APSEC | Problem Frames Construction from Feature Models. | Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu |
| 2013 | COMPSAC | Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. | Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu |
| 2012 | APSEC | Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. | Haiying Sun, Jing Liu, Dehui Du |
| 2008 | GRC | Convergence of Ant Colony Optimization on First-order Deceptive Systems. | Yixin Chen, Haiying Sun |
| 2007 | SNPD | A Tristate Filter for Image Denoising Processing. | Yanhua Ma, Chuanjun Liu, Haiying Sun |
| 2006 | ISDA | A Simple Transform Method in the Field of Image Processing. | Yanhua Ma, Chuanjun Liu, Haiying Sun |