BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. - Souad Marir; Roumeissa Kitouni; Zakaria Benzadri; Faiza Belala (ICSOC Workshops, 2017)

A Formal Model for Interaction Specification and Analysis in IoT Applications. - Souad Marir; Faiza Belala; Nabil Hameurlain (MEDI, 2018)

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. - Souad Marir; Faiza Belala; Nabil Hameurlain (ICAASE, 2020)

A Strategy-Based Formal Approach for Fog Systems Analysis. - Souad Marir; Faiza Belala; Nabil Hameurlain (Future Internet, 2022)

Modélisation Formelle des Systèmes Fog: vers l'Analyse et la Validation de leur Comportement. (Formal Modeling of Fog Systems: Towards the Analysis and Validation of their Behaviour). - Souad Marir (2022)