Follow
Li Jiaying
Li Jiaying
Research Scientist
Verified email at smu.edu.sg - Homepage
Title
Cited by
Cited by
Year
Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding
L Yang, NM Cheung, J Li, J Fang
Proceedings of the IEEE International Conference on Computer Vision, 6440-6449, 2019
1342019
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
J Li, J Sun, L Li, QL Le, SW Lin
the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
392017
Classification-based parameter synthesis for parametric timed automata
J Li, J Sun, B Gao, É André
Formal Methods and Software Engineering: 19th International Conference on …, 2017
62017
A comprehensive study of real-world bugs in machine learning model optimization
H Guan, Y Xiao, J Li, Y Liu, G Bai
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
52023
Verification assisted gas reduction for smart contracts
B Gao, S Shen, L Shi, J Li, J Sun, L Bu
2021 28th Asia-Pacific Software Engineering Conference (APSEC), 264-274, 2021
52021
sverify: Verifying smart contracts through lazy annotation and learning
B Gao, L Shi, J Li, J Chang, J Sun, Z Yang
Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021
22021
SOCRATES: Towards a Unified Platform for Neural Network Analysis
LH Pham, J Li, J Sun
arXiv preprint arXiv:2007.11206, 2020
12020
Scaling BDD-based Timed Verification with Simulation Reduction
TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong
Formal Methods and Software Engineering: 18th International Conference on …, 2016
12016
Towards an Effective and Interpretable Refinement Approach for DNN Verification
J Li, G Bai, LH Pham, J Sun
2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–9