32 citations · 34 across the 4 of their papers we have counts for
4 papers
A quantum model for synchronizing finite state transition systems
Martin Lukac, Khaled El-Fakih, Uraz Turker
We propose a quantum model for finding a resetting input sequence (RS) which can take a finite state transition system (FA), to particular state independent of its current state. T…
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
A. Bhanpurawala, K. El-Fakih, I. Zualkernan
With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices are resource constrain…
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, w…