David G. Western

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 4

Top Topics

Multiple Sclerosis

Top Venues

BMC Medical Informatics Decis. Mak.

Int. J. Robotics Res.

Publications

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
David G. Western, Simon A. Neild, Rosemary J. S. Jones, Angela M. Davies Smith
Personalised profiling to identify clinically relevant changes in tremor due to multiple sclerosis. BMC Medical Informatics Decis. Mak. 19 (1) (2019)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. TAROS (2016)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Haifa Verification Conference (2015)
David G. Western, Ben M. Hanson, Jaswinder S. Gill, Peter Taggart
Oscillatory patterns of respiration: Consequences for the stability and control of cardiac electrophysiology. EMBC (2011)