Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Khaled
    Last name: El-Fakih
    DBLP: 83/1062
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 45 of 45  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado.
    An assessment of extended finite state machine test selection criteria.
    Journal of Systems and Software 2017, Volume 123 (0) 2017
    Conference paper
    Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli.
    On adaptive experiments for nondeterministic finite state machines.
    STTT 2016, Volume 18 (0) 2016
    Journal article
    Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem.
    Distinguishing extended finite state machine configurations using predicate abstraction.
    J. Software Eng. RD 2016, Volume 4 (0) 2016
    Conference paper
    Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov.
    On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications.
    Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Khaled El-Fakih, Abdul Rahim Haddad, Nassima Aleb, Nina Yevtushenko.
    Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.
    Appl. Soft Comput. 2016, Volume 49 (0) 2016
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko.
    Test Translation for Embedded Finite State Machine Components.
    Comput. J. 2016, Volume 59 (0) 2016
    Conference paper
    Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong Roland Jiang.
    Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
    Comput. J. 2015, Volume 58 (0) 2015
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Adenilso da Silva Simão.
    A practical approach for testing timed deterministic finite state machines with single clock.
    Sci. Comput. Program. 2014, Volume 80 (0) 2014
    Conference paper
    Khaled El-Fakih, Adenilso da Silva Simão, Noshad Jadoon, José Carlos Maldonado.
    On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria.
    Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA 2014 (0) 2014
    Journal article
    Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko.
    Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
    Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. 2014, Volume 161 (0) 2014
    Conference paper
    Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko.
    On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment.
    Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko.
    Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines.
    Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings 2013 (0) 2013
    Conference paper
    Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto.
    PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home.
    2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, UIC/ATC 2013, Vietri sul Mare, Sorrento Peninsula, Italy, December 18-21, 2013 2013 (0) 2013
    Conference paper
    Khaled El-Fakih, Maxim Gromov, Natalia Shabaldina, Nina Yevtushenko.
    Distinguishing Experiments for Timed Nondeterministic Finite State Machines.
    Acta Cybern. 2013, Volume 21 (0) 2013
    Conference paper
    Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann.
    FSM-based testing from user defined faults adapted to incremental and mutation testing.
    Programming and Computer Software 2012, Volume 38 (0) 2012
    Conference paper
    Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko.
    Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines.
    Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings 2011 (0) 2011
    Conference paper
    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 2010, Volume 52 (0) 2010
    Conference paper
    Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko.
    Distinguing Non-deterministic Timed Finite State Machines.
    Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal.
    Testing Timed Finite State Machines with Guaranteed Fault Coverage.
    Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino.
    An integrated tool for development of overlay services.
    Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009 2009 (0) 2009
    Conference paper
    Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino.
    Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors.
    15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, 24-26 August 2009 2009 (0) 2009
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko.
    Progressive Solutions to FSM Equations.
    Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko.
    Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.
    First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008 2008 (0) 2008
    Conference paper
    Gerassimos D. Barlas, Khaled El-Fakih.
    A GA-based movie-on-demand platform using multiple distributed servers.
    Multimedia Tools Appl. 2008, Volume 40 (0) 2008
    Conference paper
    Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko.
    Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.
    Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino.
    Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
    Computer Networks 2007, Volume 51 (0) 2007
    Conference paper
    Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko.
    Studying the separability relation between finite state machines.
    Softw. Test., Verif. Reliab. 2007, Volume 17 (0) 2007
    Conference paper
    Hamed Siefoddini, Khaled El-Fakih, Jalal Kawash, Nashat Mansour.
    Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm.
    2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), March 8-11, Dubai/Sharjah, UAE 2006 (0) 2006
    Conference paper
    Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko.
    FSM Test Translation Through Context.
    Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann.
    Progressive solutions to a parallel automata equation.
    Theor. Comput. Sci. 2006, Volume 362 (0) 2006
    Conference paper
    Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko.
    An Improved Conformance Testing Method.
    Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino.
    A formal approach to design optimized multimedia service overlay.
    Network and Operating System Support for Digital Audio and Video, 15th International Workshop, NOSSDAV 2005, Stevenson, Washington, USA, June 13-14, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli.
    Experimental Evaluation of FSM-Based Testing Methods.
    Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany 2005 (0) 2005
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko.
    Fault Propagation by Equation Solving.
    Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Gerassimos D. Barlas, Khaled El-Fakih.
    Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm.
    Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings 2004 (0) 2004
    Conference paper
    Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko.
    FSM Based Interoperability Testing Methods for Multi Stimuli Model.
    Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann.
    FSM-Based Incremental Conformance Testing Methods.
    IEEE Trans. Software Eng. 2004, Volume 30 (0) 2004
    Conference paper
    Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann.
    Progressive Solutions to a Parallel Automata Equation.
    Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann.
    Fault Diagnosis in Extended Finite State Machines.
    Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings 2003 (0) 2003
    Conference paper
    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 2003, Volume 16 (0) 2003
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann.
    FSM-based Re-Testing Methods.
    Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002 2002 (0) 2002
    Conference paper
    Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann.
    Diagnosing Multiple Faults in Communicating Finite State Machines.
    Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21 2001 (0) 2001
    Conference paper
    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 (0) 2000
    Conference paper
    Nashat Mansour, Khaled El-Fakih.
    Simulated Annealing and Genetic Algorithms for Optimal Regression Testing.
    Journal of Software Maintenance 1999, Volume 11 (0) 1999
    Conference paper
    Nashat Mansour, Khaled El-Fakih.
    Natural Optimization Algorithms for Optimal Regression Testing.
    21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA 1997 (0) 1997
    Show item 1 to 45 of 45  

    Your query returned 45 matches in the database.