Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox
Picture for Xiaowei Huang

Xiaowei Huang

University of Liverpool

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles


Jun 02, 2021
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang

Figure 1 for Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
Figure 2 for Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
Figure 3 for Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
Figure 4 for Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
* Accepted by the AISafety'21 Workshop at IJCAI-21. To appear in a volume of CEUR Workshop Proceedings 
  Access Paper or Ask Questions

Learning Robust Variational Information Bottleneck with Reference


Apr 29, 2021
Weizhu Qian, Bowei Chen, Xiaowei Huang

Figure 1 for Learning Robust Variational Information Bottleneck with Reference
Figure 2 for Learning Robust Variational Information Bottleneck with Reference
Figure 3 for Learning Robust Variational Information Bottleneck with Reference
Figure 4 for Learning Robust Variational Information Bottleneck with Reference
* 8 pages, 5 figures 
  Access Paper or Ask Questions

Detecting Operational Adversarial Examples for Reliable Deep Learning


Apr 16, 2021
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang

Figure 1 for Detecting Operational Adversarial Examples for Reliable Deep Learning
* Preprint accepted by the fast abstract track of DSN'21 
  Access Paper or Ask Questions

A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks


Mar 06, 2021
Dengyu Wu, Xinping Yi, Xiaowei Huang

Figure 1 for A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks
Figure 2 for A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks
Figure 3 for A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks
Figure 4 for A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks

  Access Paper or Ask Questions

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features


Mar 05, 2021
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang

Figure 1 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 2 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 3 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 4 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
* 38 pages, 10 figures 
  Access Paper or Ask Questions

BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations


Dec 05, 2020
Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn

Figure 1 for BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Figure 2 for BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Figure 3 for BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations

  Access Paper or Ask Questions

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations


Oct 29, 2020
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang

Figure 1 for Generalizing Universal Adversarial Attacks Beyond Additive Perturbations
Figure 2 for Generalizing Universal Adversarial Attacks Beyond Additive Perturbations
Figure 3 for Generalizing Universal Adversarial Attacks Beyond Additive Perturbations
Figure 4 for Generalizing Universal Adversarial Attacks Beyond Additive Perturbations
* A short version of this work will appear in the ICDM 2020 conference proceedings 
  Access Paper or Ask Questions

How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks


Oct 17, 2020
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang

Figure 1 for How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
Figure 2 for How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
Figure 3 for How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
Figure 4 for How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
* Accpeted by NeurIPS 2020 conference 
  Access Paper or Ask Questions

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics


Oct 16, 2020
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang

Figure 1 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 2 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 3 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 4 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics

  Access Paper or Ask Questions

Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers


Oct 16, 2020
Wei Huang, Xingyu Zhao, Xiaowei Huang

Figure 1 for Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers
Figure 2 for Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers
Figure 3 for Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers
Figure 4 for Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers

  Access Paper or Ask Questions

Towards the Quantification of Safety Risks in Deep Neural Networks


Sep 13, 2020
Peipei Xu, Wenjie Ruan, Xiaowei Huang

Figure 1 for Towards the Quantification of Safety Risks in Deep Neural Networks
Figure 2 for Towards the Quantification of Safety Risks in Deep Neural Networks
Figure 3 for Towards the Quantification of Safety Risks in Deep Neural Networks
Figure 4 for Towards the Quantification of Safety Risks in Deep Neural Networks
* 19 pages, 10 figures 
  Access Paper or Ask Questions

CasGCN: Predicting future cascade growth based on information diffusion graph


Sep 10, 2020
Zhixuan Xu, Minghui Qian, Xiaowei Huang, Jie Meng

Figure 1 for CasGCN: Predicting future cascade growth based on information diffusion graph
Figure 2 for CasGCN: Predicting future cascade growth based on information diffusion graph
Figure 3 for CasGCN: Predicting future cascade growth based on information diffusion graph
Figure 4 for CasGCN: Predicting future cascade growth based on information diffusion graph

  Access Paper or Ask Questions

Adaptable and Verifiable BDI Reasoning


Jul 23, 2020
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis

Figure 1 for Adaptable and Verifiable BDI Reasoning
* EPTCS 319, 2020, pp. 117-125 
 * In Proceedings AREA 2020, arXiv:2007.11260 
  Access Paper or Ask Questions

Generating Adversarial Inputs Using A Black-box Differential Technique


Jul 10, 2020
João Batista Pereira Matos Juúnior, Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang

Figure 1 for Generating Adversarial Inputs Using A Black-box Differential Technique
Figure 2 for Generating Adversarial Inputs Using A Black-box Differential Technique
Figure 3 for Generating Adversarial Inputs Using A Black-box Differential Technique
Figure 4 for Generating Adversarial Inputs Using A Black-box Differential Technique

  Access Paper or Ask Questions

A Safety Framework for Critical Systems Utilising Deep Neural Networks


Mar 07, 2020
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang

Figure 1 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 2 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 3 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 4 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
* Submitted and under review 
  Access Paper or Ask Questions

Reliability Validation of Learning Enabled Vehicle Tracking


Feb 06, 2020
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang

Figure 1 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 2 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 3 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 4 for Reliability Validation of Learning Enabled Vehicle Tracking

  Access Paper or Ask Questions

Test Metrics for Recurrent Neural Networks


Nov 05, 2019
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang

Figure 1 for Test Metrics for Recurrent Neural Networks
Figure 2 for Test Metrics for Recurrent Neural Networks
Figure 3 for Test Metrics for Recurrent Neural Networks
Figure 4 for Test Metrics for Recurrent Neural Networks

  Access Paper or Ask Questions

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management


Aug 22, 2019
Xingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando

Figure 1 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 2 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 3 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 4 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
* Proceedings of 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway (September 2019) 
  Access Paper or Ask Questions

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization


Aug 06, 2019
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening

Figure 1 for Explaining Deep Neural Networks Using Spectrum-Based Fault Localization
Figure 2 for Explaining Deep Neural Networks Using Spectrum-Based Fault Localization
Figure 3 for Explaining Deep Neural Networks Using Spectrum-Based Fault Localization
Figure 4 for Explaining Deep Neural Networks Using Spectrum-Based Fault Localization

  Access Paper or Ask Questions

testRNN: Coverage-guided Testing on Recurrent Neural Networks


Jun 20, 2019
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp

Figure 1 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 2 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 3 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 4 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
* Summited to ASE 2019 Demonstrations Track 
  Access Paper or Ask Questions

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification


Feb 26, 2019
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang

Figure 1 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Figure 2 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Figure 3 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

  Access Paper or Ask Questions

Safety and Trustworthiness of Deep Neural Networks: A Survey


Jan 18, 2019
Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska, Wenjie Ruan, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

Figure 1 for Safety and Trustworthiness of Deep Neural Networks: A Survey
Figure 2 for Safety and Trustworthiness of Deep Neural Networks: A Survey
Figure 3 for Safety and Trustworthiness of Deep Neural Networks: A Survey
Figure 4 for Safety and Trustworthiness of Deep Neural Networks: A Survey
* The paper requires a significant upgrade, and since it could be completely different with its current version, we believe it is more suitable to withdraw 
  Access Paper or Ask Questions

Concolic Testing for Deep Neural Networks


Aug 04, 2018
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening

Figure 1 for Concolic Testing for Deep Neural Networks
Figure 2 for Concolic Testing for Deep Neural Networks
Figure 3 for Concolic Testing for Deep Neural Networks
Figure 4 for Concolic Testing for Deep Neural Networks

  Access Paper or Ask Questions

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees


Jul 10, 2018
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

Figure 1 for A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Figure 2 for A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Figure 3 for A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Figure 4 for A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

  Access Paper or Ask Questions

Reachability Analysis of Deep Neural Networks with Provable Guarantees


May 06, 2018
Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

Figure 1 for Reachability Analysis of Deep Neural Networks with Provable Guarantees
Figure 2 for Reachability Analysis of Deep Neural Networks with Provable Guarantees
Figure 3 for Reachability Analysis of Deep Neural Networks with Provable Guarantees
Figure 4 for Reachability Analysis of Deep Neural Networks with Provable Guarantees
* This is the long version of the conference paper accepted in IJCAI-2018. Github: https://github.com/TrustAI/DeepGO 
  Access Paper or Ask Questions

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm


Apr 16, 2018
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

Figure 1 for Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm
Figure 2 for Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm
Figure 3 for Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm
Figure 4 for Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm
* 39 Pages, Github: https://github.com/L0-TRE/L0-TRE 
  Access Paper or Ask Questions