Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs. - Amina Bourouis; Kais Klai; Yamen El Touati; Nejib Ben Hadj-Alouane (ICWS, 2015)

Checking Opacity of Vulnerable Critical Systems On-The-Fly. - Amina Bourouis; Kais Klai; Yamen El Touati; Nejib Ben Hadj-Alouane (Int. J. Inf. Technol. Web Eng., 2015)

On the Verification of Opacity in Web Services and Their Composition. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane; Yamen El Touati (IEEE Trans. Serv. Comput., 2017)

Impact of Multi-Sensor Technology for Enhancing Global Security in Closed Environments Using Cloud-Based Resources. - Saleh M. Altowaijri; Mohamed Ayari; Yamen El Touati (J. Sens. Actuator Networks, 2019)

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)

A vehicle plate recognition system based on deep learning algorithms. - Taoufik Saidani; Yamen El Touati (Multim. Tools Appl., 2021)