A methodology for verification and analysis of parallel and distributed systems requirements specifications. - Khalid Lateef; Hany H. Ammar; Vinay Mogulothu; Tooraj Nikzadeh (PDSE, 1997)

Identifying high-risk scenarios of complex systems using input domain partitioning. - Bojan Cukic; Hany H. Ammar; Khalid Lateef (ISSRE, 1998)

Bayesian Networks applied to Software IV&V. - Ganesh J. Pai; Joanne Bechta Dugan; Khalid Lateef (SEW, 2005)

Applying game theory rules to enhance decision support systems in credit and financial applications. - Turki Alskheliwi; Carol Jim; Khalid Lateef; Stephen Penn; Ahmed Salem 004 (CGAMES, 2014)