An Invariant Inference Framework by Active Learning and SVMs. - Jiaying Li 001 (ICECCS, 2015)

Scaling BDD-based Timed Verification with Simulation Reduction. - Truong Khanh Nguyen; Tian Huat Tan; Jun Sun 001; Jiaying Li 001; Yang Liu 003; Manman Chen; Jin Song Dong (ICFEM, 2016)

Classification-Based Parameter Synthesis for Parametric Timed Automata. - Jiaying Li 001; Jun Sun 001; Bo Gao; Étienne André (ICFEM, 2017)

Automatic loop-invariant generation and refinement through selective sampling. - Jiaying Li 001; Jun Sun 001; Li Li 044; Quang Loc Le; Shang-Wei Lin 001 (ASE, 2017)

Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding. - Linxiao Yang; Ngai-Man Cheung; Jiaying Li 001; Jun Fang 001 (ICCV, 2019)

SOCRATES: Towards a Unified Platform for Neural Network Verification. - Long H. Pham; Jiaying Li 001; Jun Sun 001 (CoRR, 2020)

Verification Assisted Gas Reduction for Smart Contracts. - Bo Gao; Siyuan Shen; Ling Shi 002; Jiaying Li 001; Jun Sun 001; Lei Bu (APSEC, 2021)

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. - Bo Gao; Ling Shi 002; Jiaying Li 001; Jialiang Chang; Jun Sun 001; Zijiang Yang 006 (ISoLA, 2021)

A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization. - Hao Guan; Ying Xiao; Jiaying Li 001; Yepang Liu 001; Guangdong Bai (ICSE, 2023)

Towards an Effective and Interpretable Refinement Approach for DNN Verification. - Jiaying Li 001; Guangdong Bai; Long H. Pham; Jun Sun 001 (QRS, 2023)

ReLU Hull Approximation. - Zhongkui Ma; Jiaying Li 001; Guangdong Bai (Proc. ACM Program. Lang., 2024)

Support Triangle Machine. - Jiaying Li 001; Chunxue Hao (Proc. ACM Program. Lang., 2025)