A test generation algorithm for systems modelled as non-deterministic FSMs. - Hosam AboElFotoh; Osman Abou-Rabia; Hasan Ural (Softw. Eng. J., 1993)

A new scheme for maximizing the lifetime of heterogeneous wireless sensor networks. - Reem Aldaihani; Hosam AboElFotoh (CoRR, 2016)