Khaled El-Fakih

	2011
31		Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko: Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. CIAA 2011: 215-224
	2010
30		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)
	2009
29		Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151
28		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
27		Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino: An integrated tool for development of overlay services. SimuTools 2009: 61
26		Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal: Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80
	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		Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282
23		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		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		Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318
20		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		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		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		Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258
16		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		Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218
14		Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino: A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62
13		Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32
	2004
12		Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198
11		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		Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75
9		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		Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382
7		Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210
6		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		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		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		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] [30]
5	Rita Dorofeeva	[13] [15] [30]
6	Hacène Fouchal	[26]
7	Maxim Gromov	[29]
8	Teruo Higashino	[3] [6] [14] [20] [25] [27] [28]
9	Akihito Hiromori	[14] [27]
10	Jalal Kawash	[18]
11	Tomoya Kitani	[28]
12	Anton Kolomeez	[23]
13	Natalia Kushik	[31]
14	Stéphane Maag (Stephane Maag)	[30]
15	Nashat Mansour	[1] [2] [18]
16	Ryo Nakahashi	[28]
17	Alexandre Petrenko	[17]
18	Svetlana Prokopenko	[7] [23]
19	Yuki Sakai	[27]
20	Natalia Shabaldina	[21] [29]
21	Hamed Siefoddini	[18]
22	Natalia Spitsyna	[10] [19]
23	Kenji Suzuki	[25]
24	Vadim Trenkaev	[10]
25	Hirozumi Yamaguchi	[3] [6] [14] [20] [27]
26	Keiichi Yasumoto	[25]
27	Nina Yevtushenko	[4] [5] [7] [8] [9] [10] [12] [13] [15] [16] [17] [19] [21] [23] [24] [26] [29] [30] [31]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page