Oscillatory patterns of respiration: Consequences for the stability and control of cardiac electrophysiology. - David G. Western; Ben M. Hanson; Jaswinder S. Gill; Peter Taggart (EMBC, 2011)

Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (Haifa Verification Conference, 2015)

Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (CoRR, 2015)

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (TAROS, 2016)

An Assurance-based Approach to Verification and Validation of Human-Robot Teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (CoRR, 2016)

Personalised profiling to identify clinically relevant changes in tremor due to multiple sclerosis. - David G. Western; Simon A. Neild; Rosemary J. S. Jones; Angela M. Davies Smith (BMC Medical Informatics Decis. Mak., 2019)

A corroborative approach to verification and validation of human-robot teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (Int. J. Robotics Res., 2020)

Exploring the Potential of a Pronunciation Guide App to Support Non-Native Speaking Students in Higher Education. - David George Western (ICETC, 2023)

Automation Across Interconnected Smart Homes. - Senal Rajamantri; David G. Western; Virginia Ruiz Garate (PETRA, 2024)

Diegetic Graphical User Interfaces and Intuitive Control of Assistive Robots via Eye-gaze. - Emanuel Nunez Sardinha; Marcela Munera; Nancy Zook; David G. Western; Virginia Ruiz Garate (CoRR, 2024)