الرئيسية › دليل الباحثين › Hayat Daoud

Hayat Daoud

الانتماء : Université IBN Khaldoun Tiaret

• 4منشورات (انتماء جزائري)
• 5مجموع المنشورات
• 18الاستشهادات
• 3مؤشر h

OpenAlex

مجالات البحث

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

المنشورات (4)

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

مجلات النشر

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

المنشورات حسب السنة

• 20171
• 20141
• 20131
• 20121

التعاون العلمي

المؤسسات الشريكة : Laboratoire de Conception, Optimisation et Modélisation des Systèmes · Université de Lorraine

بلدان المؤلفين المشاركين : فرنسا

المؤلفون المشاركون

• Mostefa Belarbi
• Abdelhamid Hariche

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).