PRODeep: a platform for robustness verification of deep neural networks-Reference-Cited by-同舟云学术

PRODeep: a platform for robustness verification of deep neural networks

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Li Renjue¹,Li Jianlin¹,Huang Cheng-Chao²,Yang Pengfei¹,Huang Xiaowei³,Zhang Lijun⁴,Xue Bai⁴,Hermanns Holger⁵

Affiliation:

1. Institute of Software at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China

2. Institute of Intelligent Software, China

3. University of Liverpool, UK

4. Institute of Software at Chinese Academy of Sciences, China

5. Saarland University, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368089.3417918

Reference30 articles.

1. Abadi M. Agarwal A. Barham P. Brevdo E. Chen Z. Citro C. Corrado G. S. Davis A. Dean J. Devin M. Ghemawat S. Goodfellow I. Harp A. Irving G. Isard M. Jia Y. Jozefowicz R. Kaiser L. Kudlur M. Levenberg J. Mané D. Monga R. Moore S. Murray D. Olah C. Schuster M. Shlens J. Steiner B. Sutskever I. Talwar K. Tucker P. Vanhoucke V. Vasudevan V. Viégas F. Vinyals O. Warden P. Wattenberg M. Wicke M. Yu Y. and Zheng X. TensorFlow: Large-scale machine learning on heterogeneous systems 2015. Software available from tensorflow. org. Abadi M. Agarwal A. Barham P. Brevdo E. Chen Z. Citro C. Corrado G. S. Davis A. Dean J. Devin M. Ghemawat S. Goodfellow I. Harp A. Irving G. Isard M. Jia Y. Jozefowicz R. Kaiser L. Kudlur M. Levenberg J. Mané D. Monga R. Moore S. Murray D. Olah C. Schuster M. Shlens J. Steiner B. Sutskever I. Talwar K. Tucker P. Vanhoucke V. Vasudevan V. Viégas F. Vinyals O. Warden P. Wattenberg M. Wicke M. Yu Y. and Zheng X. TensorFlow: Large-scale machine learning on heterogeneous systems 2015. Software available from tensorflow. org.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A obustness fication Tool for uantum Machine Learning Models;Lecture Notes in Computer Science;2024-09-11

2. What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems;Bridging the Gap Between AI and Reality;2023-12-14

3. TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models;2023 IEEE/CVF International Conference on Computer Vision (ICCV);2023-10-01

4. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach;ACM Transactions on Software Engineering and Methodology;2023-04-27

5. A Declarative Metamorphic Testing Framework for Autonomous Driving;IEEE Transactions on Software Engineering;2023-04-01