Profile
College / Department
Teaching areas
Software Engineering (COE 531, CMP/COE 420), Software Testing (CMP 454), Formal Specification Methods (CMP 451), Formal Languages (CMP 470), Discrete Mathematics (CMP 213), Programming (CMP 220, CMP 120, CMP 108), Introduction to Engineering & Computing (NGN110), Introduction to Statistical Analysis (NGN 111), Computing Fundamentals (CMP 111)
Research areas
Testing of systems modeled as timed, untimed, and extended finite state machines. Synthesis of distributed systems (Decomposition of Petri net services, Solving automata equations). Optimization with application to protocol synthesis, testing, and cloud computing.
Education
PhD, Software Engineering, University of Ottawa
Professional experience
at American University of Sharjah(2001 - Present)
Visiting Researcher at University of Grenoble-1, France(2007 - 2008)
Product Verification Engineer at ambrian systems Corporation (a Nortel Company), Canada(1998 - 1998)
Graduate Research Fellow at IBM, Canada(1996 - 1997)
Contact
+971 6 515 2492
Dr. Khaled El-Fakih
Professor
PhD in Computer Science, University of Ottawa, Canada
Khaled El-Fakih worked as a graduate fellow at the IBM Toronto Laboratory and as a verification engineer at a Nortel Company. He was a visiting researcher at Osaka U. (Japan), Ottawa U. (Canada), U. of Verona (Italy), Tomsk State U. (Russia), USP (Brazil), NAIST(Japan), Université Antilles-Guyane (France), Nazarbayev U. (Kazakhstan). He spent one year's sabbatical leave at Verimag Laboratory, Université Joseph Fourier, France. He was program co-chair-2015 Int. Conference Testing Software and Systems, and 2008 Int. Conference on Formal Techniques for Networked and Distributed Systems. His research is in testing, synthesis of components, optimization, and application of genetic algorithms.
Publications
Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino, Energy aware simulation and testing of smart-spaces, Published, Information and Software Technology, 118, pp. 106201, 2020
Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh, Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines, Published, The Computer Journal, 62, 5, pp. 757--768, 2019
Khaled El-Fakih, Robert Hierons, Uraz cengiz Turker, K-branching UIO sequences for partially specified observable non-deterministic FSMs, Published, IEEE Transactions on Software Engineering, 2019
Aleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko, Deriving tests with guaranteed fault coverage for finite state machines with timeouts, Published, IFIP International Conference on Testing Software and Systems-Springer, pp. 149--154, 2018
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik, Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation, Published, Formal Aspects of Computing, 30, 2, pp. 319--332, 2018
Huda Ibrahim, Raafat Aburukba, Khaled El-Fakih, An integer linear programming model and adaptive genetic algorithm approach to minimize energy consumption of cloud computing data centers, Published, Computers \& Electrical Engineering, 67, pp. 551--565, 2018
Khaled El-Fakih, Gerassimos Barlas, Mustafa Ali, Nina Yevtushenko, Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines, Published, INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, 33, 2, pp. 197-210, 2018
Khaled El-Fakih, Gregor von Bochmann, Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers, Published, IEEE Transactions on Software Engineering, 2018
Emad Badawi, Khaled El-Fakih, Gerassimos Barlas, GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants, Published, 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), pp. 187-198, 2018
Abdul Haddad, Khaled El-Fakih, Gerassimos Barlas, Parallel Implementation for Deriving Preset Distinguishing Experiments of Nondeterministic Finite State Machines, Published, 2017 7TH INTERNATIONAL CONFERENCE ON MODELING, SIMULATION, AND APPLIED OPTIMIZATION (ICMSAO), 2017
Khaled El-Fakih, Adenilso Simao, Noshad Jadoon, Jose Maldonado, An assessment of extended finite state machine test selection criteria, Published, Journal of Systems and Software, 123, pp. 106--118, 2017
Aleksandr Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko, Testing timed nondeterministic finite state machines with the guaranteed fault coverage, Published, Automatic Control and Computer Sciences, 51, 7, pp. 724--730, 2017
Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov, On-the-fly construction of adaptive checking sequences for testing deterministic implementations of nondeterministic specifications, Published, IFIP International Conference on Testing Software and Systems-Springer, pp. 139--152, 2016
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem, Distinguishing extended finite state machine configurations using predicate abstraction, Published, Journal of Software Engineering Research and Development, 4, 1, pp. 1, 2016
Khaled El-Fakih, Abdul Haddad, Nassima Aleb, Nina Yevtushenko, Heuristics for deriving distinguishing experiments of nondeterministic finite state machines, Published, Applied Soft Computing, 49, pp. 1175--1184, 2016
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana Cavalli, On adaptive experiments for nondeterministic finite state machines, Published, International Journal on Software Tools for Technology Transfer, 18, 3, pp. 251--264, 2016
Khaled El-Fakih, Nina Yevtushenko, Test translation for embedded finite state machine components, Published, 2016
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong Jiang, Deriving compositionally deadlock-free components over synchronous automata compositions, Published, The Computer Journal, 58, 11, pp. 2793--2803, 2015
Khaled El-Fakih, Nina Yevtushenko, Adenilso Simao, A practical approach for testing timed deterministic finite state machines with single clock, Published, Science of Computer Programming, 80, pp. 343--355, 2014
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko, Deterministic timed finite state machines: Equivalence checking and expressive power, Published, arXiv preprint arXiv:1408.5967, 2014
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Adaptive homing and distinguishing experiments for nondeterministic finite state machines, Published, IFIP International Conference on Testing Software and Systems, pp. 33--48, 2013
Khaled El-Fakih, Distinguishing experiments for timed nondeterministic finite state machine, Published, Acta Cybernetica, 21, 2, pp. 205--222, 2013
KA El-Fakih, Rita Dorofeeva, NV Yevtushenko, GV Bochmann, FSM-based testing from user defined faults adapted to incremental and mutation testing, Published, Programming and Computer Software, 38, 4, pp. 201--209, 2012
R Dorofeeva, Nina Yevtushenko, GV Bochmann, KA El-Fakih, others, FSM-based testing from user defined faults adapted to incremental and mutation testing, Published, 2012
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Preset and adaptive homing experiments for nondeterministic finite state machines, Published, International Conference on Implementation and Application of Automata - Springer, pp. 215--224, 2011
Khaled El-Fakih, Roland Groz, Muhammad Irfan, Muzammil Shahbaz, Learning finite state models of observable nondeterministic systems in a testing context, Published, 22nd IFIP International Conference on Testing Software and Systems Workshop, pp. 97--102, 2010
Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana Cavalli, Nina Yevtushenko, FSM-based conformance testing methods: A survey annotated with experimental evaluation, Published, Information and Software Technology, 52, 12, pp. 1286--1297, 2010
Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko, Extended finite state machine based test derivation driven by user defined faults, Published, International Conference on Software Testing, Verification, and Validation, pp. 308--317, 2008
Gerassimos Barlas, Khaled El-Fakih, A GA-based movie-on-demand platform using multiple distributed servers, Published, Multimedia Tools and Applications, 40, 3, pp. 361--383, 2008
Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko, Testing nondeterministic finite state machines with respect to the separability relation, Published, pp. 305--318, 2007
Hirozumi Yamaguchi, Khaled El-Fakih, Gregor Bochmann, Teruo Higashino, Deriving protocol specifications from service specifications written as predicate/transition-nets, Published, Computer Networks, 51, 1, pp. 258--284, 2007
Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko, Studying the separability relation between finite state machines, Published, Software Testing, Verification and Reliability, 17, 4, pp. 227--241, 2007
Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko, FSM test translation through context, Published, IFIP International Conference on Testing of Communicating Systems, pp. 245--258, 2006
Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor Bochmann, Progressive solutions to a parallel automata equation, Published, Theoretical Computer Science, 362, 1-3, pp. 17--32, 2006
Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko, An improved conformance testing method, Published, International Conference on Formal Techniques for Networked and Distributed Systems, pp. 204--218, 2005
Khaled El-Fakih, Nina Yevtushenko, Fault propagation by equation solving, Published, International Conference on Formal Techniques for Networked and Distributed Systems, pp. 185--198, 2004
Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino, Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets, Published, Distributed Computing, 16, 1, pp. 21--35, 2003
Khaled El-Fakih, Hirozumi Yamaguchi, Gregor Bochmann, T Higashino, A method and a genetic algorithm for deriving protocols for distributed applications with minimum communication cost, Published, Proc. PDCS99, 1999
Conference Presentations
Khaled El-Fakih, GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants, QRS Companion, Lisbon, Portugal, July, 2018
Grants and sponsorships
Distinguishing Non-deterministic Timed Finite State Machines with Application to Security Testing of IoT Physical Threats, American University of Sharjah, 2021
Novel state identification sequences and parallel algorithms for reducing costs of testing from non-deterministic Finite State Machines, American University of Sharjah, 2021
Grant for Visiting Osaka University and NARA Institute of Technology, Japan, AUS, 2017
Parallel Algorithms for Testing Finite State Machines, AUS, 2017
Awards and Honors
Received, Faculty Research Grant, 2019
Received, Research Grant 2019-2021 (130K AED, 1.75 GRA, 2 Course release), AUS, 2019
Received, Osaka University, 2019
Received, Research Grant 2018-2019 (70 K AED, 1 Course release), AUS, 2018
Received, Research Excellence Award, AUS, 2018
, Faculty Research Grant 2016, FRG-16T, AUS and U. of Ottawa, 2016
Other creative/research
Steering Committee Member: FORTE 2009-2011,PC Member: Security Testing Workshop 2013, 2012, ICST-2012, 2011, 2010, ICTSS-2010, TestCom/Fates-2009, 2008, 2007.
