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 James Sharp

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

* 38 pages, 10 figures 

  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


  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

* 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


  Access Paper or Ask Questions

Test Metrics for Recurrent Neural Networks


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


  Access Paper or Ask Questions

testRNN: Coverage-guided Testing on Recurrent Neural Networks


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

* Summited to ASE 2019 Demonstrations Track 

  Access Paper or Ask Questions