Ghaith Haddad

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Pseudorandom Number

Schottky Barrier

Safety Critical

Top Venues

Concurr. Comput. Pract. Exp.

IEEE Trans. Smart Grid

Publications

Ghaith Haddad, Gary T. Leavens
Specifying subtypes in Safety Critical Java programs. Concurr. Comput. Pract. Exp. 25 (16) (2013)
Hussam Alatrash, Adje Mensah, Evlyn Mark, Ghaith Haddad, Johan H. R. Enslin
Generator Emulation Controls for Photovoltaic Inverters. IEEE Trans. Smart Grid 3 (2) (2012)
Ghaith Haddad, Gary T. Leavens
Specifying subtypes in SCJ programs. JTRES (2011)
Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
Challenge benchmarks for verification of real-time programs. PLPV (2010)
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
The design of SafeJML, a specification language for SCJ with support for WCET specification. JTRES (2010)
Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
Challenge benchmarks for verification of real-time programs: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Ghaith Haddad, Brent Horine, Ladislau Bölöni
UCFTAC: A Control Based Supply Chain Management Trading Agent. FLAIRS Conference (2007)
Ghaith Haddad, Damla Turgut
DSASim: A Simulation Framework for Dynamic Spectrum Allocation. WCNC (2007)