Osman Hasan
Scholar

Osman Hasan

Google Scholar ID: A30uGg8AAAAJ
Professor of Electrical Engineering, National University of Sciences and Technology
Formal MethodsTheorem ProvingModel CheckingApproximate ComputingHardware Security.
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,303
 
H-index
25
 
i10-index
76
 
Publications
20
 
Co-authors
44
list available
Publications
4 items
On the Formalization of Network Topology Matrices in HOL
2026
Cited
0
Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems
2025
Cited
0
Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
2024
Cited
0
Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications
arXiv.org · 2024
Cited
6
Co-authors
8 total
Sofiene Tahar
Sofiene Tahar
Concordia University
Muhammad Shafique
Muhammad Shafique
Professor, ECE, New York University (AD-UAE, Tandon-USA), Director eBRAIN Lab
Adnan Rashid
Adnan Rashid
Postdoctoral Fellow, Hardware Verification Group, Concordia University
Falah Awwad
Falah Awwad
Professor of Electrical and Computer Engineering, United Arab Emirates University
Syed Rafay Hasan
Syed Rafay Hasan
Professor, Tennessee Technological University
Jörg Henkel
Jörg Henkel
Professor of Computer Science, Karlsruhe Institute of Technology
Umair Siddique
Umair Siddique
Apple
Muhammad Abdullah Hanif
Muhammad Abdullah Hanif
Postdoctoral Associate, New York University Abu Dhabi