UCFTAC: A Control Based Supply Chain Management Trading Agent. - Ghaith Haddad; Brent Horine; Ladislau Bölöni (FLAIRS, 2007)

DSASim: A Simulation Framework for Dynamic Spectrum Allocation. - Ghaith Haddad; Damla Turgut (WCNC, 2007)

Challenge benchmarks for verification of real-time programs: (abstract only). - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (ACM SIGPLAN Notices, 2009)

The design of SafeJML, a specification language for SCJ with support for WCET specification. - Ghaith Haddad; Faraz Hussain 001; Gary T. Leavens (JTRES, 2010)

Challenge benchmarks for verification of real-time programs. - Tomas Kalibera; Pavel Parízek; Ghaith Haddad; Gary T. Leavens; Jan Vitek (PLPV, 2010)

Specifying subtypes in SCJ programs. - Ghaith Haddad; Gary T. Leavens (JTRES, 2011)

Generator Emulation Controls for Photovoltaic Inverters. - Hussam Alatrash; Adje Mensah; Evlyn Mark; Ghaith Haddad; Johan H. R. Enslin (IEEE Trans. Smart Grid, 2012)

Specifying subtypes in Safety Critical Java programs. - Ghaith Haddad; Gary T. Leavens (Concurr. Comput. Pract. Exp., 2013)