Author

Souad Marir

Observed name: Marir Souad

Institutions: Université de Pau et des Pays de l'Adour, Université Constantine 2, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

Observed institutions: Université de Pau et des Pays de l'Adour, Université Constantine 2, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

ORCID: 0000-0002-8378-1855

Observed ORCID: 0000-0002-8378-1855

OpenAlex ID: A5023551275

A Formal Model for Interaction Specification and Analysis in IoT Applications

2018 · Souad Marir, Faiza Belala, et al. · Lecture notes in computer science · 9

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

2020 · Marir Souad, Belala Faiza, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 8

A Strategy-Based Formal Approach for Fog Systems Analysis

2022 · Souad Marir, Faiza Belala, et al. · Future Internet · 5

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

2018 · Souad Marir, Roumeissa Kitouni, et al. · Lecture notes in computer science · 3

Modélisation Formelle des Systèmes Fog : vers l'Analyse et la Validation de leur Comportement

2022 · Souad Marir · theses.fr (ABES)

Works count: 5

Citation count: 25

H-index: 3

I10-index: