Souad Marir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | WiMob | SPARK: A Kripke-Based Formal Analysis of the SN-MPR Routing Protocol in Wireless Sensor Networks. | Souad Marir, Hind Laouici, Walid Guenounou, Saadi Boudjit |
| 2018 | MEDI | A Formal Model for Interaction Specification and Analysis in IoT Applications. | Souad Marir, Faiza Belala, Nabil Hameurlain |
| 2017 | ICSOC | BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. | Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala |