Jiexiang Kang

16 papers B 3C 8Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
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
2022 C conf
A Novel Approach for Bounded Model Checking Through Full Parallelism.
QRS
Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
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 — conf
A Method of Test Case Generation Based on VRM Model.
ICCCS
Zhipeng Qiu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Xiangyu Shen
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 — conf
Automatic Generation Method of Airborne Display and Control System Requirement Domain Model Based on NLP.
ICCCS
Mengyuan Yu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Buzhan Cao
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 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 — 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 J jnl
Model-based Safety Analysis for an Aviation Software Specification.
Int. J. Perform. Eng.
Jun Hu, Shuo Chen, Defeng Chen, Jiexiang Kang, Hui Wang
2020 C conf
Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.
APSEC
Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang
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
2010 C conf
Network Main Memory Architecture for NoC-Based Chips.
CIT
Xingsheng Tang, Binbin Wu, Tianzhou Chen, Wei Hu, Jiexiang Kang, Zhenwei Zheng
2010 C conf
On-Chip Operating System Design for NoC-Based CMP.
CIT
Chao Wang, Bin Xie, Jiexiang Kang, Tianzhou Chen, Wei Hu, Zhenwei Zheng
2010 C conf
Virtual I/O Based on ScratchPad Memory for Embedded System.
CIT
Binbin Wu, Xingsheng Tang, Hui Yuan, Qingsong Shi, Jiexiang Kang, Tianzhou Chen