Souad Marir

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Building Blocks

Dynamic Aspects

Collision Avoidance

Top Venues

ICSOC Workshops

Future Internet

Publications

Souad Marir, Faiza Belala, Nabil Hameurlain
A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet 14 (2) (2022)
Souad Marir, Faiza Belala, Hameurlain Nabil
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. ICAASE (2020)
Souad Marir, Faiza Belala, Nabil Hameurlain
A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI (2018)
Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops (2017)