Khaled El-Fakih Vis

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

Coauthor Index

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

Colors in the list of coauthors