Fahad Alotaibi

According to our database, Fahad Alotaibi authored at least 11 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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., June, 2025

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., September, 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

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

A Chat Application on a Bare Internet.

Fahad Alotaibi, Ramesh K. Karne, Alexander L. Wijesinha, Nirmala Soundararajan, Abhishek Rangi

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

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

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

A Stateless Bare PC Web Server.

Fahad Alotaibi, Ramesh K. Karne, Alexander L. Wijesinha

Proceedings of the 19th International Conference on Web Information Systems and Technologies, 2023

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems.

Fahad Alotaibi, Thai Son Hoang, Michael J. Butler

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.

Fahad Alotaibi, Thai Son Hoang, Michael J. Butler

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Towards an Arabic Sign Language (ArSL) <i>corpus</i> for deaf drivers.

Samah Abbas, Hassanin M. Al-Barhamtoshy, Fahad Alotaibi

PeerJ Comput. Sci., 2021

2020

Improving Trustworthiness of Self-driving Systems.

Fahad Alotaibi

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2015

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