Osman Hasan

Cited by

	All	Since 2016
Citations	2451	1800
h-index	24	20
i10-index	80	50

480

240

120

360

20072008200920102011201220132014201520162017201820192020202123 13 33 32 46 70 104 129 187 224 278 370 461 448 12

Co-authors

Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
Muhammad ShafiqueAssociate Professor, Electrical and Computer Engineering, New York University Abu Dhabi (NYUAD)Verified email at nyu.edu
Syed Rafay HasanAssociate Professor, Tennessee Technological UniversityVerified email at tntech.edu
Waqar AhmadResearch Associate, Concordia University, Canada and NUST, PakistanVerified email at seecs.edu.pk
Adnan RashidAssistant Professor, School of EE and CS, National University of Sciences and TechnologyVerified email at seecs.edu.pk
Jörg HenkelProfessor of Computer Science, Karlsruhe Institute of TechnologyVerified email at kit.edu
Umair SiddiqueBosch Research and Technology Center North AmericaVerified email at mcmaster.ca
Rehan HafizInformation Technology University (ITU), Lahore, PakistanVerified email at itu.edu.pk
Sana MazahirNational University of Sciences and Technology, PakistanVerified email at seecs.edu.pk
Faiq KhalidPh.D. Scholar, Technische Universität Wien, Vienna, AustriaVerified email at tuwien.ac.at
Muhammad Usama SardarTechnische Universität Dresden, GermanyVerified email at mailbox.tu-dresden.de
Mannan Saeed MuhammadSchool of Electronic Engineering, College of Information and Communication, SKKUVerified email at skku.edu
Mohamed HamdiUniversity of CarthageVerified email at supcom.rnu.tn
Hira Taqdees SyedaPostdoctoral Researcher, Division of Formal Methods, CSE, ChalmersVerified email at chalmers.se
Nabeel KamalIstituto Italiano Di Tecnologia, Genova, ItalyVerified email at seecs.edu.pk
Sajid NisarKyoto University of Advanced Science (KuAS) | ex. Kyoto University, Stanford UniversityVerified email at kuas.ac.jp
Amjad GawanmehUniversity of Dubai and Concordia UniversityVerified email at ud.ac.ae
Junaid QadirProfessor, Information Technology University (ITU), Lahore, Pakistan.Verified email at itu.edu.pk
Ahmed Hussain QureshiUniversity of California San DiegoVerified email at eng.ucsd.edu
Khalid LatifCOMSATS UniversityVerified email at comsats.edu.pk

Osman Hasan

Associate Prof., Sch. of EE and CS, National University of Sciences and Technology (NUST) Pakistan

Verified email at seecs.nust.edu.pk - Homepage

Formal Verification 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	113	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	101	2013
Formal verification methods O Hasan, S Tahar Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015	79	2015
On the formalization of the Lebesgue integration theory in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 387-402, 2010	76	2010
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	69	2016
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	61	2017
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	60	2010
Applying formal methods to networking: theory, techniques, and applications J Qadir, O Hasan IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014	53	2014
Formal probabilistic analysis using theorem proving O Hasan Concordia University, 2008	47	2008
Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011	45	2011
Formalization of continuous probability distributions O Hasan, S Tahar International Conference on Automated Deduction, 3-18, 2007	40	2007
Formalization of laplace transform using the multivariable calculus theory of HOL-light SH Taqdees, O Hasan International Conference on Logic for Programming Artificial Intelligence …, 2013	39	2013
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	38	2013
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	37	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	37	2014
An area-efficient consolidated configurable error correction for approximate hardware accelerators S Mazahir, O Hasan, R Hafiz, M Shafique, J Henkel Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016	35	2016
Formal reliability analysis using theorem proving O Hasan, S Tahar, N Abbasi IEEE Transactions on Computers 59 (5), 579-592, 2009	35	2009
Probabilistic error analysis of approximate recursive multipliers S Mazahir, O Hasan, R Hafiz, M Shafique IEEE Transactions on Computers 66 (11), 1982-1990, 2017	30	2017
Formal reasoning about expectation properties for continuous random variables O Hasan, N Abbasi, B Akbarpour, S Tahar, R Akbarpour International Symposium on Formal Methods, 435-450, 2009	30	2009
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	28	2017

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

Upload PDF

Follow this author

Cited by

Co-authors