| Interactive electronic book operating systems and methods I Batarseh, G Haddad, R Oreifej, R Al-Haddad US Patent 8,352,876, 2013 | 206 | 2013 |
| 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 | 205 | 2012 |
| 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 | 34 | 2010 |
| 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 | 27 | 2014 |
| Extensible dynamic analysis for jml: A case study with loop annotations G Haddad, GT Leavens University of Central Florida CS-TR-08-05, 2008 | 14 | 2008 |
| 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 | 12 | 2010 |
| Symbolic switch/linear circuit simulator systems and methods I Batarseh, E Shoubaki, S Harb, G Haddad US Patent 8,577,664, 2013 | 10 | 2013 |
| 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 | 8 | 2016 |
| Specifying subtypes in SCJ programs G Haddad, GT Leavens Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011 | 7 | 2011 |
| Interactive electrical circuit tutoring tool. eTutor G Haddad, G Gamboa, I Batarseh 2008 ASEE Southeast Section Conference, Memphis, TN, 2008 | 7 | 2008 |
| Specifying subtypes in safety critical Java programs G Haddad, GT Leavens Concurrency and Computation: Practice and Experience 25 (16), 2290-2306, 2013 | 3 | 2013 |
| 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 | 2 | 2019 |
| 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 | 1 | 2018 |
| Specification and Runtime Checking of Timing Constraints in Safety Critical Java G Haddad | 1 | 2012 |
| 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 |
| 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 | | 2016 |
| 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 (SNL), Albuquerque, NM, and Livermore, CA …, 2012 | | 2012 |
| DSASim: A simulation framework for dynamic spectrum allocation G Haddad, D Turgut 2007 IEEE Wireless Communications and Networking Conference, 2899-2903, 2007 | | 2007 |
Issa BatarsehUniversity of Central FloridaVerified email at ucf.edu
