Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

PRODeep: a platform for robustness verification of deep neural networks.

R. Li, J. Li, C. Huang, P. Yang, X. Huang, L. Zhang, B. Xue, and H. Hermanns. ESEC/SIGSOFT FSE, page 1630-1634. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jianlin Ma

Li Li

Other publications of authors with the same name

Catadioptric Optical System Design of 15-Magnitude Star Sensor with Large Entrance Pupil Diameter.Y. Bai, J. Li, R. Zha, Y. Wang, and G. Lei. Sensors, 20 (19): 5501 (2020)Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.J. Li, J. Liu, P. Yang, L. Chen, X. Huang, and L. Zhang. SAS, volume 11822 of Lecture Notes in Computer Science, page 296-319. Springer, (2019)An approach to meta feature selection.J. Li. CCECE, page 1-4. IEEE, (2013)Research on Bi-directional converter for lithium battery energy storage system.J. Hu, J. Li, and D. Hui. EMEIT, page 1897-1900. IEEE, (2011)Foreground-Background Separation via Generalized Nuclear Norm and Structured Sparse Norm Based Low-Rank and Sparse Decomposition.Y. Yang, Z. Yang, J. Li, and L. Fan. IEEE Access, (2020)Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference.J. Li, L. Ven, P. Shi, and Y. Zhang. Proc. ACM Program. Lang., 7 (POPL): 1454-1482 (January 2023)DoA Estimation based on Deep Learning in Low SNR.Z. Zhao, and J. Li. BMSB, page 1-4. IEEE, (2023)Improving Neural Network Verification through Spurious Region Guided Refinement.P. Yang, R. Li, J. Li, C. Huang, J. Wang, J. Sun, B. Xue, and L. Zhang. TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 389-408. Springer, (2021)Muliplier-free IIR filter realizations based on mixed radix number systems.J. Li, and S. Tantaratana. ISCAS, page 487-490. IEEE, (1993)Automated Safety Verification of Programs Invoking Neural Networks.M. Christakis, H. Eniser, H. Hermanns, J. Hoffmann, Y. Kothari, J. Li, J. Navas, and V. Wüstholz. CAV (1), volume 12759 of Lecture Notes in Computer Science, page 201-224. Springer, (2021)

BibSonomy

Disambiguation of "Li, Jianlin"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

PRODeep: a platform for robustness verification of deep neural networks.

Please choose a person to relate this publication to

Jianlin Ma

Li Li

Li Li

Li Li

Li Li

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Li, Jianlin"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML PRODeep: a platform for robustness verification of deep neural networks.

Please choose a person to relate this publication to

Jianlin Ma

Li Li

Li Li

Li Li

Li Li

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

PRODeep: a platform for robustness verification of deep neural networks.