| Designing Critical Systems Using Hierarchical STPA and Event-B A Salehi Fathabadi, C Snook, D Dghaym, TS Hoang, F Alotaibi, M Butler International Conference on Rigorous State-Based Methods, 220-237, 2023 | 2 | 2023 |
| Systematic hierarchical analysis of requirements for critical systems AS Fathabadi, C Snook, D Dghaym, TS Hoang, F Alotaibi, M Butler Innovations in Systems and Software Engineering, 1-25, 2024 | 1 | 2024 |
| A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems F Alotaibi, TS Hoang, M Butler 2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023 | 1 | 2023 |
| High-level rigorous template for analysing safety properties of self-driving vehicle systems F Alotaibi, TS Hoang, M Butler 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 1 | 2022 |
| Improving Trustworthiness of Self-driving Systems F Alotaibi Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 1 | 2020 |
| A rigorous analysis template process to capture the safety properties of self-driving vehicle systems FA Alotaibi University of Southampton, 2024 | | 2024 |
| Check for updates Designing Critical Systems Using Hierarchical STPA and Event-B AS Fathabadi, C Snook, D Dghaym, TS Hoang, F Alotaibi, M Butler Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy …, 2023 | | 2023 |
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
