Ghaith Haddad

According to our database, Ghaith Haddad authored at least 8 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Specifying subtypes in Safety Critical Java programs.

Ghaith Haddad, Gary T. Leavens

Concurr. Comput. Pract. Exp., 2013

2012

Generator Emulation Controls for Photovoltaic Inverters.

Hussam Alatrash, Adje Mensah, Evlyn Mark, Ghaith Haddad, Johan H. R. Enslin

IEEE Trans. Smart Grid, 2012

2011

Specifying subtypes in SCJ programs.

Ghaith Haddad, Gary T. Leavens

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

2010

Challenge benchmarks for verification of real-time programs.

Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

The design of SafeJML, a specification language for SCJ with support for WCET specification.

Ghaith Haddad, Faraz Hussain, Gary T. Leavens

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009

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

2007

DSASim: A Simulation Framework for Dynamic Spectrum Allocation.

Ghaith Haddad, Damla Turgut

Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

UCFTAC: A Control Based Supply Chain Management Trading Agent.

Ghaith Haddad, Brent Horine, Ladislau Bölöni

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007