Towards integrating formal verification of autonomous robots with battery prognostics and health management X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ... Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 18 | 2019 |
UAS operators safety and reliability survey: Emerging technologies towards the certification of autonomous UAS M Osborne, J Lantair, Z Shafiq, X Zhao, V Robu, D Flynn, J Perry 2019 4th International Conference on System Reliability and Safety (ICSRS …, 2019 | 16 | 2019 |
Guidance on the safety assurance of autonomous systems in complex environments (SACE) R Hawkins, M Osborne, M Parsons, M Nicholson, J McDermid, I Habli arXiv preprint arXiv:2208.00853, 2022 | 10 | 2022 |
Application of CFD to predict brake disc contamination in wet conditions LS Puglisevich, A Gaylard, M Osborne, J Jilesen, A Gagliardi SAE International Journal of Passenger Cars-Mechanical Systems 9 (2016-01 …, 2016 | 9 | 2016 |
Analysing the safety of decision-making in autonomous systems M Osborne, R Hawkins, J McDermid International Conference on Computer Safety, Reliability, and Security, 3-16, 2022 | 8 | 2022 |
Contact tracing and exposure investigation in response to the first case of monkeypox virus infection in the United States during the 2022 global monkeypox outbreak ES Shenoy, SB Wright, DN Barbeau, LA Foster, AD King, PS Gordon, ... Annals of Internal Medicine 175 (12), 1639-1647, 2022 | 6 | 2022 |
A review of safe online learning for nonlinear control systems M Osborne, HS Shin, A Tsourdos 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 794-803, 2021 | 2 | 2021 |
The Safety of Autonomy: A Systematic Approach JA McDermid, R Calinescu, I Habli, R Hawkins, Y Jia, J Molloy, ... Computer 57 (4), 16-25, 2024 | 1 | 2024 |
Understanding safety engineering practice: Comparing safety engineering practice as desired, as required, and as observed M Osborne, R Hawkins, M Nicholson, R Alexander Safety science 172, 106424, 2024 | 1 | 2024 |
Implementing autonomy in nuclear robotics; an experience-informed review of applying SACE P Mulvana, LJ Marsland, T Boden, G Burroughes, RD Hawkins, ... Safety-Critical Systems Symposium (SSS’24), 2024 | | 2024 |
ASUMI: Assuring the Safety of UAVs for Mine Inspection VJ Hodge, PBW Lewinska, RD Hawkins, M Osborne Engineering Reliable Autonomous Systems, 2024 | | 2024 |
Defining an Effective Context for the Safe Operation of Autonomous Systems M Osborne, R Hawkins European Dependable Computing Conference, 36-48, 2024 | | 2024 |
S105 The incidence of residual excessive daytime sleepiness in obstructive sleep apnoea syndrome treated with continuous positive airways pressure: the Liverpool SleepHealth study B Chakrabarti, RM Angus, L Dowie, M Osborne, P England, E McKnight, ... Thorax 78 (Suppl 4), A76-A76, 2023 | | 2023 |
The feasibility and impact of implementing a computer-guided consultation to target health inequality in Asthma B Chakrabarti, B Kane, C Barrow, J Stonebanks, L Reed, MG Pearson, ... NPJ Primary Care Respiratory Medicine 33 (1), 6, 2023 | | 2023 |
Skills for Assuring the Safe Adoption of Emerging Technology M Osborne, M Nicholson | | 2023 |
P55 The implementation of a Computer Guided Consultation (Clinical decision support system) for the assessment of suspected Obstructive Sleep Apnoea in a large sleep service: a … R Keane, T Qureshi, M Mir, L Reed, P England, E Mcknight, M Osborne, ... Thorax 77 (Suppl 1), A111-A112, 2022 | | 2022 |
P54 The impact of a clinical decision support system in the assessment of CPAP compliance in obstructive sleep apnoea and in the identification of residual excessive daytime … B Chakrabarti, R Angus, P England, M Osborne, T Qureshi, M Mir, L Reed, ... Thorax 77 (Suppl 1), A111-A111, 2022 | | 2022 |
P57 Implementing a novel clinical pathway for the assessment of obstructive sleep apnoea: integration of clinical decision software with a practice support service team B Chakrabarti, R Angus, M Grass, L Reed, P England, A Withington, ... Thorax 77 (Suppl 1), A112-A113, 2022 | | 2022 |
An “As Desired” Model of the Software Safety Assurance Lifecycle M Osborne, RD Hawkins, M Nicholson Safety Critical Systems Symposium (SSS'21), 2021 | | 2021 |
Empirical Evaluation of the Impediments to an “As Desired” Model of Software Safety Assurance M Osborne, M Nicholson, R Hawkins | | 2021 |