|
Search the dblp DataBase
Khaled El-Fakih:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nashat Mansour, Khaled Fakih
Natural Optimization Algorithms for Optimal Regression Testing. [Citation Graph (0, 0)][DBLP] COMPSAC, 1997, pp:511-514 [Conf]
- Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Progressive Solutions to a Parallel Automata Equation. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:367-382 [Conf]
- Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
An Improved Conformance Testing Method. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:204-218 [Conf]
- Khaled El-Fakih, Nina Yevtushenko
Fault Propagation by Equation Solving. [Citation Graph (0, 0)][DBLP] FORTE, 2004, pp:185-198 [Conf]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Diagnosing Multiple Faults in Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP] FORTE, 2001, pp:85-100 [Conf]
- Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. [Citation Graph (0, 0)][DBLP] ASE, 2000, pp:305-308 [Conf]
- Gerassimos D. Barlas, Khaled El-Fakih
Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm. [Citation Graph (0, 0)][DBLP] MMNS, 2004, pp:282-294 [Conf]
- Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino
A formal approach to design optimized multimedia service overlay. [Citation Graph (0, 0)][DBLP] NOSSDAV, 2005, pp:57-62 [Conf]
- Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
FSM Test Translation Through Context. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:245-258 [Conf]
- Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
Fault Diagnosis in Extended Finite State Machines. [Citation Graph (0, 0)][DBLP] TestCom, 2003, pp:197-210 [Conf]
- Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
FSM Based Interoperability Testing Methods for Multi Stimuli Model. [Citation Graph (0, 0)][DBLP] TestCom, 2004, pp:60-75 [Conf]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:373-390 [Conf]
- Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
Experimental Evaluation of FSM-Based Testing Methods. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:23-32 [Conf]
- Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. [Citation Graph (0, 0)][DBLP] Computer Networks, 2007, v:51, n:1, pp:258-284 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2003, v:16, n:1, pp:21-35 [Journal]
- Nashat Mansour, Khaled El-Fakih
Simulated Annealing and Genetic Algorithms for Optimal Regression Testing. [Citation Graph (0, 0)][DBLP] Journal of Software Maintenance, 1999, v:11, n:1, pp:19-34 [Journal]
- Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
Progressive solutions to a parallel automata equation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:362, n:1-3, pp:17-32 [Journal]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-Based Incremental Conformance Testing Methods. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:7, pp:425-436 [Journal]
- Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. [Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:305-318 [Conf]
Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm. [Citation Graph (, )][DBLP]
Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]
Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]
Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. [Citation Graph (, )][DBLP]
Progressive Solutions to FSM Equations. [Citation Graph (, )][DBLP]
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. [Citation Graph (, )][DBLP]
An integrated tool for development of overlay services. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.303secs
|