الرئيسية › دليل الباحثين › Osman Hasan

Osman Hasan

الانتماء : Concordia University

• 6منشورات (انتماء كندي)
• 357مجموع المنشورات
• 4282الاستشهادات
• 31مؤشر h

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Logic, programming, and type systems
• Low-power high-performance VLSI design
• Radiation Effects in Electronics
• Reliability and Maintenance Optimization

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

• Formal probabilistic performance verification of randomly-scheduled wireless sensor networks
  2018 · International Journal of Critical Computer-Based Systems
• Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
  2017 · Communications in computer and information science · استُشهد به 5 مرة
• Formalization of Normal Random Variables in HOL
  2016 · Lecture notes in computer science · استُشهد به 12 مرة
• Formal probabilistic analysis of detection properties in wireless sensor networks
  2014 · Formal Aspects of Computing · استُشهد به 11 مرة
• Towards the Formal Performance Analysis of Wireless Sensor Networks
  2013 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 6 مرة
• Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks
  2011 · Lecture notes in computer science · استُشهد به 20 مرة

مجلات النشر

• Lecture notes in computer science × 2
• International Journal of Critical Computer-Based Systems × 1
• Communications in computer and information science × 1
• Formal Aspects of Computing × 1
• IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 1

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

• 20181
• 20171
• 20161
• 20141
• 20131
• 20111

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

المؤسسات الشريكة : University of Sfax

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

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

• Sofiène Tahar
• M. Elleuch
• Muhammad Qasim

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