| 2024 | APSEC | ModelCS: A Two-Stage Framework for Model Search. | Lingjun Zhao, Zhouyang Jia, Jiaying Li, Haoran Liu, Linxiao Bai, Shanshan Li |
| 2023 | HPCC | Design of Smart Home Monitoring System for Elderly Care Based on Raspberry Pi. | Haoran Huang, Jiaying Li, Jiabin Yu, Binggang Xiao, Hongmei Mi, Xinke Shen |
| 2023 | HPCC | Design of an Intelligent Voice-Controlled Home System Based on Raspberry Pi. | Kaiyi Wu, Jiaying Li, Jiabin Yu, Yuhao Hua, Binggang Xiao, Wu Wang |
| 2023 | ICSE | A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization. | Hao Guan, Ying Xiao, Jiaying Li, Yepang Liu, Guangdong Bai |
| 2023 | ISSRE | A Two-Stage Framework for Ambiguous Classification in Software Engineering. | Jiaying Li, Yan Lei, Shanshan Li, Haifang Zhou, Yue Yu, Zhouyang Jia, Yingwei Ma, Teng Wang |
| 2023 | QRS | Towards an Effective and Interpretable Refinement Approach for DNN Verification. | Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun |
| 2021 | APSEC | Verification Assisted Gas Reduction for Smart Contracts. | Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu |
| 2021 | DASC | Design and Implementation of Face Recognition System Based on Raspberry Pie. | Yuhao Hua, Binggang Xiao, Jiaying Li, Kaiyi Wu, Wang Wu, Jiabin Yu |
| 2021 | ISoLA | sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. | Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang |
| 2019 | ICCV | Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding. | Linxiao Yang, Ngai-Man Cheung, Jiaying Li, Jun Fang |
| 2017 | ICFEM | Classification-Based Parameter Synthesis for Parametric Timed Automata. | Jiaying Li, Jun Sun, Bo Gao, tienne Andr |
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2015 | ICECCS | An Invariant Inference Framework by Active Learning and SVMs. | Jiaying Li |