A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. - Nour Elhouda Souid; Kais Klai (ICICS (2), 2021)

Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2022)

At Design-Time Approach for Supervisory Control of Opacity. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoopIS, 2022)

Optimal Supervisory Control of Opacity for Modular Systems. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (ISPA/BDCloud/SocialCom/SustainCom, 2022)

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. - Nour Elhouda Souid; Kais Klai; Chiheb Ameur Abid; Samir Ben Ahmed (CoDIT, 2023)

Towards Formal Verification of Node RED-Based IoT Applications. - Ikram Garfatta; Nour Elhouda Souid; Kaïs Klai (VECoS, 2023)