Haiying Sun

53 papers A* 1B 10C 18Misc 3Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated detection of atomicity violations in large-scale systems.
CoRR
Hang He, Yixing Luo, Chengcheng Wan, Ting Su, Haiying Sun, Geguang Pu
2025 — conf
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving.
ICSE Companion
Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu
2025 J jnl
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services.
CoRR
Hang He, Chuhuai Yue, Chengqi Dong, Mingxue Tian, Zhenfeng Liu, Jiajun Chai, Xiaohan Wang, Yufei Zhang, Qun Liao, Guojun Yin, Wei Lin, Chengcheng Wan, Haiying Sun, Ting Su
2024 A* conf
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.
CCS
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su
2024 J jnl
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.
CoRR
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su
2024 C conf
Efficient Verification of Multi-Agent Systems Through Parallel.
QRS
Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun
2024 B conf
QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models.
ICECCS
Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang
2023 B conf
Enhancing the Formal Verification of Train Control Systems based on Decomposition.
COMPSAC
Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
2023 J jnl
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks.
IEEE Robotics Autom. Lett.
Wenbing Tang, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He
2023 B conf
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.
ICECCS
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2023 Misc conf
Understanding the Reproducibility Issues of Monkey for GUI Testing.
SETTA
Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun
2022 C conf
A Novel Approach for Bounded Model Checking Through Full Parallelism.
QRS
Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
2022 C conf
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.
SEKE
Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, Hongtao Chen, Xiaohong Chen, Jifeng He
2022 J jnl
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices.
Comput. J.
Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
2022 C conf
MC/DC Test Case Automatic Generation for Safety-Critical Systems.
QRS
Cong Wang, Haiying Sun, Hui Dou, Hongtao Chen, Jing Liu
2022 C conf
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.
QRS
Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang
2022 C conf
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems.
QRS
Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang
2021 J jnl
A Fully Parallel Approach of Model Checking Via Probe Machine.
Int. J. Softw. Eng. Knowl. Eng.
Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
2021 C conf
A Novel Approach of CTL Model Checking Based on Probe Machine.
SEKE
Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang
2021 B conf
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.
TrustCom
Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu
2021 C conf
Dependable Reinforcement Learning via Timed Differential Dynamic Logic.
ISCC
Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu
2021 J jnl
Runtime Verification of Spatio-Temporal Specification Language.
Mob. Networks Appl.
Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun
2021 B conf
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification.
IJCNN
Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang
2021 B conf
Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.
COMPSAC
Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li
2020 J jnl
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform.
J. Cloud Comput.
Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun
2020 J jnl
A spatio-temporal specification language and its completeness & decidability.
J. Cloud Comput.
Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun
2020 — conf
Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.
ISPA/BDCloud/SocialCom/SustainCom
Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang
2020 C conf
Model Checking of Spatial Logic.
APSEC
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han
2020 B conf
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems.
TrustCom
Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun
2020 C conf
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.
QRS
Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
2020 J jnl
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
J. Syst. Softw.
Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun
2019 C conf
A Security Calculus for Wireless Networks of Named Data Networking.
ICFEM
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
2019 C conf
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
SEKE
Tengfei Li, Jing Liu, Dongdong An, Haiying Sun
2019 J jnl
AADL+: a simulation-based methodology for cyber-physical systems.
Frontiers Comput. Sci.
Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
2019 Misc conf
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.
TASE
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun
2018 J jnl
A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci.
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2018 J jnl
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
IEEE Trans. Intell. Transp. Syst.
Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin
2017 — conf
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
COMPSAC (1)
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen
2017 C conf
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.
APSEC
Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun
2016 C conf
Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.
SEKE
Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen
2016 B conf
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.
COMPSAC
Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang
2016 C conf
Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.
CIT
Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun
2016 — conf
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.
RE Workshops
Xiaohong Chen, Li Han, Jing Liu, Haiying Sun
2015 B conf
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
COMPSAC
Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun
2015 C conf
HSD: Hybrid MARTE Sequence Diagram.
QRS
Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen
2015 C conf
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.
APSEC
Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2014 — conf
Improving Testing Coverage for Safety-Critical System by Mutated Specification.
APSEC (1)
Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du
2013 B conf
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach.
COMPSAC
Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu
2013 — conf
Problem Frames Construction from Feature Models.
APSEC (1)
Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu
2012 C conf
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.
APSEC
Haiying Sun, Jing Liu, Dehui Du
2008 Misc conf
Convergence of Ant Colony Optimization on First-order Deceptive Systems.
GrC
Yixin Chen, Haiying Sun
2007 — conf
A Tristate Filter for Image Denoising Processing.
SNPD (2)
Yanhua Ma, Chuanjun Liu, Haiying Sun
2006 — conf
A Simple Transform Method in the Field of Image Processing.
ISDA (2)
Yanhua Ma, Chuanjun Liu, Haiying Sun