Osman Hasan

Cited by

	All	Since 2020
Citations	4867	2882
h-index	33	24
i10-index	128	68

660

330

165

495

200720082009201020112012201320142015201620172018201920202021202220232024202523 13 32 31 47 71 100 131 185 218 252 372 481 494 496 576 598 658 54

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
Muhammad ShafiqueProfessor, ECE, New York University (AD-UAE, Tandon-USA), Director eBRAIN LabVerified email at nyu.edu
Adnan RashidPostdoctoral Fellow, Hardware Verification Group, Concordia UniversityVerified email at concordia.ca
Waqar AhmadWind River Systems, Inc.Verified email at seecs.edu.pk
Falah AwwadProfessor of Electrical and Computer Engineering, United Arab Emirates UniversityVerified email at uaeu.ac.ae
Syed Rafay HasanProfessor, Tennessee Technological UniversityVerified email at tntech.edu
Yasar AyazNUST -SMMEVerified email at smme.edu.pk
Faiq KhalidPh.D. Scholar, Technische Universität Wien, Vienna, AustriaVerified email at tuwien.ac.at
Mahmoud Masadeh, PhDSMIEEE, Associate. Prof. of Computer Eng., Yarmouk UniversityVerified email at yu.edu.jo
Jörg HenkelProfessor of Computer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
Rehan HafizInformation Technology University (ITU), Lahore, PakistanVerified email at itu.edu.pk
Umair SiddiqueAppleVerified email at apple.com
Fahad IslamCarnegie Mellon UniversityVerified email at fulbrightmail.org
Muhammad Abdullah HanifPostdoctoral Associate, New York University, Abu DhabiVerified email at nyu.edu
Muhammad Usama SardarTechnische Universität Dresden, GermanyVerified email at mailbox.tu-dresden.de
Mohamed HamdiUniversity of CarthageVerified email at supcom.rnu.tn
Mannan Saeed MuhammadECE, CICE, SKKUVerified email at skku.edu
Tarek MhamdiApple IncVerified email at apple.com
MOHAMED ABIDCES Laboratory, National School of Engineers of Sfax, University of Sfax, Sfax, TunisiaVerified email at enis.tn
Jauwairia NasirUniversität AugsburgVerified email at uni-a.de

Osman Hasan

Professor of Electrical Engineering, National University of Sciences and Technology

Verified email at seecs.edu.pk - Homepage

Formal Methods Theorem Proving Model Checking Approximate Computing Hardware Security.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	338	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	295	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	158	2017
Formal verification methods O Hasan, S Tahar Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015	118	2015
Wearable technologies for hand joints monitoring for rehabilitation: A survey A Rashid, O Hasan Microelectronics Journal 88, 173-183, 2019	112	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	100	2016
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	98	2022
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	95	2020
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	87	2021
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	86	2010
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	80	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	79	2017
Applying formal methods to networking: theory, techniques, and applications J Qadir, O Hasan IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014	77	2014
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	70	2017
Input-conscious approximate multiply-accumulate (MAC) unit for energy-efficiency M Masadeh, O Hasan, S Tahar IEEE access 7, 147129-147142, 2019	54	2019
Probabilistic error analysis of approximate recursive multipliers S Mazahir, O Hasan, R Hafiz, M Shafique IEEE Transactions on Computers 66 (11), 1982-1990, 2017	54	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	54	2016
Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011	52	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	51	2017
Formal verification of cyber-physical systems: coping with continuous elements MU Sanwal, O Hasan International conference on computational science and its applications, 358-371, 2013	49	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors