According to our database1, Farah Al-Shareefi authored at least 4 papers between 2017 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017