Neurosurgical virtual reality simulation metrics to assess psychomotor skills during brain tumor resection. - Hamed Azarnoush; Gmaan Alzhrani; Alexander Winkler-Schwartz; Fahad Alotaibi; Nicholas Gélinas-Phaneuf; Valérie Pazos; Nusrat Choudhury; Jawad Fares; Robert DiRaddo; Rolando F. Del Maestro (Int. J. Comput. Assist. Radiol. Surg., 2015)

Improving Trustworthiness of Self-driving Systems. - Fahad Alotaibi (ABZ, 2020)

Towards an Arabic Sign Language (ArSL) corpus for deaf drivers. - Samah Abbas; Hassanin M. Al-Barhamtoshy; Fahad Alotaibi (PeerJ Comput. Sci., 2021)

High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Michael J. Butler (COMPSAC, 2022)

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Michael J. Butler (COMPSAC, 2023)

A Stateless Bare PC Web Server. - Fahad Alotaibi; Ramesh K. Karne; Alexander L. Wijesinha (WEBIST, 2023)

Designing Critical Systems Using Hierarchical STPA and Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (ABZ, 2023)

A Chat Application on a Bare Internet. - Fahad Alotaibi; Ramesh K. Karne; Alexander L. Wijesinha; Nirmala Soundararajan; Abhishek Rangi (COMPSAC, 2024)

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2024)

An Evaluation of the Security of Bare Machine Computing (BMC) Systems against Cybersecurity Attacks. - Fahad Alotaibi; Ramesh K. Karne; Alexander L. Wijesinha; Nirmala Soundararajan; Abhishek Rangi (J. Cybersecur. Priv., 2024)

Systematic hierarchical analysis of requirements for critical systems. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (Innov. Syst. Softw. Eng., 2025)