S

Faculty

< Back to Faculty Hub

 

 

Profile

College / Department

College of Engineering
Department of Computer Science and Engineering

Teaching areas

Software Engineering (COE 531, CMP/COE 420), Software Testing (CMP 454), Formal Specification Methods (CMP 451), Formal Languages (CMP 470), Discrete Mathematics (CMP 213), Programming (CMP 220, CMP 120, CMP 108), Introduction to Engineering & Computing (NGN110), Introduction to Statistical Analysis (NGN 111), Computing Fundamentals (CMP 111)

Research areas

Testing of systems modeled as timed, untimed and extended finite state machines. Synthesis of distributed systems (Decomposition of Petri net services, Solving automata equations). Optimization with application to protocol synthesis, testing, and multimedia content delivery.

Education

PhD Computer Science, University of Ottawa, Canada, 2002
MSc Computer Science, Lebanese American Univesity, Lebanon
BA Business Administration, Lebanese American University, Lebanon
BS Computer Science, Lebanese American University, Lebanon

Professional experience

Visiting Researcher: Verimag Laboratory, University Joseph Fourier, France, 2007-2008
American University of Sharjah, UAE, 2001-present
Visiting Researcher: Osaka University (Japan), Tomsk State University (Russia), Institut Polytechnique de Grenoble (France), Université Antilles-Guyane (France), University of Ottawa (Canada), Nara Institute of Science and Technology (Japan).
Verification Engineering: A Nortel Company, Canada, 1998
Graduate Fellow: IBM Toronto Lab, 1997

Contact

kelfakih@aus.edu
+971 6 515 2492

Dr. Khaled El Fakih

Professor
PhD in Computer Science, University of Ottawa, Canada

Khaled El-Fakih worked as a graduate fellow at the IBM Toronto Laboratory and as a verification engineer at a Nortel Company. He was a visiting researcher at Osaka University, Tomsk State University, University of Ottawa, University of Verona, University of Sao Paulo and Nara Institute of Science and Technology. He spent one year’s sabbatical leave at Verimag Laboratory, Université Joseph Fourier, France. He was program co-chair of the 2008 IFIP International Conference on Formal Techniques for Networked and Distributed Systems. His research is in formal and software testing, synthesis of distributed systems, formal methods, optimization and application of genetic algorithms.

Publications

Yevtushenko, N., El-Fakih, K., Villa, T., Jiang, Jie-Hong: (2014) "Deriving Compositionally Deadlock-Free Components Over Synchronous Automata Compositions," The Computer Journal, doi:10.1093/comjnl/bxu117, Oxford Journals (Nov. 5, 2014)
El-Fakih, K., Salameh, T., Yevtushenko, N. (2014): "On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment," In Proc. of the 26th International Conference on Testing Software and Systems, Madrid, Spain, Nov. 23-25, Lecture Notes in Computer Science 8763,198-204
Bresolin, D.,El-Fakih, K., Villa, T., Yevtushenko, N. (2014): "Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power," Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy, Sept 10-12: 203-216
Kushik, N., El-Fakih, K., Yevtushenko, N., Cavalli A. "On Adaptive Experiments for Nondeterministic Finite State Machines," Software Tools for Technology Transfer, DOI 10.1007/s10009-014-0357-7, Nov. 2014, Springer.
El-Fakih, K., Gromov, M., Shabaldina, N., Yevtushenko, N (2013), “Distinguishing Experiments for Timed Non-Deterministic Finite State Machines”,Acta Cybernetica, 21(2): 205-222 (2013)..
El-Fakih, K., Yevtushenko, N., Simao, A. (2013), “A Practical Approach for Testing Timed Finite State Machines with Single Clocks”. Science of Computer Programming. DOI 10.1016/j.scico.2013.09.008.
Mizumoto, T., El-Fakih, K., Yasumoto, K. (2013) “PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in Smart-Home”, In Proc. of the 10th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC-2013), Vietri sul Mare, Italy.
Kushik, N., El-Fakih, K., Yevtushenko. N. (2013), “Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines”. In Proc. of the 25th International Conference on Testing Software and Systems (ICTSS 2013), Istanbul, Turkey, Lecture Notes in Computer Science 8254, pp. 33-48.
El-Fakih, K., Dorofeeva, R. Yevtushenko, N., Bochmann, G. v. (2012), “FSM-based Testing from User Defined Faults Adapted to Incremental and Mutation Testing”. Programming and Computer Software, Springer, 38(4), pp. 201-209, 2012.
Kushik, N., El-Fakih, K., Yevtushenko, N. (2011) “Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines”. In Proc. of the 16th International Conference on Implementation and Application of Automata (CIAA 2011), Blois, France, Lecture Notes in Computer Science 6807, pp 215-224
Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A., Yevtushenko, N. (2010) “FSM-based Conformance Testing Methods: A Survey Annotated with Experimental Evaluation”. Information and Software Technology, Elsevier, 52, pp. 1286-1297, 2010.
Kitani, T., Nakahashi, R. El-Fakih, K, Higashino, T. (2009),”Optimal Assignment of Periodic Real-time Systems into Dynamically Reconfigurable Processors,” In Proc. of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems andApplications (RTCSA 2009), Beijing, China, August, 2009.
El-Fakih, K., Yevtushenko, N., Fouchal H. (2009), ”Testing Timed Finite State Machines with Guaranteed Fault Coverage,” In Proc. of the 21th International Conference on Testing of Communicating Systems and the 9th International Workshop on Formal Approaches to Testing of Software-TestCom/Fates 2009, Eindhoven, Netherlands, Nov. 2009. Lecture Notes in Computer Science 5826, 66-80.
Gromov, M., El-Fakih, K., Shabaldina, N., Yevtushenko, N. (2009), ”Distinguishing Non-deterministic Timed Finite State Machines,” In Proc. of the 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, 137-151.
Sakai, Y., Hiromori, A., Yamaguchi, H., El-Fakih, K., Higashino T. (2009), ”An Integrated Tool for the Development of Overlay Services,” In Proc. of the International Conference on Simulation Tools and Techniques (SimuTools), Rome, March 2-6, 2009.
Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K.: 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
Barlas, G., El-Fakih K (2008). A GA-based Movie-on-demand Platform using Multiple Distributed Servers. Multimedia Tools and Applications, 40(3), 361-383.
Shabaldina, N., El-Fakih, K., Yevtushenko, N. (2008). “Testing Nondeterministic Finite State Machines with Respect to the Separability Relation,” In Proc. of the 19th International Conference on Testing of Communicating Systems and the 7th International Workshop on Formal Approaches to Testing of Software- TestCom/Fates 2007, Tallinn, Estonia, Lecture Notes in Computer Science 4581, 305-318.
El-Fakih, K., Kolomeez, A., Prokopenko, S., Yevtushenko, N. (2008). “Extended Finite State Machine Based Test Derivation Driven by User Defined Faults,” In Proc. of the IEEE International Conference on Software Testing, Verification, and Validation- ICST 2008, Lillehammer, Norway, 308-317.
El-Fakih, K., Yevtushenko, N. (2008). “Progressive Solutions to FSM Equations,” In Proc. of the 13th International Conference on Implementation and Application of Automata, San Francisco, USA, Lecture Notes in Computer Science 5148, 274-282.
Spitsyna, N., El-Fakih, K., Yevtushenko, N. (2007). Studying the separability relation between finite state machines. Software Testing, Verification and reliability. 17(4): 227-241.
Yamaguchi, H., El-Fakih, K., Bochmann v. G., and Higashino, T. (2007). Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets. Computer Networks, vol. 51, 258-284.
El-Fakih, K., Yevtushenko, N., Buffalov, S., Bochmann, G. (2006) Progressive solutions to a parallel automata equation. Theoretical Computer Science, 362, 17-32.
El-Fakih, K., Yevtushenko, N., & Bochmann, G. (2004). “FSM-based Incremental Conformance Testing Methods.” IEEE Transactions on Software Engineering, 30(7), 425-436.
Yamaguchi, H., El-Fakih, K., Bochmann, G., & Higashino, T (2003). “Protocol Synthesis and Re-synthesis with Optimal Allocation of Resources Based on Extended Petri Nets.” Journal of Distributed Computing, 16(1), 21-36.

Other creative/research

Steering Committee Member: FORTE 2009-2011,PC Member: Security Testing Workshop 2013, 2012, ICST-2012, 2011, 2010, ICTSS-2010, TestCom/Fates-2009, 2008, 2007.

© 2017 American University of Sharjah. All rights reserved.