default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaiying Sun
- > Home > Persons > Haiying Sun
Publications
- 2023
[j10]Wenbing Tang
, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He:
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. 8(3): 1603-1610 (2023)- [c36]Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun:
Enhancing the Formal Verification of Train Control Systems based on Decomposition. COMPSAC 2023: 1804-1809 - [c35]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS 2023: 126-135 - 2022
- [j9]Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun:
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65(11): 2894-2908 (2022) - [c33]Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang:
A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387 - [c32]Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang:
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. QRS 2022: 388-399 - [c31]Huiyu Liu, Jing Liu, Haiying Sun, Tengfei Li, John Zhang:
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems. QRS 2022: 549-560 - [c29]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE 2022: 31-34 - 2021
- [j8]Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang:
A Fully Parallel Approach of Model Checking Via Probe Machine. Int. J. Softw. Eng. Knowl. Eng. 31(11&12): 1761-1781 (2021) - [j7]Tengfei Li, Jing Liu, Haiying Sun, Xiaohong Chen, Ling Yin, Xia Mao, Junfeng Sun:
Runtime Verification of Spatio-Temporal Specification Language. Mob. Networks Appl. 26(6): 2392-2406 (2021) - [c28]Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li:
Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. COMPSAC 2021: 874-883 - [c27]Chenchen Yang, Jing Liu, Haiying Sun, Junfeng Sun, Xiang Chen, Lipeng Zhang:
Safe Reinforcement Learning for CPSs via Formal Modeling and Verification. IJCNN 2021: 1-8 - [c26]Runhao Wang, Yuhong Zhang, Haiying Sun, Jing Liu:
Dependable Reinforcement Learning via Timed Differential Dynamic Logic. ISCC 2021: 1-6 - [c25]Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang:
A Novel Approach of CTL Model Checking Based on Probe Machine. SEKE 2021: 183-188 - [c24]Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu:
DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks. TrustCom 2021: 188-195 - 2020
- [j6]Pan Fan, Jing Liu, Wei Yin, Hui Wang, Xiaohong Chen, Haiying Sun:
2PC*: a distributed transaction concurrency control protocol of multi-microservice based on cloud computing platform. J. Cloud Comput. 9: 40 (2020) - [j5]Tengfei Li, Jing Liu, Haiying Sun, Xiang Chen, Lipeng Zhang, Junfeng Sun:
A spatio-temporal specification language and its completeness & decidability. J. Cloud Comput. 9: 65 (2020) - [j4]Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun:
Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach. J. Syst. Softw. 167: 110617 (2020) - [c23]Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han:
Model Checking of Spatial Logic. APSEC 2020: 169-177 - [c22]Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang:
Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. ISPA/BDCloud/SocialCom/SustainCom 2020: 448-457 - [c21]Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang:
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. QRS 2020: 309-319 - [c20]Tengfei Li, Xiaohong Chen, Haiying Sun, Jing Liu, Jiajia Yang, Chenchen Yang, Junfeng Sun:
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems. TrustCom 2020: 568-575 - 2019
- [j3]Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He:
AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. 13(3): 516-538 (2019) - [c18]Tengfei Li, Jing Liu, Dongdong An, Haiying Sun:
A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language. SEKE 2019: 153-204 - 2018
- [j2]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12(5): 1026-1028 (2018) - [j1]Zhengheng Yuan, Xiaohong Chen, Jing Liu, Yijun Yu, Haiying Sun, Tingliang Zhou, Zhi Jin:
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection. IEEE Trans. Intell. Transp. Syst. 19(11): 3517-3528 (2018) - 2017
- [c16]Zhiwei Li, Jing Liu, Haiying Sun, Tingliang Zhou, Junfeng Sun:
Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System. APSEC 2017: 513-520 - [c15]Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143 - 2016
- [c14]Fei Tang, Jing Liu, Tingliang Zhou, Junfeng Sun, Haiying Sun:
Spatial Alloy: An Alloy Extension for Modeling Spatial Properties. CIT 2016: 42-49 - [c13]Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang:
Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. COMPSAC 2016: 275-280 - [c12]Xiaohong Chen, Li Han, Jing Liu, Haiying Sun:
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems. RE Workshops 2016: 296-303 - 2015
- [c10]Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic. APSEC 2015: 254-260 - [c9]Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun:
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. COMPSAC 2015: 5-14 - [c8]Lulu Yao, Jing Liu, Yan Zhang, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen:
HSD: Hybrid MARTE Sequence Diagram. QRS 2015: 189-194 - 2014
- [c7]Tingliang Zhou, Haiying Sun, Jing Liu, Xiaohong Chen, Dehui Du:
Improving Testing Coverage for Safety-Critical System by Mutated Specification. APSEC (1) 2014: 43-46 - 2013
- [c6]Xiaohong Chen, Haiying Sun, Ronghua Ye, Jing Liu:
Problem Frames Construction from Feature Models. APSEC (1) 2013: 164-171 - 2012
- [c4]Haiying Sun, Jing Liu, Dehui Du:
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. APSEC 2012: 10-19
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-15 23:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
