James Sharp

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 18

Top Venues

CoRR

ICSE (Companion Volume)

SAFECOMP

IEEE Trans. Reliab.

University of Surrey, Guildford, UK (PHD)

Education History

University of Surrey, Guildford, UK

PHD

Publications

Yiran Shen, Reza Arablouei, Frank de Hoog, Hao Xing, Jacques Malan, James Sharp, Sara Shouri, Timothy D. Clark, Carine Lefevre, Frederieke Kroon, Andrea Severati, Brano Kusy
In-Situ Fish Heart-Rate Estimation and Feeding Event Detection Using an Implantable Biologger. IEEE Trans. Mob. Comput. 22 (2) (2023)
Savas Konur, Yang Lan, Dhavalkumar Thakker, Geev Mokryani, Nereida Polovina, James Sharp
Towards design and implementation of Industry 4.0 for food manufacturing. Neural Comput. Appl. 35 (33) (2023)
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71 (3) (2022)
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR (2021)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR (2020)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP (2020)
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37 (2020)
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
Reliability Validation of Learning Enabled Vehicle Tracking. ICRA (2020)
Rob Ashmore, James Sharp
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware. SAFECOMP (2020)
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
Reliability Validation of Learning Enabled Vehicle Tracking. CoRR (2020)
Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang
Practical Verification of Neural Network Enabled State Estimation System for Robotics. IROS (2020)
Yiran Shen, Reza Arablouei, Frank de Hoog, Jacques Malan, James Sharp, Sara Shouri, Timothy D. Clark, Carine Lefevre, Frederieke Kroon, Andrea Severati, Brano Kusy
Estimating Heart Rate and Detecting Feeding Events of Fish Using an Implantable Biologger. IPSN (2020)
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR (2020)
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
testRNN: Coverage-guided Testing on Recurrent Neural Networks. CoRR (2019)
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang
Test Metrics for Recurrent Neural Networks. CoRR (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) (2019)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM (2010)

James Sharp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Sharp