Khaled El-Fakih

Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann: FSM-based testing from user defined faults adapted to incremental and mutation testing. Programming and Computer Software 38(4): 201-209 (2012)

Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko: Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224

Rita Dorofeeva, Khaled El-Fakih, Stéphane Maag, Ana R. Cavalli, Nina Yevtushenko: FSM-based conformance testing methods: A survey annotated with experimental evaluation. Information & Software Technology 52(12): 1286-1297 (2010)

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151

Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal: Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80

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

Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino: An integrated tool for development of overlay services. SimuTools 2009: 61

Gerassimos D. Barlas, Khaled El-Fakih: A GA-based movie-on-demand platform using multiple distributed servers. Multimedia Tools Appl. 40(3): 361-383 (2008)

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

Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): 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

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Computer Networks 51(1): 258-284 (2007)

Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko: Studying the separability relation between finite state machines. Softw. Test., Verif. Reliab. 17(4): 227-241 (2007)

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318

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)

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

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258

Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218

Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino: A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62

Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)

Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198

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

Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75

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 Computing 16(1): 21-35 (2003)

Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390

Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100

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

Nashat Mansour, Khaled El-Fakih: Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. Journal of Software Maintenance 11(1): 19-34 (1999)

Nashat Mansour, Khaled El-Fakih: Natural Optimization Algorithms for Optimal Regression Testing. COMPSAC 1997: 511-514