Khaled A. El-Fakih, Ph.D.

Affiliations: 
2002 University of Ottawa, Ottawa, ON, Canada 
Area:
Computer Science
Google:
"Khaled El-Fakih"

Parents

Sign in to add mentor
Gregor Bochmann grad student 2002 University of Ottawa
 (Protocol re-testing and diagnostic testing methods.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

El-Fakih K, Hierons RM, Turker Uc. (2020) $\mathcal{K}$ -branching UIO sequences for partially specified observable non-deterministic FSMs Ieee Transactions On Software Engineering. 1-1
El-Fakih K, Mizumoto T, Yasumoto K, et al. (2020) Energy aware simulation and testing of smart-spaces Information & Software Technology. 118: 106201
Aburukba RO, AliKarrar M, Landolsi T, et al. (2020) Scheduling Internet of Things requests to minimize latency in hybrid Fog–Cloud computing Future Generation Computer Systems. 111: 539-551
El-Fakih K, Yevtushenko N, Saleh A. (2019) Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines The Computer Journal. 62: 757-768
El-Fakih K, Bochmann Gv. (2018) Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers Ieee Transactions On Software Engineering. 1-1
El-Fakih K, Barlas GD, Ali M, et al. (2018) Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines International Journal of Parallel, Emergent and Distributed Systems. 33: 197-210
Ibrahim H, Aburukba RO, El-Fakih K. (2018) An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers Computers & Electrical Engineering. 67: 551-565
El-Fakih K, Yevtushenko N, Kushik N. (2018) Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation Formal Aspects of Computing. 30: 319-332
Tvardovskii AS, El-Fakih K, Gromov ML, et al. (2017) Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage Automatic Control and Computer Sciences. 51: 724-730
El-Fakih K, Simão AdS, Jadoon N, et al. (2017) An assessment of extended finite state machine test selection criteria Journal of Systems and Software. 123: 106-118
See more...