Farah Al Wardani

According to our database, Farah Al Wardani authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

About Trust and Proof: a situation, a contemplation, and a framework. (De la confiance et de la preuve: une situation, une contemplation et un cadre).

Farah Al Wardani

PhD thesis, 2025

2024

About Trust and Proof: An Experimental Framework for Heterogeneous Verification.

Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II, 2024

2023

Formal Reasoning Using Distributed Assertions.

Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

Design COVID-19 Ontology: A Healthcare and Safety Perspective.

Hamid Mcheick, Youmna Nasser, Farah Al Wardani, Batoul Msheik

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022