Jiaying Li
Jiaying Li
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
602019
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
212017
Classification-Based Parameter Synthesis for Parametric Timed Automata
J Li, J Sun, B Gao, É André
International Conference on Formal Engineering Methods, 243-261, 2017
52017
Scaling BDD-based Timed Verification with Simulation Reduction
TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong
International Conference on Formal Engineering Methods, 363-382, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–4