Network Main Memory Architecture for NoC-Based Chips. - Xingsheng Tang; Binbin Wu; Tianzhou Chen; Wei Hu 001; Jiexiang Kang; Zhenwei Zheng (CIT, 2010)

On-Chip Operating System Design for NoC-Based CMP. - Chao Wang 058; Bin Xie 002; Jiexiang Kang; Tianzhou Chen; Wei Hu 001; Zhenwei Zheng (CIT, 2010)

Virtual I/O Based on ScratchPad Memory for Embedded System. - Binbin Wu; Xingsheng Tang; Hui Yuan; Qingsong Shi; Jiexiang Kang; Tianzhou Chen (CIT, 2010)

Model Checking of Spatial Logic. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Xiaohong Chen 007; Li Han 001 (APSEC, 2020)

Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. - Qian Liu; Robert de Simone; Xiaohong Chen 007; Jiexiang Kang; Jing Liu 012; Wei Yin; Hui Wang (APSEC, 2020)

Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. - Hongze Wang; Jing Liu 012; Jiexiang Kang; Wei Yin; Haiying Sun; Hui Wang (ISPA/BDCloud/SocialCom/SustainCom, 2020)

STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. - Tengfei Li 002; Jing Liu 012; Jiexiang Kang; Haiying Sun; Wei Yin; Xiaohong Chen 007; Hui Wang (QRS, 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)

A Method of Test Case Generation Based on VRM Model. - Zhipeng Qiu; Lisong Wang; Jiexiang Kang; Zhongjie Gao; Hui Wang; Wei Yin; Xiangyu Shen (ICCCS, 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 (ICCCS, 2021)

Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. - Chenchen Yang; Haiying Sun; Jing Liu 012; Jiexiang Kang; Wei Yin; Hui Wang; Tengfei Li 002 (COMPSAC, 2021)

A Novel Approach of CTL Model Checking Based on Probe Machine. - Dong Wang; Jing Liu 012; Jin Xu 002; Haiying Sun; Jiexiang Kang (SEKE, 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 007; Zhongjie Gao; Shuning Wang; Jing Liu 012 (TrustCom, 2021)

A Fully Parallel Approach of Model Checking Via Probe Machine. - Dong Wang; Jing Liu 012; Haiying Sun; Jin Xu 002; Jiexiang Kang (Int. J. Softw. Eng. Knowl. Eng., 2021)

A Novel Approach for Bounded Model Checking Through Full Parallelism. - Debao Sang; Jing Liu 012; Haiying Sun; Jin Xu 002; Jiexiang Kang (QRS, 2022)

QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. - Yiwei Zhu; Jing Liu 012; Haiying Sun; Wei Yin; Jiexiang Kang (ICECCS, 2024)