Osman Hasan

Best Publications

• RRT*-SMART: A Rapid Convergence Implementation of RRT*

  Unknown

  261
  Citations

• RRT ∗ -Smart: Rapid convergence implementation of RRT ∗ towards optimal solution

  Unknown

  220
  Citations

• Reliability modeling and analysis of communication networks

  Waqar Ahmed;Osman Hasan;Usman Pervez;Junaid Qadir

  133
  Citations

• Formal Verification Methods

  Unknown

  121
  Citations

• Chronic kidney disease diagnosis using decision tree algorithms.

  Unknown

  114
  Citations

• Probabilistic Error Modeling for Approximate Adders

  Sana Mazahir;Osman Hasan;Rehan Hafiz;Muhammad Shafique

  105
  Citations

• Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks.

  Khadija Shaheen;Muhammad Abdullah Hanif;Osman Hasan;Muhammad Shafique

  98
  Citations

• Wearable technologies for hand joints monitoring for rehabilitation: A survey

  Adnan Rashid;Osman Hasan

  95
  Citations

• A Decentralized Privacy Preserving Reputation Protocol for the Malicious Adversarial Model

  O. Hasan;L. Brunie;E. Bertino;Ning Shang

  93
  Citations

• On the formalization of the lebesgue integration theory in HOL

  Unknown

  82
  Citations

• Survey of fall detection and daily activity monitoring techniques

  Unknown

  72
  Citations

• IoTRiskAnalyzer : A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

  Unknown

  52
  Citations

• Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition

  Unknown

  52
  Citations

• Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency

  Unknown

  46
  Citations

• Formal probabilistic analysis using theorem proving

  Unknown

  43
  Citations

• QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders

  Muhammad Abdullah Hanif;Rehan Hafiz;Osman Hasan;Muhammad Shafique

  42
  Citations

• Probabilistic Error Analysis of Approximate Recursive Multipliers

  Sana Mazahir;Osman Hasan;Rehan Hafiz;Muhammad Shafique

  41
  Citations

• Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models

  Faiq Khalid Lodhi;Syed Rafay Hasan;Osman Hasan;Falah Awwadl

  39
  Citations

• Formalization of entropy measures in HOL

  Tarek Mhamdi;Osman Hasan;Sofiène Tahar

  39
  Citations

• Formal verification of cyber-physical systems: coping with continuous elements

  Muhammad Usman Sanwal;Osman Hasan

  37
  Citations