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)

Computing Quantified Opacity for SOG-Abstracted Web Services. - Amina Burouis; Nejib Ben Hadj-Alouane; Kais Klai (SCC, 2017)

Measuring opacity in web services. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane (iiWAS, 2017)

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)

Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. - Amina Bourouis; Kais Klai; Nejib Ben Hadj-Alouane (ICECCS, 2019)

Real-Time Aquaculture Monitoring System Using IoT Technology. - Tariq Benahmed; Amina Bourouis; Khelifa Benahmed (PAIS, 2024)