Article

Santa, K, Dixon, C, Ganga, RN, Trainor, G, Smith, G, Furfie, V and Brown, H (2024) Facilitating Access to Mental Health Services: A Stakeholder-Driven Improvement of the Children and Young People (CYP) as One Referral Platform. International Journal of Environmental Research and Public Health, 21 (6). ISSN 1661-7827

Smith, GM, Dixon, C, Neiva Ganga, R and Greenop, DT (2022) How Do We Know Co-Created Solutions Work Effectively within the Real World of People Living with Dementia? Learning Methodological Lessons from a Co-Creation-to-Evaluation Case Study. International Journal of Environmental Research and Public Health, 19 (21). ISSN 1660-4601

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

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

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

Other

Santa, K, Dixon, C, Neiva Ganga, R, Trainor, G, Smith, G, Furfie, V and Brown, H (2023) Facilitating the access of the wider community into child and adolescent mental health services in Liverpool and Sefton (UK): The co-customisation of the CYP as One platform with young people; parents and health service providers. Research Square Platform LLC.