Farah Al-Shareefi
Orcid: 0000-0003-4086-9985
According to our database1,
Farah Al-Shareefi
authored at least 5 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Penetration Testing for Securing IoT-Enabled Healthcare Systems: A Focus on Wearable Devices and Remote Surgery.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024
2019
Analysing safety-critical systems and security protocols with abstract state machines.
PhD thesis, 2019
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017