Jiexiang Kang

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 9

Top Topics

Formal Specification

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang
A Novel Approach for Bounded Model Checking Through Full Parallelism. QRS (2022)
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)
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)
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)
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)
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) (2021)
Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang
A Novel Approach of CTL Model Checking Based on Probe Machine. SEKE (2021)
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) (2020)
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)
Xingsheng Tang, Binbin Wu, Tianzhou Chen, Wei Hu, Jiexiang Kang, Zhenwei Zheng
Network Main Memory Architecture for NoC-Based Chips. CIT (2010)
Chao Wang, Bin Xie, Jiexiang Kang, Tianzhou Chen, Wei Hu, Zhenwei Zheng
On-Chip Operating System Design for NoC-Based CMP. CIT (2010)
Binbin Wu, Xingsheng Tang, Hui Yuan, Qingsong Shi, Jiexiang Kang, Tianzhou Chen
Virtual I/O Based on ScratchPad Memory for Embedded System. CIT (2010)