Accueil › Annuaire des chercheurs › Hayat Daoud

Hayat Daoud

Affiliation : Université IBN Khaldoun Tiaret

• 4Publications (affiliation algérienne)
• 5Publications au total
• 18Citations
• 3Indice h

OpenAlex

Domaines de recherche

• Formal Methods in Verification
• Interconnection Networks and Systems
• Embedded Systems Design Techniques
• Logic, programming, and type systems
• Distributed systems and fault tolerance

Publications (4)

• Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture
  2017 · Systems · cité 3 fois
• Formal specification and verification of wireless networked self-organized Systems on Chip
  2014 · International Conference on Control, Decision and Information Technologies (CoDIT) · cité 2 fois
• A new operators-based approach for the Event-B refinement: QNoC case study
  2013 · cité 3 fois
• Formal Verification of Fault Tolerant NoC-based Architecture
  2012 · cité 6 fois

Revues de publication

• Systems × 1
• International Conference on Control, Decision and Information Technologies (CoDIT) × 1

Publications par année

• 20171
• 20141
• 20131
• 20121

Collaborations

Établissements partenaires : Laboratoire de Conception, Optimisation et Modélisation des Systèmes · Université de Lorraine

Pays des co-auteurs : France

Co-auteurs

• Mostefa Belarbi
• Abdelhamid Hariche

Données bibliographiques issues d’OpenAlex (base ouverte).