Fahad Alotaibi

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Safety Analysis

Intelligent Vehicles

Tumor Segmentation

Web Server Logs

Top Venues

Int. J. Comput. Assist. Radiol. Surg.

Publications

Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ (2024)
Fahad Alotaibi, Thai Son Hoang, Michael J. Butler
A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. COMPSAC (2023)
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ (2023)
Fahad Alotaibi, Ramesh K. Karne, Alexander L. Wijesinha
A Stateless Bare PC Web Server. WEBIST (2023)
Fahad Alotaibi, Thai Son Hoang, Michael J. Butler
High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. COMPSAC (2022)
Samah Abbas, Hassanin M. Al-Barhamtoshy, Fahad Alotaibi
for deaf drivers. PeerJ Comput. Sci. 7 (2021)
Fahad Alotaibi
Improving Trustworthiness of Self-driving Systems. ABZ (2020)
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
Neurosurgical virtual reality simulation metrics to assess psychomotor skills during brain tumor resection. Int. J. Comput. Assist. Radiol. Surg. 10 (5) (2015)