Volgen
Osman Hasan
Osman Hasan
Professor of Electrical Engineering, National University of Sciences and Technology
Geverifieerd e-mailadres voor seecs.edu.pk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3422012
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
2922013
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
1572017
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
1192015
Wearable technologies for hand joints monitoring for rehabilitation: A survey
A Rashid, O Hasan
Microelectronics Journal 88, 173-183, 2019
1122019
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
1002022
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
1002016
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
952020
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
882021
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
882010
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
802010
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
772017
Applying formal methods to networking: theory, techniques, and applications
J Qadir, O Hasan
IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014
762014
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
702017
Formal verification methods. encyclopedia of information science and technology
O Hasan, S Tahar
IGI Global Pub, 2015
602015
Input-conscious approximate multiply-accumulate (MAC) unit for energy-efficiency
M Masadeh, O Hasan, S Tahar
IEEE access 7, 147129-147142, 2019
542019
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
532016
Probabilistic error analysis of approximate recursive multipliers
S Mazahir, O Hasan, R Hafiz, M Shafique
IEEE Transactions on Computers 66 (11), 1982-1990, 2017
522017
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
522011
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
512017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20