Khaled El-Fakih

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