Scheduling Internet of Things requests to minimize latency in hybrid Fog–Cloud computing RO Aburukba, M AliKarrar, T Landolsi, K El-Fakih Future Generation Computer Systems 111, 539-551, 2020 | 240 | 2020 |
FSM-based conformance testing methods: a survey annotated with experimental evaluation R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko Information and software technology 52 (12), 1286-1297, 2010 | 214 | 2010 |
An improved conformance testing method R Dorofeeva, K El-Fakih, N Yevtushenko International Conference on Formal Techniques for Networked and Distributed …, 2005 | 117 | 2005 |
FSM-based incremental conformance testing methods K Ei-Fakih, N Yevtushenko, GV Bochmann IEEE Transactions on Software Engineering 30 (7), 425-436, 2004 | 89 | 2004 |
Deterministic timed finite state machines: Equivalence checking and expressive power D Bresolin, K El-Fakih, T Villa, N Yevtushenko arXiv preprint arXiv:1408.5967, 2014 | 62 | 2014 |
An integer linear programming model and adaptive genetic algorithm approach to minimize energy consumption of cloud computing data centers H Ibrahim, RO Aburukba, K El-Fakih Computers & Electrical Engineering 67, 551-565, 2018 | 53 | 2018 |
On adaptive experiments for nondeterministic finite state machines N Kushik, K El-Fakih, N Yevtushenko, AR Cavalli International Journal on Software Tools for Technology Transfer 18, 251-264, 2016 | 49 | 2016 |
Experimental evaluation of FSM-based testing methods R Dorofeeva, K El-Fakih, S Maag, AR Cavalli, N Yevtushenko Third IEEE International Conference on Software Engineering and Formal …, 2005 | 47 | 2005 |
Distinguing non-deterministic timed finite state machines M Gromov, K El-Fakih, N Shabaldina, N Yevtushenko International Conference on Formal Methods for Open Object-Based Distributed …, 2009 | 44 | 2009 |
Studying the separability relation between finite state machines N Spitsyna, K El‐Fakih, N Yevtushenko Software Testing, Verification and Reliability 17 (4), 227-241, 2007 | 42 | 2007 |
Fault diagnosis in extended finite state machines K El-Fakih, S Prokopenko, N Yevtushenko, G v Bochmann Testing of Communicating Systems: 15th IFIP International Conference …, 2003 | 41 | 2003 |
Testing timed finite state machines with guaranteed fault coverage K El-Fakih, N Yevtushenko, H Fouchal International Workshop on Formal Approaches to Software Testing, 66-80, 2009 | 40 | 2009 |
Adaptive homing and distinguishing experiments for nondeterministic finite state machines N Kushik, K El-Fakih, N Yevtushenko Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013 | 39 | 2013 |
Preset and adaptive homing experiments for nondeterministic finite state machines N Kushik, K El-Fakih, N Yevtushenko International Conference on Implementation and Application of Automata, 215-224, 2011 | 28 | 2011 |
Extended finite state machine based test derivation driven by user defined faults K El-Fakih, A Kolomeez, S Prokopenko, N Yevtushenko 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 28 | 2008 |
Distinguishing experiments for timed nondeterministic finite state machine K El-Fakih Acta Cybernetica 21 (2), 205-222, 2013 | 26 | 2013 |
Fsm based interoperability testing methods for multi stimuli model K El-Fakih, V Trenkaev, N Spitsyna, N Yevtushenko Testing of Communicating Systems: 16th IFIP International Conference …, 2004 | 25 | 2004 |
Testing nondeterministic finite state machines with respect to the separability relation N Shabaldina, K El-Fakih, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 305-318, 2007 | 24 | 2007 |
A method and a genetic algorithm for deriving protocols for distributed applications with minimum communication cost K El-Fakih, H Yamaguchi, G Bochmann, T Higashino Proc. PDCS’99, 1999 | 24 | 1999 |
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets H Yamaguchi, K El-Fakih, G von Bochmann, T Higashino Distributed Computing 16, 21-35, 2003 | 23 | 2003 |