James Sharp

21 papers A* 1A 1B 2C 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards a multi-core certification Job-Aid for AMC 20-193.
Comput. Stand. Interfaces
James Sharp, Mike Standish, Jaspal S. Sagoo, Edwin van de Sluis
2023 J jnl
In-Situ Fish Heart-Rate Estimation and Feeding Event Detection Using an Implantable Biologger.
IEEE Trans. Mob. Comput.
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
2023 J jnl
Towards design and implementation of Industry 4.0 for food manufacturing.
Neural Comput. Appl.
Savas Konur, Yang Lan, Dhavalkumar Thakker, Geev Mokryani, Nereida Polovina, James Sharp
2022 J jnl
Coverage-Guided Testing for Recurrent Neural Networks.
IEEE Trans. Reliab.
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
2021 J jnl
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.
CoRR
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
2020 B conf
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
SAFECOMP
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
CoRR
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev.
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
2020 B conf
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware.
SAFECOMP
Rob Ashmore, James Sharp
2020 — conf
Estimating Heart Rate and Detecting Feeding Events of Fish Using an Implantable Biologger.
IPSN
Yiran Shen, Reza Arablouei, Frank de Hoog, Jacques Malan, James Sharp, Sara Shouri, Timothy D. Clark, Carine Lefevre, Frederieke Kroon, Andrea Severati, Brano Kusy
2020 J jnl
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
CoRR
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
2020 A conf
Practical Verification of Neural Network Enabled State Estimation System for Robotics.
IROS
Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang
2020 A* conf
Reliability Validation of Learning Enabled Vehicle Tracking.
ICRA
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2020 J jnl
Reliability Validation of Learning Enabled Vehicle Tracking.
CoRR
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2019 — conf
DeepConcolic: testing and debugging deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Structural Test Coverage Criteria for Deep Neural Networks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 — conf
Structural test coverage criteria for deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Test Metrics for Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang
2019 J jnl
testRNN: Coverage-guided Testing on Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
2013 — —
Shared variable analyser for hardware descriptions.
James Sharp
2010 C conf
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.
ICFEM
Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne