Nour Elhouda Souid

According to our database, Nour Elhouda Souid authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Towards Formal Verification of Node RED-Based IoT Applications.

Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the 9th International Conference on Control, 2023

2022

Optimal Supervisory Control of Opacity for Modular Systems.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

At Design-Time Approach for Supervisory Control of Opacity.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

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

Proceedings of the 8th International Conference on Control, 2022

2021

A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems.

Nour Elhouda Souid, Kais Klai

Proceedings of the Information and Communications Security - 23rd International Conference, 2021