Associate Professor of Computer Science

American University of Sharjah

College of Engineering

School of Computer Science and Engineering

PO BOX: 26666

Sharjah,

United Arab Emirates

E-mail:  kelfakih@aus.edu
 

Last updated: June, 2011

 

Biography

Khaled El-Fakih received his B.S. and M.S. degrees in computer science from the Lebanese American University and his PhD in Computer Science from the University of Ottawa. He worked as a Graduate Fellow at the IBM Toronto Laboratory in 1997 and as a Verification Engineer at Cambrian Systems Corporation (a Nortel Company) in 1998. He joined the American University of Sharjah in 2001. During 2007-2008 he was a Visiting Researcher in Verimag Laboratory, University Joseph Fourier, France (http://www-verimag.imag.fr/). He has stayed as a Visiting Researcher/Professor in Osaka University (Japan), Tomsk State University (Russia), University of Ottawa (Canada), Nara Institute of Science and Technology (Japan), Institut Polytechnique de Grenoble (France), and Universitι Antilles-Guyane (France).

 

Research Work

*  Synthesis of distributed systems: Service Decomposition and Equation Solving.

*  Test derivation from formal specifications (conformance testing).

*  Formulation of optimization problems related to multi-media content delivery, protocol synthesis, and software testing.

*  Application of genetic and simulated annealing algorithms.

 

Publications:

 

Co-Edited Book

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     http://www.springerlink.com/content/978-3-540-68854-9/

 

Testing and Fault Diagnosis

 

1.         “Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines,” Kushik, N., El-Fakih, K., Yevtushenko, N. In 16th International Conference on Implementation and Application of Automata (CIAA 2011), Blois, France, Lecture Notes in Computer Science.

2.        “FSM-based conformance testing methods: a survey annotated with experimental evaluation,” Dorofeeva, R. El-Fakih, K., Maag, S.,  Cavalli, A., Yevtushenko, N. Information and Software Technology Journal, Elsevier, 52, pp. 1286-1297, 2010.

3.        “Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context,”  El-Fakih, K. Groz, R.  Muhamad. N. Irfan M., and Shahbaz, M. In 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10), Natal, Brazil, 2010.

4.        “Testing Timed Finite State Machines with Guaranteed Fault Coverage (2009). El-Fakih, K., Yevtushenko, N., Fouchal, H. In Proc. of the IFIP 21th International Conference on Testing of Communicating Systems and the 9th International Workshop on Formal Approaches to Testing of Software (TestCom-Fates 2009), Nov. 2009, Eindhoven, The Netherlands. Lecture Notes in Computer Science 5826, 66-80, 2009.

5.        “Distinguishing Non-deterministic Timed Finite State Machines,” (2009). Gromov, M., El-Fakih, K., Shabaldina, N., Yevtushenko, N.: 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems. Lisbon, Portugal, June, 2009. Lecture Note in Computer Science 5522, pp. 137-151.

6.        “Extended finite state machine based test derivation driven by user defined faults,” (2008), K. El-Fakih, A. Kolomeez, S. Prokopenko, N. Yevtushenko, IEEE International Conference on Software Testing, Verification, and Validation (ICST), Lillehammer, Norway, April 9-11, pp 308-317.

7.        Studying the separability relation between finite state machines (2007), N. Spitsyna, K. El-Fakih, N. Yevtushenko, Software Testing, Verification and Reliability, 2007, 17(4), pp. 227-241.

8.        “Testing nondeterministic finite state machines with respect to the separability relation,” (2007) N. Shabaldine, K. El-Fakih, N. Yevtushenko, In Proc. of the IFIP 19th International Conference on Testing of Communicating Systems and the 7th International Workshop on Formal Approaches to Testing of Software (TestCom-Fates 2007), Tallinn, June 26-29, Estonia, Lecture Notes in Computer Science 4581, pp. 305-318.

9.        “FSM test translation through context,” (2006) El-Fakih, K., Petrenko, A., Yevtushenko, N. In Proc. of the IFIP 18th International Conference on Testing of Communicating Systems (TestCom 2006), New York, May 16-18, New York, USA, New York, USA, Lecture Notes in Computer Science 3964, pp. 245-258. [PDF]

10.     “An improved conformance testing method,” (2005) Dorofeeva, M., El-Fakih, K., & Yevtushenko, N. In Proc. of the IFIP 25th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taipei, Oct. ‘05. Lecture Notes in Computer Science 3731, 204-218, 2005.

11.     “Experimental evaluation of FSM-based testing methods,” (2005) Dorofeeva, M., El-Fakih, K., Maag S., A. R.Cavalli, & Yevtushenko, N. (2005). In Proc. IEEE International Conference on Software Engineering and Formal Methods (SEFM05), Germany, 2005, pp. 23-32.

12.     “FSM-based Incremental Conformance Testing Methods,” (2004) El-Fakih, K., Yevtushenko, N., & Bochmann, G. IEEE Transactions on Software Engineering, 30(7), 425-436.

13.     “FSM Based Interoperability Testing Methods for Mutli Stimuli Model,” (2004) El-Fakih, K., Trenkaev, V., Spitsyna, N., Yevtushenko, N.. In Proceedings of the IFIP16th International Conference on Testing of Communicating Systems, Oxford, UK. Lecture Notes in Computer Science 2978, 60-75. [PDF]

14.     “Incremental Testing Methods for Implementations with more States than Specifications (2004) Dorofeeva, M., El-Fakih, K., & Yevtushenko, N. Vestnik Tomskogo Gosudarstvennogo Universiteta (Vestnik of Tomsk State University Journal), 2004, N 9 (1), pp. 163-168

15.     “Fault Diagnosis in Extended Finite State Machines,” (2003) El-Fakih, K., Prokopenko, S., Yevtushenko, N., & Bochmann, G. In Proceedings of the IFIP15th International Conference on Testing of Communicating Systems (TestCom2003), France. Lecture Notes in Computer Science 2644, pp. 197-210. [PDF]

16.     “FSM Based Re-testing Methods,” (2002) El-Fakih, K., Yevtushenko, N., & Bochmann, G.. In Proceedings of the IFIP 14 th International Conference on Testing of Communicating Systems (TestCom2002), Berlin, Germany, 19-22. [PDF]

17.     Diagnosing Multiple Faults in Communicating Finite State Machines,” (2001) El-Fakih, K., Yevtushenko, N., & Bochmann, G.. In Proceedings of the IFIP 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), Cheju Island, Korea, 85-100. [PDF]

18.     “Diagnostic Tests for Embedded and Communicating FSMs,” (1999) El-Fakih, K. & Bochmann, G.. In Proc. of the EEEL Workshop on Software Embedded Systems and Testing (WSEST’99), NIST, Maryland, USA.

19.     “Simulated Annealing and Genetic Algorithms for Optimal Regression Testing,” (1999) Mansour, N., El-Fakih, K. Journal of Software Maintenance, 1(11), 19-34.

 

Synthesis of Distributed Systems: Decomposition and Equation Solving

 

  1. “An Integrated Tool for the Development of Overlay Services (2009). Saki, Y., Hiromori, A., Yamaguchi, H., El-Fakih, K., Higashino T., International Conference on Simulation Tools and Techniques:–SIMUTools 2009, Rome, Italy, March, 2009. [PDF]
  2. “Progressive Soluctions to FSM Equations (2008) El-Fakih, K., Yevtushenko, N., 13th International Conference on Implementation and Application of Automata, San Francisco, July 21-24, USA. Lecture Notes in Computer Science 5148, 274-282. [PDF]
  3. Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets. (2007) Yamaguchi, H., El-Fakih, K., Bochmann v. G., and Higashino, T. Computer Networks, vol. 51, 258-284. [PDF]
  4. Progressive solutions to a parallel automata equation. (2006) El-Fakih, K., Yevtushenko, N., Buffalov, S., Bochmann, G. Theoretical Computer Science, 362, 17-32. [PDF]
  5. “Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets,” Yamaguchi, H., El-Fakih, K., Bochmann, G., & Higashino, T (2003). Journal of Distributed Computing, 16(1), 21-36.
  6. “Progressive Solutions to a Parallel Automata Equation,” (2003) Buffalov, S., El-Fakih, K., Yevtushenko, N., & Bochmann, G.. In Proceedings of the IFIP23rd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), Berlin, Germany. Lecture Notes in Computer Science 2767, 367-382.
  7. “Protocol Re-synthesis Based on Extended Petri Nets,” (2000) El-Fakih, K., Yamaguchi, H., Bochmann, G., & Higashino, T. In Proceedings of the International Workshop on Software Engineering and Petri Nets (SEPN-2000), Aarhus, Denmark.
  8. “On the Fly Re-synthesis of Communications Protocols,” (2000) El-Fakih, K., Saleh, K., & Bochmann, G.. In Proceedings of the 12 th International Conference on Parallel and Distributed Computing and Systems (PDCS’00), Las Vegas, NV, USA.
  9. “Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources,” (2000) Yamaguchi, H., El-Fakih, K., Bochmann, G., & Higashino, T.. In Proceedings of the International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD '00), Reims, France, 19-26.

         

Optimization and heuristics

 

1.        “Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors (2009). Kitani, T., Nakahashi, R., El-Fakih, K., Higashino, T.: The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and  Applications (RTCSA 2009), Beijing, China, August, 2009.

2.        A GA-based Movie-on-demand Platform using Multiple Distributed Servers. (2008). Barlas G., and El-Fakih, K. Multimedia Tools and Applications: 40(3), 361-383.

3.        Petri net Protocol Synthesis with Minimum Communication Costs. El-Fakih, K., Yamaguchi, H., Bochmann, G., Higashino, T. (2006). Journal of the Franklin Institute: Engineering and Applied Mathematics, Elsevier, 343, pp. 501-520.

4.        Incremental genetic algorithm. Awad, M., Mansour, N., El-Fakih, K. (2006). The International Arab Journal of Information Technology, 3(1), pp. 42-47.

5.        “A Formal Approach to Design Optimized Multimedia Service Overlay (2005)  Yamaguchi, H., El-Fakih, K., Hiromori, A., & Higashino, T. In Proc. 15th ACM SIGMultimedia International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSDAV05), Washington, 12-14 June, USA. [PDF]

6.        “Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients Using a Genetic Algorithm,” (2004) Barlas, G. & El-Fakih, K.  In Proceedings of the IFIP/IEEE 7th International Conference on Management of Multimedia Networks and Services (MMNS), San Diego, USA. Lecture Notes in Computer Science 3271, 282-294. [PDF]

7.        “Allocation and re-allocation of data in a Grid using an adaptive genetic algorithm (2006) Siefoddini, H., El-Fakih, K., & Kawash, J.. In Proc. of the 5th IEEE International Conference on Computer Systems and Applications, 2006.

8.        Incremental Genetic Algorithm,” (2002) Awad, M., Mansour, N., El-Fakih, K. In Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, Foz do Iguazu, Brazil, 24-29.

9.        “Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources,” (2000) El-Fakih, K., Yamaguchi, H., Bochmann G., & Higashino, T. In Proc. of the 15th IEEE International Conference on Automated Software Engineering (ASE'2000), Grenoble, France.

10.     “Protocol Re-synthesis Based on Extended Petri Nets,” (2000) El-Fakih, K., Yamaguchi, H., Bochmann, G., & Higashino, T. In Proceedings of the International Workshop on Software Engineering and Petri Nets (SEPN-2000), Aarhus, Denmark.

11.     “A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost,” (1999) El-Fakih, K., Yamaguchi, H., Bochmann, G., & Higashino T. In Proceedings of the 11th International Conference on Parallel and Distributed Computing and Systems (PDCS’99), Cambridge, MA, USA.

12.     “Natural Optimization Algorithms for Optimal Regression Testing,” (1997) Mansour, N., EL-Fakih, K. In Proceedings of Computer Software and Applications COMPSAC ’97, Washington, DC, USA, 13-15.

 

TutorialS

  1. Incremental Testing Methods. (2011) El-Fakih, K., TAROT (Training and Research on Testing) Summer School 2009, Saint Petersburg, Russia, June 27-July 1. http://imop-spbspu.ru/tarot_summer_school/about
  2. On Distinguishing and Testing Untimed and Timed Non-deterministic Finite State Machines (2009). TAROT (Training and Research on Testing) Summer School 2009, Las Navas del Marques, Spain, July 6-10. http://kimba.mat.ucm.es/tarot09/
  3. Protocol Testing: from basic theory to future trends, (2005) Higashino, T. & El-Fakih, K., IFIP 25th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taipei, Taiwan.
  4. Testing of Communication Protocols and Software. (2001) Probert, R., El-Fakih, K., & Williams, A. ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon.

Program Committee Member:

*       5rd IEEE Int. Conference on Software Testing, Verification, and Validation (ICST 2012), Montreal, Canada, April 2012. http://icst2012.soccerlab.polymtl.ca/Content/home/index.php?language=english

*       4rd IEEE Int. Conference on Software Testing, Verification, and Validation (ICST 2011), Berlin, Germany, March 2011.

http://sites.google.com/site/icst2011/

*       22 Int. Conference on Testing Software and Systems (ICTSS-2010), Natal, Brazil, Nov. 2010.

http://ictss2010.dimap.ufrn.br/ictss/

*       3rd IEEE Int. Conference on Software Testing, Verification, and Validation (ICST 2010), Paris, France, April 2010.

 http://vps.it-sudparis.eu/icst2010/

*       21 IFIP Int. Conference on Testing Communication Systems (TestCom) and 9th Int. Workshop on Formal Approaches to Testing of Software (FATES), Eindhoven, Netherlands, Nov., 2009. http://kimba.mat.ucm.es/testcom-fates09/

*       The First International Conference on Advances in System Testing and Validation Lifecycle, http://www.iaria.org/conferences2009/VALID09.html

*       12th Int. Conference On Principles Of Distributed Systems (OPODIS), December 15th-18th 2008, Luxor, Egypt http://www.opodis.net/

*       20th IFIP Int. Conference on Testing Communication Systems (TestCom) and 8th Int. Workshop on Formal Approaches to Testing of Software (FATES), Tokyo, Japan, June 2008. http://www-higashi.ist.osaka-u.ac.jp/TESTCOM-FATES08/

*       4th Workshop on Advances in Model Based Testing (AMOST), Lillehammer, Norway, April 2008, http://kimba.mat.ucm.es/AMOST08/

*       19th IFIP Int. Conference on Testing Communication Systems (TestCom) and 7th Int. Workshop on Formal Approaches to Testing of Software (FATES), Tallin, Estonia, June 2007. http://testcom-fates07.ioc.ee/

*       International Workshop on Future Mobile and Ubiquitous Information Technologies, Nara, Japan, May, 2006.

*       25th Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE05), Taipai, Taiwan, Oct. 2005. http://cc.ee.ntu.edu.tw/~forte05/

*       4th  IEEE Int. Conference on Computer Systems and Applications (AICCSA06), 2006.

*       Information Resources Management Association (IRMA) International Conference, 2006.

 

Teaching:

Courses taught at the American University of Sharjah, UAE.

Course

Description

NGN 110

Introduction to Engineering and Computing

NGN 111

Introduction to Statistical Analysis

CMP 111

Computing Fundamentals

CMP 108

Java Programming

CMP 120

Introduction to Computer Science I

CMP 220

Introduction to Computer Science II

CMP 213

Discrete Structures

CMP 350

Introduction to Software Engineering

CMP 454

Software Testing and Quality Engineering

CMP 470

Formal Languages and Computability I

CMP 451

Formal Specification Methods

COE 531

Advanced Software Engineering