James Sharp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | IROS | Practical Verification of Neural Network Enabled State Estimation System for Robotics. | Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang |
| 2020 | ICRA | Reliability Validation of Learning Enabled Vehicle Tracking. | Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang |
| 2020 | SAFECOMP | Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. | Rob Ashmore, James Sharp |
| 2020 | SAFECOMP | A Safety Framework for Critical Systems Utilising Deep Neural Networks. | Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2019 | ICSE | DeepConcolic: testing and debugging deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2019 | ICSE | Structural test coverage criteria for deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2010 | ICFEM | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |