Browse by People

Bensalem, Saddek, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Ruan, Wenjie, Tang, Qiyi, Wu, Changshun and Zhao, Xingyu ORCID: 0000-0002-3474-349X (2024) Bridging formal methods and machine learning with model checking and global optimisation. Journal of Logical and Algebraic Methods in Programming, 137. p. 100941.

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-9-3 - 2018-9-7, 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 (2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE TRANSACTIONS ON RELIABILITY, 71 (3). pp. 1191-1206.

Mu, Ronghui, Marcolino, Leandro, Ni, Qiang ORCID: 0000-0002-4593-1656 and Ruan, Wenjie ORCID: 0000-0002-8311-8738 (2024) Enhancing robustness in video recognition models: Sparse adversarial attacks and beyond. Neural networks : the official journal of the International Neural Network Society, 171. pp. 127-143.

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. pp. 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.

Chen, Zhen, Wang, Fu, Mu, Ronghui, Xu, Peipei, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Ruan, Wenjie (2024) Nrat: towards adversarial training with inherent label noise. Machine Learning. pp. 1-22.

Xu, Peipei ORCID: 0000-0001-5866-2814, Ruan, Wenjie and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Quantifying safety risks of deep neural networks. Complex and Intelligent Systems, 9 (4). pp. 3801-3818.

Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Kwiatkowska, Marta (2018) Reachability Analysis of Deep Neural Networks with Provable Guarantees. In: 27th International Joint Conference on Artificial Intelligence, 2018-7-13 - 2018-7-19, Stockholm, Sweden.

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. p. 100270.