Khaled El-Fakih

发表

Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm

Jalal Kawash, Hamed Siefoddini, Khaled El-Fakih, 2006, IEEE International Conference on Computer Systems and Applications, 2006..

Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings

Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, 2008, FORTE.

FSM-based incremental conformance testing methods

Gregor von Bochmann, Khaled El-Fakih, Nina Yevtushenko, 2004, IEEE Transactions on Software Engineering.

On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment

Nina Yevtushenko, Khaled El-Fakih, Tariq Salameh, 2014, ICTSS.

A GA-based movie-on-demand platform using multiple distributed servers

Khaled El-Fakih, Gerassimos D. Barlas, K. El-Fakih, 2008, Multimedia Tools and Applications.

A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources

Hirozumi Yamaguchi, Teruo Higashino, Khaled El-Fakih, 2000 .

On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria

Khaled El-Fakih, Adenilso da Silva Simão, José Carlos Maldonado, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

A practical approach for testing timed deterministic finite state machines with single clock

Nina Yevtushenko, Khaled El-Fakih, Adenilso da Silva Simão, 2014, Sci. Comput. Program..

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines

Nina Yevtushenko, Khaled El-Fakih, Nassima Aleb, 2016, Appl. Soft Comput..

On adaptive experiments for nondeterministic finite state machines

Ana R. Cavalli, Nina Yevtushenko, Khaled El-Fakih, 2014, International Journal on Software Tools for Technology Transfer.

FSM Test Translation Through Context

Nina Yevtushenko, Alexandre Petrenko, Khaled El-Fakih, 2006, TestCom.

Diagnosing Multiple Faults in Communicating Finite State Machines

Gregor von Bochmann, Khaled El-Fakih, Nina Yevtushenko, 2001, FORTE.

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Teruo Higashino, Gregor von Bochmann, 2003, Distributed Computing.

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors

Teruo Higashino, Ryo Nakahashi, Khaled El-Fakih, 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines

Nina Yevtushenko, Khaled El-Fakih, Natalia Kushik, 2013, ICTSS.

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines

Nina Yevtushenko, Khaled El-Fakih, Natalia Kushik, 2011, CIAA.

Progressive Solutions to a Parallel Automata Equation

Gregor von Bochmann, Khaled El-Fakih, Nina Yevtushenko, 2003, FORTE.

Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions

Tiziano Villa, Nina Yevtushenko, Jie-Hong Roland Jiang, 2015, Comput. J..

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

Nina Yevtushenko, Khaled El-Fakih, Natalia Kushik, 2017, Formal Aspects of Computing.

An Improved Conformance Testing Method

Nina Yevtushenko, Khaled El-Fakih, Rita Dorofeeva, 2005, FORTE.

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Davide Bresolin, Tiziano Villa, Nina Yevtushenko, 2014, GandALF.

Natural optimization algorithms for optimal regression testing

Khaled El-Fakih, Nashat Mansour, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

Energy aware simulation and testing of smart-spaces

Teruo Higashino, Keiichi Yasumoto, Teruhiro Mizumoto, 2020, Inf. Softw. Technol..

An assessment of extended finite state machine test selection criteria

Khaled El-Fakih, Adenilso da Silva Simão, José Carlos Maldonado, 2017, J. Syst. Softw..

Distinguing Non-deterministic Timed Finite State Machines

Nina Yevtushenko, Maxim Gromov, Khaled El-Fakih, 2009, FMOODS/FORTE.

FSM-based Re-Testing Methods

Nina Yevtushenko, Gregor von Bochmann, Khaled El-Fakih, 2002, TestCom.

Incremental Genetic Algorithm

Khaled El-Fakih, Nashat Mansour, Mohamad Awad, 2004 .

Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, 2008 .

Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447

Nina Yevtushenko, Khaled El-Fakih, Gerassimos D. Barlas, 2015 .

An Energy Aware Testing Framework for Smart-Spaces

Teruo Higashino, Keiichi Yasumoto, Teruhiro Mizumoto, 2018, ICTSS.

Progressive solutions to a parallel automata equation

Nina Yevtushenko, Gregor von Bochmann, Khaled El-Fakih, 2006, Theor. Comput. Sci..

A formal approach to design optimized multimedia service overlay

Hirozumi Yamaguchi, Teruo Higashino, Akihito Hiromori, 2005, NOSSDAV '05.

Studying the separability relation between finite state machines

Nina Yevtushenko, Khaled El-Fakih, Natalia Spitsyna, 2007, Softw. Test. Verification Reliab..

A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost

Hirozumi Yamaguchi, Gregor von Bochmann, Khaled El-Fakih, 1999 .

Test Translation for Embedded Finite State Machine Components

Khaled El-Fakih, Nina Yevtushenko, 2016, Comput. J..

FSM-based testing from user defined faults adapted to incremental and mutation testing

Nina Yevtushenko, Gregor von Bochmann, Khaled El-Fakih, 2012, Programming and Computer Software.

GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants

Khaled El-Fakih, Gerassimos D. Barlas, Emad Badawi, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults

Svetlana Prokopenko, Khaled El-Fakih, Nina Yevtushenko, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Automatic derivation of Petri net based distributed specification with optimal allocation of resources

Hirozumi Yamaguchi, Teruo Higashino, Gregor von Bochmann, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

Experimental evaluation of FSM-based testing methods

Ana R. Cavalli, Khaled El-Fakih, Nina Yevtushenko, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

Parallel implementation for deriving preset distinguishing experiments of nondeterministic finite state machines

Gerassimos Barlas, Khaled El-Fakih, Abdul Rahim Haddad, 2017, 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO).

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts

Nina Yevtushenko, Khaled El-Fakih, Aleksandr Tvardovskii, 2018, ICTSS.

Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context

Khaled El-Fakih, Roland Groz, Muzammil Shahbaz, 2010, ICTSS 2010.

$\mathcal{K}$ -branching UIO sequences for partially specified observable non-deterministic FSMs

Uraz Cengiz Türker, Khaled El-Fakih, Robert M. Hierons, 2020 .

Petri net-based protocol synthesis with minimum communication costs

Hirozumi Yamaguchi, Teruo Higashino, Gregor von Bochmann, 2006, J. Frankl. Inst..

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov, 2016, ICTSS.

Simulated Annealing and Genetic Algorithms for Optimal Regression Testing

Khaled El-Fakih, Nashat Mansour, N. Mansour, 1999, J. Softw. Maintenance Res. Pract..

Protocol Re-synthesis Based on Extended Petri Nets

Hirozumi Yamaguchi, Teruo Higashino, Gregor von Bochmann, 2000 .

Testing Timed Finite State Machines with Guaranteed Fault Coverage

Nina Yevtushenko, Hacène Fouchal, Khaled El-Fakih, 2009, TestCom/FATES.

FSM Based Interoperability Testing Methods for Multi Stimuli Model

Khaled El-Fakih, Nina Yevtushenko, Vadim Trenkaev, 2004, TestCom.

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Teruo Higashino, Gregor von Bochmann, 2007, Comput. Networks.

Scheduling Internet of Things requests to minimize latency in hybrid Fog-Cloud computing

Taha Landolsi, Raafat Aburukba, Khaled El-Fakih, 2020, Future Gener. Comput. Syst..

Progressive Solutions to FSM Equations

Nina Yevtushenko, Khaled El-Fakih, 2008, CIAA.

Distinguishing Experiments for Timed Nondeterministic Finite State Machines

Nina Yevtushenko, Maxim Gromov, Khaled El-Fakih, 2013, Acta Cybern..

PathSim: A Tool for Finding Minimal Energy Device Operation Sequence for Reaching a Target Context in a Smart-Home

Keiichi Yasumoto, Teruhiro Mizumoto, Khaled El-Fakih, 2013, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing.

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines

Nina Yevtushenko, Khaled El-Fakih, Ayat Saleh, 2018, Comput. J..

Fault Propagation by Equation Solving

Khaled El-Fakih, Nina Yevtushenko, 2004, FORTE.

Distinguishing extended finite state machine configurations using predicate abstraction

Nina Yevtushenko, Khaled El-Fakih, Marius Bozga, 2016, Journal of Software Engineering Research and Development.

Optimizing Continuous Media Delivery by Multiple Distributed Servers to Multiple Clients using a Genetic Algorithm

Khaled El-Fakih, Gerassimos D. Barlas, 2004, MMNS.

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation

Nina Yevtushenko, Khaled El-Fakih, Natalia Shabaldina, 2007, TestCom/FATES.

An Integer Linear Programming model and Adaptive Genetic Algorithm approach to minimize energy consumption of Cloud computing data centers

Khaled El-Fakih, Huda Ibrahim, Raafat O. Aburukba, 2018, Comput. Electr. Eng..

An integrated tool for development of overlay services

Hirozumi Yamaguchi, Teruo Higashino, Akihito Hiromori, 2009, SimuTools.

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Nina Yevtushenko, Maxim Gromov, Khaled El-Fakih, 2017, Automatic Control and Computer Sciences.

Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

Nina Yevtushenko, Khaled El-Fakih, Mustafa Ali, 2018, Int. J. Parallel Emergent Distributed Syst..

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Ana R. Cavalli, Nina Yevtushenko, Stéphane Maag, 2010, Inf. Softw. Technol..

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

Gregor von Bochmann, Khaled El-Fakih, 2021, IEEE Transactions on Software Engineering.

Fault Diagnosis in Extended Finite State Machines

Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann, 2003, TestCom.

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines

Martin Lukac, Khaled El-Fakih, 2021, 2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL).

Equivalence Checking and Intersection of Deterministic Timed Finite State Machines pdf

Davide Bresolin, Tiziano Villa, Nina Yevtushenko, 2021, ArXiv.