Follow
Khaled El-Fakih
Khaled El-Fakih
American University of Sharjah, UAE
No verified email - Homepage
Title
Cited by
Cited by
Year
Scheduling Internet of Things requests to minimize latency in hybrid Fog–Cloud​ computing
RO Aburukba, M AliKarrar, T Landolsi, K El-Fakih
Future Generation Computer Systems 111, 539-551, 2020
2252020
FSM-based conformance testing methods: a survey annotated with experimental evaluation
R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko
Information and Software Technology 52 (12), 1286-1297, 2010
2112010
An improved conformance testing method
R Dorofeeva, K El-Fakih, N Yevtushenko
International Conference on Formal Techniques for Networked and Distributed …, 2005
1162005
Simulated annealing and genetic algorithms for optimal regression testing
N Mansour, K El‐Fakih
Journal of Software Maintenance: Research and Practice 11 (1), 19-34, 1999
1161999
FSM-based incremental conformance testing methods
K Ei-Fakih, N Yevtushenko, GV Bochmann
IEEE Transactions on Software Engineering 30 (7), 425-436, 2004
902004
Deterministic timed finite state machines: Equivalence checking and expressive power
D Bresolin, K El-Fakih, T Villa, N Yevtushenko
arXiv preprint arXiv:1408.5967, 2014
602014
An integer linear programming model and adaptive genetic algorithm approach to minimize energy consumption of cloud computing data centers
H Ibrahim, RO Aburukba, K El-Fakih
Computers & Electrical Engineering 67, 551-565, 2018
532018
On adaptive experiments for nondeterministic finite state machines
N Kushik, K El-Fakih, N Yevtushenko, AR Cavalli
International Journal on Software Tools for Technology Transfer 18, 251-264, 2016
492016
Experimental evaluation of FSM-based testing methods
R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko
Third IEEE International Conference on Software Engineering and Formal …, 2005
472005
Distinguing non-deterministic timed finite state machines
M Gromov, K El-Fakih, N Shabaldina, N Yevtushenko
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
442009
Studying the separability relation between finite state machines
N Spitsyna, K El‐Fakih, N Yevtushenko
Software Testing, Verification and Reliability 17 (4), 227-241, 2007
422007
Fault diagnosis in extended finite state machines
K El-Fakih, S Prokopenko, N Yevtushenko, G v Bochmann
Testing of Communicating Systems: 15th IFIP International Conference …, 2003
412003
Testing timed finite state machines with guaranteed fault coverage
K El-Fakih, N Yevtushenko, H Fouchal
International Workshop on Formal Approaches to Software Testing, 66-80, 2009
392009
Adaptive homing and distinguishing experiments for nondeterministic finite state machines
N Kushik, K El-Fakih, N Yevtushenko
Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013
372013
Preset and adaptive homing experiments for nondeterministic finite state machines
N Kushik, K El-Fakih, N Yevtushenko
International Conference on Implementation and Application of Automata, 215-224, 2011
292011
Extended finite state machine based test derivation driven by user defined faults
K El-Fakih, A Kolomeez, S Prokopenko, N Yevtushenko
2008 1st International Conference on Software Testing, Verification, and …, 2008
282008
Distinguishing experiments for timed nondeterministic finite state machine
K El-Fakih
Acta Cybernetica 21 (2), 205-222, 2013
262013
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
H Yamaguchi, K El-Fakih, G von Bochmann, T Higashino
Distributed Computing 16, 21-35, 2003
242003
A method and a genetic algorithm for deriving protocols for distributed applications with minimum communication cost
K El-Fakih, H Yamaguchi, G Bochmann, T Higashino
Proc. PDCS’99, 1999
241999
Testing nondeterministic finite state machines with respect to the separability relation
N Shabaldina, K El-Fakih, N Yevtushenko
International Workshop on Formal Approaches to Software Testing, 305-318, 2007
232007
The system can't perform the operation now. Try again later.
Articles 1–20