Article

Williams, NH, Collins, B, Comerford, TJ, Dodd, S, Fisher, M, Hardwick, B, Hennessy, S, Jolly, K, Jones, ID, Lane, DA, Lip, GYH, Morgan, E, Ralph, P, Thijssen, D and Singh, SJ (2024) Effectiveness and cost-effectiveness of a web-based cardiac rehabilitation programme for people with chronic stable angina: protocol for the ACTIVATE (Angina Controlled Trial Investigating the Value of the 'Activate your heart' Therapeutic E-intervention) randomised controlled trial. BMJ Open, 14 (3). pp. 1-11. ISSN 2044-6055

Koay, KL, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M and Dautenhahn, K (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422. ISSN 2080-9778

Page, V, Dadswell, C, Webster, M, Jump, M and Fisher, M (2021) Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics, 10 (3). ISSN 2218-6581

Cardoso, R, Kourtis, G, Dennis, LA, Dixon, C, Farrell, M, Fisher, M and Webster, M (2021) A Review of Verification and Validation for Space Autonomous Systems. Current Robotics Reports. ISSN 2662-4087

Fisher, M, Cardoso, RC, Collins, EC, Dadswell, C, Dennis, LA, Dixon, C, Farrell, M, Ferrando, A, Huang, X, Jump, M, Kourtis, G, Lisitsa, A, Luckcuck, M, Luo, S, Page, V, Papacchini, F and Webster, M (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). ISSN 2218-6581

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2020) Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Journal of Computational Science, 45. ISSN 1877-7503

Webster, M, Western, D, Araiza-Illan, D, Dixon, C, Eder, K, Fisher, M and Pipe, AG (2019) A Corroborative Approach to Verification and Validation of Human--Robot Teams. The International Journal of Robotics Research, 39 (1). pp. 73-99. ISSN 0278-3649

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76. ISSN 1863-2122

Griffin, R, Psarelli, EE, Cox, TF, Khedr, M, Milan, AM, Davison, AS, Hughes, AT, Usher, JL, Taylor, S, Loftus, N, Daroszewska, A, West, E, Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Sireau, N, Dillon, JP et al, Devine, JM, Hughes, G, Harrold, J, Barton, GJ, Jarvis, JC, Gallagher, JA and Ranganath, LR (2018) Data on items of AKUSSI in Alkaptonuria collected over three years from the United Kingdom National Alkaptonuria Centre and the impact of nitisinone. Data in Brief, 20. pp. 1620-1628. ISSN 2352-3409

Ranganath, LR, Khedr, M, Milan, AM, Davison, AS, Hughes, AT, Usher, JL, Taylor, S, Loftus, N, Daroszewska, A, West, E, Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Griffin, R, Psarelli, EE, Cox, TF, Sireau, N et al, Dillon, JP, Devine, JM, Hughes, G, Harrold, J, Barton, GJ, Jarvis, JC and Gallagher, JA (2018) Nitisinone arrests ochronosis and decreases rate of progression of Alkaptonuria: Evaluation of the effect of nitisinone in the United Kingdom National Alkaptonuria Centre. Molecular Genetics and Metabolism, 125 (1/2). pp. 127-134. ISSN 1096-7192

Webster, M, Dixon, C, Fisher, M, Salem, M, Saunders, J, Koay, KL, Dautenhahn, K and Saez-Pons, J (2015) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196. ISSN 2168-2291