default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKhaled El-Fakih
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j34]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: 107232-107246 (2024)- [j33]Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. 233: 103053 (2024) - [j32]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): 574-597 (2024) - 2023
- [j31]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): 4371-4389 (2023) - 2022
- [j30]Abid Farhan, Raafat Aburukba, Assim Sagahyroon, Mohammed Elnawawy, Khaled El-Fakih:
Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters. IEEE Access 10: 96909-96929 (2022) - [j29]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) - 2021
- [j28]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): 77-102 (2021) - [j27]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): 1-16 (2021) - [j26]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): 1029-1040 (2021) - [c32]Martin Lukac, Khaled El-Fakih:
On Distinguishing Sequences of Several Classes of Reversible Finite State Machines. ISMVL 2021: 113-119 - [i1]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR abs/2103.04868 (2021) - 2020
- [j25]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: 539-551 (2020) - [j24]Khaled El-Fakih, Teruhiro Mizumoto, Keiichi Yasumoto, Teruo Higashino:
Energy aware simulation and testing of smart-spaces. Inf. Softw. Technol. 118 (2020)
2010 – 2019
- 2019
- [j23]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): 757-768 (2019) - 2018
- [j22]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: 551-565 (2018) - [j21]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): 319-332 (2018) - [j20]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): 197-210 (2018) - [c31]Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino:
An Energy Aware Testing Framework for Smart-Spaces. ICTSS 2018: 85-101 - [c30]Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ICTSS 2018: 149-154 - [c29]Emad Badawi, Khaled El-Fakih, Gerassimos D. Barlas:
GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants. QRS Companion 2018: 187-198 - 2017
- [j19]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): 724-730 (2017) - [j18]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: 106-118 (2017) - 2016
- [j17]Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko:
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. Appl. Soft Comput. 49: 1175-1184 (2016) - [j16]Khaled El-Fakih, Nina Yevtushenko:
Test Translation for Embedded Finite State Machine Components. Comput. J. 59(12): 1805-1816 (2016) - [j15]Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem:
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4: 1 (2016) - [j14]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): 251-264 (2016) - [c28]Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov:
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. ICTSS 2016: 139-152 - 2015
- [j13]Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang:
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58(11): 2793-2803 (2015) - [e2]Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko:
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. Lecture Notes in Computer Science 9447, Springer 2015, ISBN 978-3-319-25944-4 [contents] - 2014
- [j12]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: 343-355 (2014) - [c27]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: 222-229 - [c26]Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko:
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. ICTSS 2014: 198-204 - [c25]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF 2014: 203-216 - 2013
- [j11]Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko:
Distinguishing Experiments for Timed Nondeterministic Finite State Machines. Acta Cybern. 21(2): 205-222 (2013) - [c24]Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ICTSS 2013: 33-48 - [c23]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: 64-71 - 2012
- [j10]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): 201-209 (2012) - 2011
- [c22]Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko:
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224 - 2010
- [j9]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): 1286-1297 (2010)
2000 – 2009
- 2009
- [c21]Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko:
Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151 - [c20]Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal:
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80 - [c19]Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino:
Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA 2009: 109-118 - [c18]Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino:
An integrated tool for development of overlay services. SimuTools 2009: 61 - 2008
- [j8]Gerassimos D. Barlas, Khaled El-Fakih:
A GA-based movie-on-demand platform using multiple distributed servers. Multim. Tools Appl. 40(3): 361-383 (2008) - [c17]Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko:
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST 2008: 308-317 - [c16]Khaled El-Fakih, Nina Yevtushenko:
Progressive Solutions to FSM Equations. CIAA 2008: 274-282 - [e1]Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih:
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048, Springer 2008, ISBN 978-3-540-68854-9 [contents] - 2007
- [j7]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): 258-284 (2007) - [j6]Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko:
Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. 17(4): 227-241 (2007) - [c15]Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko:
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318 - 2006
- [j5]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): 501-520 (2006) - [j4]Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann:
Progressive solutions to a parallel automata equation. Theor. Comput. Sci. 362(1-3): 17-32 (2006) - [c14]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: 859-866 - [c13]Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko:
FSM Test Translation Through Context. TestCom 2006: 245-258 - 2005
- [c12]Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko:
An Improved Conformance Testing Method. FORTE 2005: 204-218 - [c11]Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino:
A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62 - [c10]Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli:
Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32 - 2004
- [j3]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004) - [c9]Khaled El-Fakih, Nina Yevtushenko:
Fault Propagation by Equation Solving. FORTE 2004: 185-198 - [c8]Gerassimos D. Barlas, Khaled El-Fakih:
Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm. MMNS 2004: 282-294 - [c7]Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko:
FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75 - 2003
- [j2]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): 21-35 (2003) - [c6]Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382 - [c5]Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210 - 2002
- [c4]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-based Re-Testing Methods. TestCom 2002: 373-390 - 2001
- [c3]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100 - 2000
- [c2]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: 305-308
1990 – 1999
- 1999
- [j1]Nashat Mansour, Khaled El-Fakih:
Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. J. Softw. Maintenance Res. Pract. 11(1): 19-34 (1999) - 1997
- [c1]Nashat Mansour, Khaled El-Fakih:
Natural Optimization Algorithms for Optimal Regression Testing. COMPSAC 1997: 511-514
Coauthor Index
aka: Gregor v. Bochmann
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
