Jianlin Li
Jianlin Li
State Key Lab. of Computer Science, Institute of Software, CAS
Verified email at ios.ac.cn
Cited by
Cited by
Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification
J Li, J Liu, P Yang, L Chen, X Huang, L Zhang
International Static Analysis Symposium, 296-319, 2019
Prodeep: a platform for robustness verification of deep neural networks
R Li, J Li, CC Huang, P Yang, X Huang, L Zhang, B Xue, H Hermanns
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Improving neural network verification through spurious region guided refinement
P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang
Tools and Algorithms for the Construction and Analysis of Systems 12651, 389, 2021
Enhancing robustness verification for deep neural networks via symbolic propagation
P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang
Formal Aspects of Computing, 1-29, 2021
Verifying probabilistic timed automata against omega-regular dense-time properties
H Fu, Y Li, J Li
International Conference on Quantitative Evaluation of Systems, 122-139, 2018
The system can't perform the operation now. Try again later.
Articles 1–5