Khaled El-Fakih

According to our database, Khaled El-Fakih authored at least 63 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning.

Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin

IEEE Trans. Software Eng., March, 2024

2023

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., September, 2023

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

Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters.

Abid Farhan, Raafat Aburukba, Assim Sagahyroon, Mohammed Elnawawy, Khaled El-Fakih

IEEE Access, 2022

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

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

Equivalence checking and intersection of deterministic timed finite state machines.

Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

Formal Methods Syst. Des., 2021

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines.

Martin Lukac, Khaled El-Fakih

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2020

Energy aware simulation and testing of smart-spaces.

Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino

Inf. Softw. Technol., 2020

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

2019

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines.

Khaled El-Fakih, Nina Yevtushenko, Ayat Saleh

Comput. J., 2019

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

Int. J. Parallel Emergent Distributed Syst., 2018

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation.

Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik

Formal Aspects Comput., 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

GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants.

Emad Badawi, Khaled El-Fakih, Gerassimos D. Barlas

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.

Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Testing Software and Systems, 2018

An Energy Aware Testing Framework for Smart-Spaces.

Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino

Proceedings of the Testing Software and Systems, 2018

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

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.

Aleksandr S. Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko

Autom. Control. Comput. Sci., 2017

2016

On adaptive experiments for nondeterministic finite state machines.

Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli

Int. J. Softw. Tools Technol. Transf., 2016

Distinguishing extended finite state machine configurations using predicate abstraction.

Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem

J. Softw. Eng. Res. Dev., 2016

Test Translation for Embedded Finite State Machine Components.

Khaled El-Fakih, Nina Yevtushenko

Comput. J., 2016

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.

Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko

Appl. Soft Comput., 2016

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.

Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov

Proceedings of the Testing Software and Systems, 2016

2015

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.

Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang

Comput. J., 2015

2014

A practical approach for testing timed deterministic finite state machines with single clock.

Khaled El-Fakih, Nina Yevtushenko, Adenilso Simão

Sci. Comput. Program., 2014

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.

Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.

Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko

Proceedings of the Testing Software and Systems, 2014

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.

Khaled El-Fakih, Adenilso Simão, Noshad Jadoon, José Carlos Maldonado

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Distinguishing Experiments for Timed Nondeterministic Finite State Machines.

Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko

Acta Cybern., 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

Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.

Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Testing Software and Systems, 2013

2012

FSM-based testing from user defined faults adapted to incremental and mutation testing.

Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann

Program. Comput. Softw., 2012

2011

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.

Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Implementation and Application of Automata, 2011

2010

FSM-based conformance testing methods: A survey annotated with experimental evaluation.

Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko

Inf. Softw. Technol., 2010

2009

An integrated tool for development of overlay services.

Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors.

Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Testing Timed Finite State Machines with Guaranteed Fault Coverage.

Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal

Proceedings of the Testing of Software and Communication Systems, 2009

Distinguing Non-deterministic Timed Finite State Machines.

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

A GA-based movie-on-demand platform using multiple distributed servers.

Gerassimos D. Barlas, Khaled El-Fakih

Multim. Tools Appl., 2008

Progressive Solutions to FSM Equations.

Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Implementation and Applications of Automata, 2008

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.

Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko

Proceedings of the First International Conference on Software Testing, 2008

2007

Studying the separability relation between finite state machines.

Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko

Softw. Test. Verification Reliab., 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

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Progressive solutions to a parallel automata equation.

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann

Theor. Comput. Sci., 2006

Petri net-based protocol synthesis with minimum communication costs.

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino

J. Frankl. Inst., 2006

FSM Test Translation Through Context.

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko

Proceedings of the Testing of Communicating Systems, 2006

Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm.

Hamed Siefoddini, Khaled El-Fakih, Jalal Kawash, Nashat Mansour

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Experimental Evaluation of FSM-Based Testing Methods.

Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

A formal approach to design optimized multimedia service overlay.

Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino

Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

An Improved Conformance Testing Method.

Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

FSM-Based Incremental Conformance Testing Methods.

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann

IEEE Trans. Software Eng., 2004

FSM Based Interoperability Testing Methods for Multi Stimuli Model.

Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm.

Gerassimos D. Barlas, Khaled El-Fakih

Proceedings of the Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, 2004

Fault Propagation by Equation Solving.

Khaled El-Fakih, Nina Yevtushenko

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

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 Diagnosis in Extended Finite State Machines.

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

FSM-based Re-Testing Methods.

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

Diagnosing Multiple Faults in Communicating Finite State Machines.

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Simulated Annealing and Genetic Algorithms for Optimal Regression Testing.

Nashat Mansour, Khaled El-Fakih

J. Softw. Maintenance Res. Pract., 1999

1997

Natural Optimization Algorithms for Optimal Regression Testing.

Nashat Mansour, Khaled El-Fakih

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997