Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 6.


Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Kroening, Daniel
(2018) Concolic Testing for Deep Neural Networks. In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018-09-03 - 2018-09-07, Montpellier, France.


Huang, Wei, Sun, Youcheng, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Sharp, James, Ruan, Wenjie, Meng, Jie and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021) Coverage Guided Testing for Recurrent Neural Networks.


Wu, Min, Wicker, Matthew, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2020) A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. Theoretical Computer Science, 807. 298 - 329.


Zhang, Yanghao, Ruan, Wenjie, Wang, Fu and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2020) Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. In: 2020 IEEE International Conference on Data Mining (ICDM), 2020-11-17 - 2020-11-20.


Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta
(2018) Reachability Analysis of Deep Neural Networks with Provable Guarantees. .


Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Ruan, Wenjie, Sharp, James, Sun, Youcheng, Thamo, Emese, Wu, Min and Yi, Xinping ORCID: 0000-0001-5163-2364
(2020) A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability? COMPUTER SCIENCE REVIEW, 37.

This list was generated on Wed Sep 15 21:18:42 2021 BST.