2 citations · 2 across the 3 of their papers we have counts for
3 papers
quant-ph2026
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…
cs.CR2022★ 2 cited
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…
cs.FL2021
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…