"T2: Temporal Property Verification" M. Brockschmidt and H. Khlaaf with B. Cook, S. Ishtiaq, and N. Piterman Tools and Algorithms for the Construction and Analysis of Systems, To Appear, 2016. PDF
"On Automation of CTL* Verification for Infinite-State Systems" H. Khlaaf with B. Cook and N. Piterman. Computer Aided Verification, San Francisco, USA, 2015. Best Papers at CAV 2015, Invited Submission to JACM. SLIDES |PDF
"Abstract: Fairness for Infinite-State Systems" H. Khlaaf with B. Cook and N. Piterman. 14th International Workshop on Termination, Vienna, Austria, 2014.