Osman Hasan
Osman Hasan
Professor of Electrical Engineering, National University of Sciences and Technology
Dirección de correo verificada de - Página principal
Citado por
Citado por
RRT-Smart: Rapid convergence implementation of RRT towards optimal solution
F Islam, J Nasir, U Malik, Y Ayaz, O Hasan
2012 IEEE international conference on mechatronics and automation, 1651-1656, 2012
RRT*-SMART: A rapid convergence implementation of RRT
J Nasir, F Islam, U Malik, Y Ayaz, O Hasan, M Khan, MS Muhammad
International Journal of Advanced Robotic Systems 10 (7), 299, 2013
Reliability modeling and analysis of communication networks
W Ahmad, O Hasan, U Pervez, J Qadir
Journal of Network and Computer Applications 78, 191-215, 2017
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
Wearable technologies for hand joints monitoring for rehabilitation: A survey
A Rashid, O Hasan
Microelectronics Journal 88, 173-183, 2019
Probabilistic error modeling for approximate adders
S Mazahir, O Hasan, R Hafiz, M Shafique, J Henkel
IEEE Transactions on Computers 66 (3), 515-530, 2016
On the formalization of the Lebesgue integration theory in HOL
T Mhamdi, O Hasan, S Tahar
Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010
Stunting diagnostic and awareness: Impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan
M Ponum, S Khan, O Hasan, MT Mahmood, A Abbas, M Iftikhar, R Arshad
Bmc Pediatrics 20, 1-9, 2020
Survey of fall detection and daily activity monitoring techniques
F Hijaz, N Afzal, T Ahmad, O Hasan
2010 International Conference on Information and Emerging Technologies, 1-6, 2010
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
M Mohsin, MU Sardar, O Hasan, Z Anwar
IEEE Access 5, 5494-5505, 2017
Applying formal methods to networking: theory, techniques, and applications
J Qadir, O Hasan
IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014
Chronic kidney disease diagnosis using decision tree algorithms
H Ilyas, S Ali, M Ponum, O Hasan, MT Mahmood, M Iftikhar, MH Malik
BMC nephrology 22 (1), 273, 2021
Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models
FK Lodhi, SR Hasan, O Hasan, F Awwadl
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
Continual learning for real-world autonomous systems: Algorithms, challenges and frameworks
K Shaheen, MA Hanif, O Hasan, M Shafique
Journal of Intelligent & Robotic Systems 105 (1), 9, 2022
Probabilistic error analysis of approximate recursive multipliers
S Mazahir, O Hasan, R Hafiz, M Shafique
IEEE Transactions on Computers 66 (11), 1982-1990, 2017
A self-learning framework to detect the intruded integrated circuits
FK Lodhi, I Abbasi, F Khalid, O Hasan, F Awwad, SR Hasan
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1702-1705, 2016
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
QuAd: Design and analysis of quality-area optimal low-latency approximate adders
MA Hanif, R Hafiz, O Hasan, M Shafique
Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017
Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN
A Zaman, O Hasan
2014 International Symposium on System-on-Chip (SoC), 1-8, 2014
Formal probabilistic analysis using theorem proving
O Hasan
Concordia University, 2008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20