Khaled El-Fakih

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 27

Top Topics

Parallel Implementation

Top Venues

IEEE Trans. Software Eng.

Sci. Comput. Program.

Publications

Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. 233 (2024)
Jayroop Ramesh, Zahra Solatidehkordi, Khaled El-Fakih, Raafat Aburukba
Minimizing Virtual Machine Live Migration Latency for Proactive Fault Tolerance Using an ILP Model With Hybrid Genetic and Simulated Annealing Algorithms. IEEE Access 12 (2024)
Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. IEEE Trans. Software Eng. 50 (3) (2024)
Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. IEEE Trans. Software Eng. 49 (9) (2023)
Abid Farhan, Raafat Aburukba, Assim Sagahyroon, Mohammed Elnawawy, Khaled El-Fakih
Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters. IEEE Access 10 (2022)
Khaled El-Fakih, Ayman Alzaatreh, Uraz Cengiz Türker
Assessing test suites of extended finite state machines against model- and code-based faults. Softw. Test. Verification Reliab. 32 (7) (2022)
Martin Lukac, Khaled El-Fakih
On Distinguishing Sequences of Several Classes of Reversible Finite State Machines. ISMVL (2021)
Khaled El-Fakih, Gregor v. Bochmann
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. IEEE Trans. Software Eng. 47 (1) (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. 59 (1) (2021)
Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. IEEE Trans. Software Eng. 47 (5) (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR (2021)
Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino
Energy aware simulation and testing of smart-spaces. Inf. Softw. Technol. 118 (2020)
Raafat Omar Aburukba, Mazin AliKarrar, Taha Landolsi, Khaled El-Fakih
Scheduling Internet of Things requests to minimize latency in hybrid Fog-Cloud computing. Future Gener. Comput. Syst. 111 (2020)
Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh
Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. Comput. J. 62 (5) (2019)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS (2018)
Khaled El-Fakih, Gerassimos D. Barlas, Mustafa Ali, Nina Yevtushenko
Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. Int. J. Parallel Emergent Distributed Syst. 33 (2) (2018)
Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino
An Energy Aware Testing Framework for Smart-Spaces. ICTSS (2018)
Huda Ibrahim, Raafat Omar Aburukba, Khaled El-Fakih
An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers. Comput. Electr. Eng. 67 (2018)
Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects Comput. 30 (2) (2018)
Emad Badawi, Khaled El-Fakih, Gerassimos D. Barlas
GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants. QRS Companion (2018)
Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado
An assessment of extended finite state machine test selection criteria. J. Syst. Softw. 123 (2017)
Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Autom. Control. Comput. Sci. 51 (7) (2017)
Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. Appl. Soft Comput. 49 (2016)
Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS (2016)
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4 (2016)
Khaled El-Fakih, Nina Yevtushenko
Test Translation for Embedded Finite State Machine Components. Comput. J. 59 (12) (2016)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli
On adaptive experiments for nondeterministic finite state machines. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58 (11) (2015)
Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. ICTSS (2014)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF (2014)
Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão
A practical approach for testing timed deterministic finite state machines with single clock. Sci. Comput. Program. 80 (2014)
Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. ICST Workshops (2014)
Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21 (2) (2013)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS (2013)
Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto
PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home. UIC/ATC (2013)
Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann
FSM-based testing from user defined faults adapted to incremental and mutation testing. Program. Comput. Softw. 38 (4) (2012)
Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA (2011)
Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko
FSM-based conformance testing methods: A survey annotated with experimental evaluation. Inf. Softw. Technol. 52 (12) (2010)
Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino
Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA (2009)
Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES (2009)
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE (2009)
Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino
An integrated tool for development of overlay services. SimuTools (2009)
Gerassimos D. Barlas, Khaled El-Fakih
A GA-based movie-on-demand platform using multiple distributed servers. Multim. Tools Appl. 40 (3) (2008)
Khaled El-Fakih, Nina Yevtushenko
Progressive Solutions to FSM Equations. CIAA (2008)
Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST (2008)
Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES (2007)
Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko
Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. 17 (4) (2007)
Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Comput. Networks 51 (1) (2007)
Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
FSM Test Translation Through Context. TestCom (2006)
Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
Progressive solutions to a parallel automata equation. Theor. Comput. Sci. 362 (1-3) (2006)
Hamed Siefoddini, Khaled El-Fakih, Jalal Kawash, Nashat Mansour
Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm. AICCSA (2006)
Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
Petri net-based protocol synthesis with minimum communication costs. J. Frankl. Inst. 343 (4-5) (2006)
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
Experimental Evaluation of FSM-Based Testing Methods. SEFM (2005)
Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
An Improved Conformance Testing Method. FORTE (2005)
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino
A formal approach to design optimized multimedia service overlay. NOSSDAV (2005)
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom (2004)
Gerassimos D. Barlas, Khaled El-Fakih
Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm. MMNS (2004)
Khaled El-Fakih, Nina Yevtushenko
Fault Propagation by Equation Solving. FORTE (2004)
Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30 (7) (2004)
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
Fault Diagnosis in Extended Finite State Machines. TestCom (2003)
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. Distributed Comput. 16 (1) (2003)
Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Progressive Solutions to a Parallel Automata Equation. FORTE (2003)
Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-based Re-Testing Methods. TestCom (2002)
Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE (2001)
Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE (2000)
Nashat Mansour, Khaled El-Fakih
Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. J. Softw. Maintenance Res. Pract. 11 (1) (1999)
Nashat Mansour, Khaled El-Fakih
Natural Optimization Algorithms for Optimal Regression Testing. COMPSAC (1997)