Souad Marir

According to our database, Souad Marir authored at least 5 papers between 2017 and 2022.

Collaborative distances:

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

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

PhD thesis, 2022

A Strategy-Based Formal Approach for Fog Systems Analysis.

Souad Marir, Faiza Belala, Nabil Hameurlain

Future Internet, 2022

2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.

Souad Marir, Faiza Belala, Nabil Hameurlain

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2018

A Formal Model for Interaction Specification and Analysis in IoT Applications.

Souad Marir, Faiza Belala, Nabil Hameurlain

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System.

Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017