Khaled El-Fakih

2009
24	EE	Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino: An integrated tool for development of overlay services. SimuTools 2009: 61
2008
23		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 Springer 2008
22	EE	Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282
21	EE	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
20	EE	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)
2007
19	EE	Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318
18	EE	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)
17	EE	Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko: Studying the separability relation between finite state machines. Softw. Test., Verif. Reliab. 17(4): 227-241 (2007)
2006
16	EE	Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258
15	EE	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)
2005
14	EE	Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218
13	EE	Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino: A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62
12	EE	Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32
2004
11	EE	Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198
10	EE	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
9	EE	Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75
8	EE	Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)
2003
7	EE	Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382
6	EE	Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210
5	EE	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)
2002
4		Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390
2001
3		Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100
2000
2	EE	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
1999
1	EE	Nashat Mansour, Khaled El-Fakih: Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. Journal of Software Maintenance 11(1): 19-34 (1999)

Coauthor Index

1	Gerassimos D. Barlas	[10] [20]
2	Gregor von Bochmann	[2] [3] [4] [5] [6] [7] [8] [15] [18]
3	Sergey Buffalov	[7] [15]
4	Ana R. Cavalli	[12]
5	Rita Dorofeeva	[12] [14]
6	Teruo Higashino	[2] [5] [13] [18] [23] [24]
7	Akihito Hiromori	[13] [24]
8	Anton Kolomeez	[21]
9	Nashat Mansour	[1]
10	Alexandre Petrenko	[16]
11	Svetlana Prokopenko	[6] [21]
12	Yuki Sakai	[24]
13	Natalia Shabaldina	[19]
14	Natalia Spitsyna	[9] [17]
15	Kenji Suzuki	[23]
16	Vadim Trenkaev	[9]
17	Hirozumi Yamaguchi	[2] [5] [13] [18] [24]
18	Keiichi Yasumoto	[23]
19	Nina Yevtushenko	[3] [4] [6] [7] [8] [9] [11] [12] [14] [15] [16] [17] [19] [21] [22]

Colors in the list of coauthors