Ghaith Haddad
Ghaith Haddad
Sr. Manager, Software Engineering, Disney
No verified email
Title
Cited by
Cited by
Year
Interactive electronic book operating systems and methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 8,352,876, 2013
1862013
Generator emulation controls for photovoltaic inverters
H Alatrash, A Mensah, E Mark, G Haddad, J Enslin
IEEE Transactions on Smart Grid 3 (2), 996-1011, 2012
1542012
The design of SafeJML, a specification language for SCJ with support for WCET specification
G Haddad, F Hussain, GT Leavens
Proceedings of the 8th International Workshop on Java Technologies for Real …, 2010
312010
Micro-Inverter Based AC-Coupled Photovoltaic Microgrid System with Wireless Smart-Grid Controls
RA Amarin, G Haddad, H Alatrash, IA Bhutta
US Patent App. 14/181,009, 2014
182014
Extensible dynamic analysis for jml: A case study with loop annotations
G Haddad, GT Leavens
University of Central Florida CS-TR-08-05, 2008
122008
Challenge benchmarks for verification of real-time programs
T Kalibera, P Parizek, G Haddad, GT Leavens, J Vitek
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010
112010
Symbolic switch/linear circuit simulator systems and methods
I Batarseh, E Shoubaki, S Harb, G Haddad
US Patent 8,577,664, 2013
82013
Computing device providing electronic book data having selectable content layers with different difficulty levels and related methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 9,443,442, 2016
72016
Computing device providing electronic book data with configurable problems and changeable seed values and related methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 9,368,038, 2016
72016
Interactive electrical circuit tutoring tool. eTutor
G Haddad, G Gamboa, I Batarseh
2008 ASEE Southeast Section Conference, Memphis, TN, 2008
62008
Specifying subtypes in SCJ programs
G Haddad, GT Leavens
Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011
52011
Computing device providing electronic book data with rolling images and related methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 10,269,259, 2019
22019
Specifying subtypes in safety critical Java programs
G Haddad, GT Leavens
Concurrency and Computation: Practice and Experience 25 (16), 2290-2306, 2013
22013
Computing device providing electronic book data with configurable problems and changeable parameters and related methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 9,965,968, 2018
12018
Specification and Runtime Checking of Timing Constraints in Safety Critical Java
G Haddad
12012
Computing device providing electronic book data with configurable problems and changeable solution techniques and related methods
I Batarseh, G Haddad, R Oreifej, R Al-Haddad
US Patent 9,965,969, 2018
2018
Mesh network fragmented upgrade method
G Haddad
WO Patent WO2013006690A2, 2013
2013
Symbolic Switch/Linear Circuit Simulator Systems and Methods DIV
I Batarseh, G Haddad, S Harb, E Shoubaki
2013
Development of economically viable, highly integrated, highly modular SEGIS architecture.
J Enslin, R Hamaoui, S Gonzalez, G Haddad, K Rustom, R Stuby, ...
Sandia National Laboratories, 2012
2012
Development of Economically Viable, Highly Integrated, Highly Modular SEGIS Architecture
W Bower, S Gonzalez, A Akhil, S Kuszmaul, L Sena-Henderson, C David, ...
2012
The system can't perform the operation now. Try again later.
Articles 1–20