| 2024 | ICECCS | QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. | Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang |
| 2022 | QRS | A Novel Approach for Bounded Model Checking Through Full Parallelism. | Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang |
| 2021 | COMPSAC | Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems. | Chenchen Yang, Haiying Sun, Jing Liu, Jiexiang Kang, Wei Yin, Hui Wang, Tengfei Li |
| 2021 | TrustCom | 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 |
| 2021 | SEKE | A Novel Approach of CTL Model Checking Based on Probe Machine. | Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang |
| 2020 | APSEC | Model Checking of Spatial Logic. | Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han |
| 2020 | APSEC | 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 |
| 2020 | ISPA | Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. | Hongze Wang, Jing Liu, Jiexiang Kang, Wei Yin, Haiying Sun, Hui Wang |
| 2020 | QRS | 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 |