Natural Optimization Algorithms for Optimal Regression Testing. - Nashat Mansour; Khaled El-Fakih (COMPSAC, 1997)

Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. - Nashat Mansour; Khaled El-Fakih (J. Softw. Maintenance Res. Pract., 1999)

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. - Khaled El-Fakih; Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (ASE, 2000)

Diagnosing Multiple Faults in Communicating Finite State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 2001)

FSM-based Re-Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2002)

Fault Diagnosis in Extended Finite State Machines. - Khaled El-Fakih; Svetlana Prokopenko; Nina Yevtushenko 001; Gregor von Bochmann (TestCom, 2003)

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Distributed Comput., 2003)

Fault Propagation by Equation Solving. - Khaled El-Fakih; Nina Yevtushenko 001 (FORTE, 2004)

Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm. - Gerassimos D. Barlas; Khaled El-Fakih (MMNS, 2004)

FSM Based Interoperability Testing Methods for Multi Stimuli Model. - Khaled El-Fakih; Vadim Trenkaev; Natalia Spitsyna; Nina Yevtushenko 001 (TestCom, 2004)

FSM-Based Incremental Conformance Testing Methods. - Khaled El-Fakih; Nina Yevtushenko 001; Gregor von Bochmann (IEEE Trans. Software Eng., 2004)

An Improved Conformance Testing Method. - Rita Dorofeeva; Khaled El-Fakih; Nina Yevtushenko 001 (FORTE, 2005)

A formal approach to design optimized multimedia service overlay. - Hirozumi Yamaguchi; Khaled El-Fakih; Akihito Hiromori; Teruo Higashino (NOSSDAV, 2005)

Experimental Evaluation of FSM-Based Testing Methods. - Rita Dorofeeva; Nina Yevtushenko 001; Khaled El-Fakih; Ana R. Cavalli (SEFM, 2005)

Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm. - Hamed Siefoddini; Khaled El-Fakih; Jalal Kawash; Nashat Mansour (AICCSA, 2006)

FSM Test Translation Through Context. - Khaled El-Fakih; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom, 2006)

Petri net-based protocol synthesis with minimum communication costs. - Khaled El-Fakih; Hirozumi Yamaguchi; Gregor von Bochmann; Teruo Higashino (J. Frankl. Inst., 2006)

Progressive solutions to a parallel automata equation. - Khaled El-Fakih; Nina Yevtushenko 001; Sergey Buffalov; Gregor von Bochmann (Theor. Comput. Sci., 2006)

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. - Natalia Shabaldina; Khaled El-Fakih; Nina Yevtushenko 001 (TestCom/FATES, 2007)

Deriving protocol specifications from service specifications written as Predicate/Transition-nets. - Hirozumi Yamaguchi; Khaled El-Fakih; Gregor von Bochmann; Teruo Higashino (Comput. Networks, 2007)

Studying the separability relation between finite state machines. - Natalia Spitsyna; Khaled El-Fakih; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2007)

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. - Khaled El-Fakih; Anton Kolomeez; Svetlana Prokopenko; Nina Yevtushenko 001 (ICST, 2008)

Progressive Solutions to FSM Equations. - Khaled El-Fakih; Nina Yevtushenko 001 (CIAA, 2008)

A GA-based movie-on-demand platform using multiple distributed servers. - Gerassimos D. Barlas; Khaled El-Fakih (Multim. Tools Appl., 2008)

Distinguing Non-deterministic Timed Finite State Machines. - Maxim Gromov; Khaled El-Fakih; Natalia Shabaldina; Nina Yevtushenko 001 (FMOODS/FORTE, 2009)

Testing Timed Finite State Machines with Guaranteed Fault Coverage. - Khaled El-Fakih; Nina Yevtushenko 001; Hacène Fouchal (TestCom/FATES, 2009)

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. - Tomoya Kitani; Ryo Nakahashi; Khaled El-Fakih; Teruo Higashino (RTCSA, 2009)

An integrated tool for development of overlay services. - Yuki Sakai; Akihito Hiromori; Hirozumi Yamaguchi; Khaled El-Fakih; Teruo Higashino (SimuTools, 2009)

FSM-based conformance testing methods: A survey annotated with experimental evaluation. - Rita Dorofeeva; Khaled El-Fakih; Stéphane Maag; Ana R. Cavalli; Nina Yevtushenko 001 (Inf. Softw. Technol., 2010)

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (CIAA, 2011)

FSM-based testing from user defined faults adapted to incremental and mutation testing. - Khaled El-Fakih; Rita Dorofeeva; Nina Yevtushenko 001; Gregor von Bochmann (Program. Comput. Softw., 2012)

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2013)

PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home. - Teruhiro Mizumoto; Khaled El-Fakih; Keiichi Yasumoto (UIC/ATC, 2013)

Distinguishing Experiments for Timed Nondeterministic Finite State Machines. - Khaled El-Fakih; Maxim Gromov; Natalia Shabaldina; Nina Yevtushenko 001 (Acta Cybern., 2013)

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. - Khaled El-Fakih; Adenilso Simão; Noshad Jadoon; José Carlos Maldonado (ICST Workshops, 2014)

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. - Khaled El-Fakih; Tariq Salameh; Nina Yevtushenko 001 (ICTSS, 2014)

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (GandALF, 2014)

A practical approach for testing timed deterministic finite state machines with single clock. - Khaled El-Fakih; Nina Yevtushenko 001; Adenilso Simão (Sci. Comput. Program., 2014)

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. - Nina Yevtushenko 001; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang (Comput. J., 2015)

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. - Nina Yevtushenko 001; Khaled El-Fakih; Anton Ermakov (ICTSS, 2016)

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. - Khaled El-Fakih; Abdul Rahim Haddad; Nassima Aleb; Nina Yevtushenko 001 (Appl. Soft Comput., 2016)

Test Translation for Embedded Finite State Machine Components. - Khaled El-Fakih; Nina Yevtushenko 001 (Comput. J., 2016)

Distinguishing extended finite state machine configurations using predicate abstraction. - Khaled El-Fakih; Nina Yevtushenko 001; Marius Bozga; Saddek Bensalem (J. Softw. Eng. Res. Dev., 2016)

On adaptive experiments for nondeterministic finite state machines. - Natalia Kushik; Khaled El-Fakih; Nina Yevtushenko 001; Ana R. Cavalli (Int. J. Softw. Tools Technol. Transf., 2016)

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Maxim Gromov; Nina Yevtushenko 001 (Autom. Control. Comput. Sci., 2017)

An assessment of extended finite state machine test selection criteria. - Khaled El-Fakih; Adenilso da Silva Simão; Noshad Jadoon; José Carlos Maldonado (J. Syst. Softw., 2017)

An Energy Aware Testing Framework for Smart-Spaces. - Teruhiro Mizumoto; Khaled El-Fakih; Keiichi Yasumoto; Teruo Higashino (ICTSS, 2018)

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (ICTSS, 2018)

GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants. - Emad Badawi; Khaled El-Fakih; Gerassimos D. Barlas (QRS Companion, 2018)

An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers. - Huda Ibrahim; Raafat Omar Aburukba; Khaled El-Fakih (Comput. Electr. Eng., 2018)

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. - Khaled El-Fakih; Nina Yevtushenko 001; Natalia Kushik (Formal Aspects Comput., 2018)

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. - Khaled El-Fakih; Gerassimos D. Barlas; Mustafa Ali; Nina Yevtushenko 001 (Int. J. Parallel Emergent Distributed Syst., 2018)

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Ayat Saleh (Comput. J., 2019)

Scheduling Internet of Things requests to minimize latency in hybrid Fog-Cloud​ computing. - Raafat Omar Aburukba; Mazin AliKarrar; Taha Landolsi; Khaled El-Fakih (Future Gener. Comput. Syst., 2020)

Energy aware simulation and testing of smart-spaces. - Khaled El-Fakih; Teruhiro Mizumoto; Keiichi Yasumoto; Teruo Higashino (Inf. Softw. Technol., 2020)

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines. - Martin Lukac; Khaled El-Fakih (ISMVL, 2021)

Equivalence checking and intersection of deterministic timed finite state machines. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (Formal Methods Syst. Des., 2021)

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. - Khaled El-Fakih; Gregor v. Bochmann (IEEE Trans. Software Eng., 2021)

$ mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. - Khaled El-Fakih; Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Software Eng., 2021)

Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters. - Abid Farhan; Raafat Aburukba; Assim Sagahyroon; Mohammed Elnawawy; Khaled El-Fakih (IEEE Access, 2022)

Assessing test suites of extended finite state machines against model- and code-based faults. - Khaled El-Fakih; Ayman Alzaatreh; Uraz Cengiz Türker (Softw. Test. Verification Reliab., 2022)

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. - Uraz Cengiz Türker; Robert M. Hierons; Gerassimos D. Barlas; Khaled El-Fakih (IEEE Trans. Software Eng., 2023)

Enhancing Cloud Data Security with Davies-Meyer Hash and Gestalt Pattern Matching in Blockchain. - Sheeja Rani S; Raafat Aburukba; Khaled El-Fakih (ISNCC, 2024)

Minimizing Virtual Machine Live Migration Latency for Proactive Fault Tolerance Using an ILP Model With Hybrid Genetic and Simulated Annealing Algorithms. - Jayroop Ramesh; Zahra Solatidehkordi; Khaled El-Fakih; Raafat Aburukba (IEEE Access, 2024)

Testing and incremental conformance testing of timed state machines. - Aleksandr S. Tvardovskii; Khaled El-Fakih; Nina Yevtushenko 001 (Sci. Comput. Program., 2024)

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. - Uraz Cengiz Türker; Robert M. Hierons; Khaled El-Fakih; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (IEEE Trans. Software Eng., 2024)

Assessing the coverage of W-based conformance testing methods over code faults. - Khaled El-Fakih; Faiz Hassan; Ayman Alzaatreh; Nina Yevtushenko 001 (Sci. Comput. Program., 2025)

P2P-assisted distributed-server content delivery of 8K media : a DLT-based approach. - Gerassimos D. Barlas; Khaled El-Fakih; Akihito Hiromori; Hirozumi Yamaguchi (Multim. Tools Appl., 2025)

Optimizing Predictive Maintenance in Industrial IoT Cloud Using Dragonfly Algorithm. - Sheeja Rani S; Raafat Aburukba; Khaled El-Fakih (IEEE Internet Things J., 2025)