The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Khaled El-Fakih: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nashat Mansour, Khaled Fakih
    Natural Optimization Algorithms for Optimal Regression Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:511-514 [Conf]
  2. 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]
  3. Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
    An Improved Conformance Testing Method. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:204-218 [Conf]
  4. Khaled El-Fakih, Nina Yevtushenko
    Fault Propagation by Equation Solving. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:185-198 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
    FSM Test Translation Through Context. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:245-258 [Conf]
  10. 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]
  11. 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]
  12. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:373-390 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]

  20. Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm. [Citation Graph (, )][DBLP]


  21. Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]


  22. Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]


  23. Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. [Citation Graph (, )][DBLP]


  24. Progressive Solutions to FSM Equations. [Citation Graph (, )][DBLP]


  25. Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. [Citation Graph (, )][DBLP]


  26. An integrated tool for development of overlay services. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002