default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJiexiang Kang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c14]Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang:
QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. ICECCS 2024: 201-222- 2022
- [c13]Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang:
A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS 2022: 376-387 - 2021
- [j2]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) - [c12]Mengyuan Yu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Buzhan Cao:
Automatic Generation Method of Airborne Display and Control System Requirement Domain Model Based on NLP. ICCCS 2021: 1042-1046 - [c11]Zhipeng Qiu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Xiangyu Shen:
A Method of Test Case Generation Based on VRM Model. ICCCS 2021: 1099-1107 - [c10]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 - [c9]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 - [c8]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
- [j1]Hu Jun, Chen Shuo, Defeng Chen, Jiexiang Kang, Wang Hui:
Model-based Safety Analysis for an Aviation Software Specification. Int. J. Perform. Eng. 16(2): 238-254 (2020) - [c7]Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han:
Model Checking of Spatial Logic. APSEC 2020: 169-177 - [c6]Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang:
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. APSEC 2020: 415-424 - [c5]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 - [c4]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
2010 – 2019
- 2010
- [c3]Chao Wang, Bin Xie, Jiexiang Kang, Tianzhou Chen, Wei Hu, Zhenwei Zheng:
On-Chip Operating System Design for NoC-Based CMP. CIT 2010: 163-170 - [c2]Binbin Wu, Xingsheng Tang, Hui Yuan, Qingsong Shi, Jiexiang Kang, Tianzhou Chen:
Virtual I/O Based on ScratchPad Memory for Embedded System. CIT 2010: 2250-2254 - [c1]Xingsheng Tang, Binbin Wu, Tianzhou Chen, Wei Hu, Jiexiang Kang, Zhenwei Zheng:
Network Main Memory Architecture for NoC-Based Chips. CIT 2010: 2516-2523
Coauthor Index
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-10-10 22:17 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:
