Nour Elhouda Souid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2023
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CoDIT | Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2023 | VECoS | Towards Formal Verification of Node RED-Based IoT Applications. | Ikram Garfatta, Nour Elhouda Souid, Kas Klai |
| 2022 | CoDIT | 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 |
| 2022 | CoopIS | At Design-Time Approach for Supervisory Control of Opacity. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2022 | ISPA | Optimal Supervisory Control of Opacity for Modular Systems. | Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed |
| 2021 | ICICS | A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. | Nour Elhouda Souid, Kais Klai |