Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. - Ikhlass Ammar; Yamen El Touati; John Mullins; Moez Yeddes (Int. J. Found. Comput. Sci., 2021)

Bounded opacity for timed systems. - Ikhlass Ammar; Yamen El Touati; Moez Yeddes; John Mullins (J. Inf. Secur. Appl., 2021)