Author

Hayat Daoud

Institutions: Université IBN Khaldoun Tiaret, Laboratoire de Conception, Optimisation et Modélisation des Systèmes, Université de Lorraine

Observed institutions: Université IBN Khaldoun Tiaret, Laboratoire de Conception, Optimisation et Modélisation des Systèmes, Université de Lorraine

OpenAlex ID: A5018849577

Formal Verification of Fault Tolerant NoC-based Architecture

2012 · Manamiary Bruno Andriamiarina, Hayat Daoud, et al. · 6

Formal specification and verification of wireless networked self-organized Systems on Chip

2014 · Hayat Daoud, Camel Tanougast, et al. · International Conference on Control, Decision and Information Technologies (CoDIT) · 4

Based B Extraction of QNoC architecture properties

2012 · Abdelhamid Hariche, Mostefa Belarbi, et al. · 4

Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture

2017 · Hayat Daoud, Camel Tanougast, et al. · Systems · 3

A new operators-based approach for the Event-B refinement: QNoC case study

2013 · Abdelhamid Hariche, Mostefa Belarbi, et al. · 3

Works count: 5

Citation count: 20

H-index: 3

I10-index: