Design COVID-19 Ontology: A Healthcare and Safety Perspective. - Hamid Mcheick; Youmna Nasser; Farah Al Wardani; Batoul Msheik (ICOST, 2022)

Formal Reasoning Using Distributed Assertions. - Farah Al Wardani; Kaustuv Chaudhuri; Dale Miller 001 (FroCoS, 2023)

About Trust and Proof: An Experimental Framework for Heterogeneous Verification. - Farah Al Wardani; Kaustuv Chaudhuri; Dale Miller 001 (The Practice of Formal Methods (II), 2024)