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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
44 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
Co-author 5
Co-author 5
Syed Rafay Hasan
Syed Rafay Hasan
Professor, Tennessee Technological University
Co-author 7
Co-author 7
Co-author 8
Co-author 8