James Sharp

According to our database, James Sharp authored at least 17 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards design and implementation of Industry 4.0 for food manufacturing.

Savas Konur, Yang Lan, Dhavalkumar Thakker, Geev Mokryani, Nereida Polovina, James Sharp

Neural Comput. Appl., November, 2023

In-Situ Fish Heart-Rate Estimation and Feeding Event Detection Using an Implantable Biologger.

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

IEEE Trans. Mob. Comput., 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang

IEEE Trans. Reliab., 2022

2021

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

Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang

CoRR, 2021

2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

Comput. Sci. Rev., 2020

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

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

CoRR, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

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

Proceedings of the Computer Safety, Reliability, and Security, 2020

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware.

Rob Ashmore, James Sharp

Proceedings of the Computer Safety, Reliability, and Security, 2020

Practical Verification of Neural Network Enabled State Estimation System for Robotics.

Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Estimating Heart Rate and Detecting Feeding Events of Fish Using an Implantable Biologger.

Yiran Shen, Reza Arablouei, Frank de Hoog, Jacques Malan, James Sharp, Sara Shouri, Timothy D. Clark, Carine Lefevre, Frederieke Kroon, Andrea Severati, Brano Kusy

Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2020

Reliability Validation of Learning Enabled Vehicle Tracking.

Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Structural Test Coverage Criteria for Deep Neural Networks.

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

ACM Trans. Embed. Comput. Syst., 2019

Test Metrics for Recurrent Neural Networks.

Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang

CoRR, 2019

testRNN: Coverage-guided Testing on Recurrent Neural Networks.

Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp

CoRR, 2019

DeepConcolic: testing and debugging deep neural networks.

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2013

Shared variable analyser for hardware descriptions.

James Sharp

PhD thesis, 2013

2010

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.

Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne

Proceedings of the Formal Methods and Software Engineering, 2010