Jianlin Li
Jianlin Li
State Key Lab. of Computer Science, Institute of Software, CAS
Verified email at ios.ac.cn
Title
Cited by
Cited by
Year
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
342019
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
62020
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
32021
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
12021
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
2018
The system can't perform the operation now. Try again later.
Articles 1–5