Jiexiang Kang

According to our database, Jiexiang Kang authored at least 15 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Novel Approach for Bounded Model Checking Through Full Parallelism.

Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

A Fully Parallel Approach of Model Checking Via Probe Machine.

Dong Wang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Int. J. Softw. Eng. Knowl. Eng., 2021

DeepTrace: A Secure Fingerprinting Framework for Intellectual Property Protection of Deep Neural Networks.

Runhao Wang, Jiexiang Kang, Wei Yin, Hui Wang, Haiying Sun, Xiaohong Chen, Zhongjie Gao, Shuning Wang, Jing Liu

Proceedings of the 20th IEEE International Conference on Trust, 2021

A Novel Approach of CTL Model Checking Based on Probe Machine.

Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems.

Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Automatic Generation Method of Airborne Display and Control System Requirement Domain Model Based on NLP.

Mengyuan Yu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Buzhan Cao

Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

A Method of Test Case Generation Based on VRM Model.

Zhipeng Qiu, Lisong Wang, Jiexiang Kang, Zhongjie Gao, Hui Wang, Wei Yin, Xiangyu Shen

Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

2020

Model-based Safety Analysis for an Aviation Software Specification.

Hu Jun, Chen Shuo, Defeng Chen, Jiexiang Kang, Wang Hui

Int. J. Perform. Eng., 2020

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism.

Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System.

Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Model Checking of Spatial Logic.

Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2010

Virtual I/O Based on ScratchPad Memory for Embedded System.

Binbin Wu, Xingsheng Tang, Hui Yuan, Qingsong Shi, Jiexiang Kang, Tianzhou Chen

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

On-Chip Operating System Design for NoC-Based CMP.

Chao Wang, Bin Xie, Jiexiang Kang, Tianzhou Chen, Wei Hu, Zhenwei Zheng

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

Network Main Memory Architecture for NoC-Based Chips.

Xingsheng Tang, Binbin Wu, Tianzhou Chen, Wei Hu, Jiexiang Kang, Zhenwei Zheng

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010