Heidy Khlaaf

4 papers and 20 indexed citations i.

Heidy Khlaaf has authored 4 papers that have received a total of 20 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 3 papers in Software and 2 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (3 papers), Model-Driven Software Engineering Techniques (3 papers) and Software Testing and Debugging Techniques (2 papers). Heidy Khlaaf is often cited by papers focused on Formal Methods in Verification (3 papers), Model-Driven Software Engineering Techniques (3 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in United Kingdom and Australia. Heidy Khlaaf's co-authors include Nir Piterman, Byron Cook and Robin Bloomfield and has published in prestigious journals such as Journal of the ACM and Computer