Fahad Alotaibi

According to our database, Fahad Alotaibi authored at least 7 papers between 2015 and 2023.

Collaborative distances:

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

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