| 2024 | ISNCC | Enhancing Cloud Data Security with Davies-Meyer Hash and Gestalt Pattern Matching in Blockchain. | Sheeja Rani S, Raafat Aburukba, Khaled El-Fakih |
| 2018 | QRS | GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants. | Emad Badawi, Khaled El-Fakih, Gerassimos D. Barlas |
| 2014 | ICST | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria. | Khaled El-Fakih, Adenilso Simo, Noshad Jadoon, Jos Carlos Maldonado |
| 2013 | UIC | 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 |
| 2009 | FORTE | Distinguing Non-deterministic Timed Finite State Machines. | Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko |
| 2009 | RTCSA | Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. | Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino |
| 2008 | ICST | Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. | Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko |
| 2006 | AICCSA | Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm. | Hamed Siefoddini, Khaled El-Fakih, Jalal Kawash, Nashat Mansour |
| 2005 | FORTE | An Improved Conformance Testing Method. | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko |
| 2005 | NOSSDAV | A formal approach to design optimized multimedia service overlay. | Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino |
| 2005 | SEFM | Experimental Evaluation of FSM-Based Testing Methods. | Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
| 2004 | FORTE | Fault Propagation by Equation Solving. | Khaled El-Fakih, Nina Yevtushenko |
| 2003 | FORTE | Progressive Solutions to a Parallel Automata Equation. | Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2001 | FORTE | Diagnosing Multiple Faults in Communicating Finite State Machines. | Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 1997 | COMPSAC | Natural Optimization Algorithms for Optimal Regression Testing. | Nashat Mansour, Khaled El-Fakih |