Osman Hasan

Citée par

	Toutes	Depuis 2017
Citations	3094	2217
indice h	27	22
indice i10	92	56

500

250

125

375

200720082009201020112012201320142015201620172018201920202021202223 13 33 32 47 71 107 131 185 219 255 388 462 481 481 147

Accès public

Tout afficher

10 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Sofiene TaharConcordia UniversityAdresse e-mail validée de ece.concordia.ca
Muhammad ShafiqueAssociate Professor, Electrical and Computer Engineering, New York University Abu Dhabi (NYUAD)Adresse e-mail validée de nyu.edu
Syed Rafay HasanAssociate Professor, Tennessee Technological UniversityAdresse e-mail validée de tntech.edu
Falah AwwadProfessor of Electrical and Computer Engineering, United Arab Emirates UniversityAdresse e-mail validée de uaeu.ac.ae
Adnan RashidAssistant Professor, School of EE and CS, National University of Sciences and TechnologyAdresse e-mail validée de seecs.edu.pk
Waqar AhmadResearch Associate, Concordia University, Canada and NUST, PakistanAdresse e-mail validée de seecs.edu.pk
Jörg HenkelProfessor of Computer Science, Karlsruhe Institute of TechnologyAdresse e-mail validée de kit.edu
Yasar AyazNUST -SMMEAdresse e-mail validée de smme.edu.pk
Rehan HafizInformation Technology University (ITU), Lahore, PakistanAdresse e-mail validée de itu.edu.pk
Faiq KhalidPh.D. Scholar, Technische Universität Wien, Vienna, AustriaAdresse e-mail validée de tuwien.ac.at
Umair SiddiqueAdresse e-mail validée de mcmaster.ca
Sana MazahirNational University of Sciences and Technology, PakistanAdresse e-mail validée de seecs.edu.pk
Mahmoud S. Masadeh, PhDAssistant Professor of Computer Engineering, Yarmouk University, Irbid, Jordan.Adresse e-mail validée de yu.edu.jo
Tarek MhamdiApple IncAdresse e-mail validée de apple.com
Fahad IslamCarnegie Mellon UniversityAdresse e-mail validée de fulbrightmail.org
MOHAMED ABIDCES Laboratory, National School of Engineers of Sfax, University of Sfax, Sfax, TunisiaAdresse e-mail validée de enis.tn
Muhammad Usama SardarTechnische Universität Dresden, GermanyAdresse e-mail validée de mailbox.tu-dresden.de
Usman PervezNUSTAdresse e-mail validée de seecs.edu.pk
Mohamed HamdiUniversity of CarthageAdresse e-mail validée de supcom.rnu.tn
Mannan Saeed MuhammadCollege of Information and Communication, SKKUAdresse e-mail validée de skku.edu

Suivre

Osman Hasan

Professor of Electrical Engineering, National University of Sciences and Technology

Adresse e-mail validée de seecs.edu.pk - Page d'accueil

Formal Methods Theorem Proving Model Checking Approximate Computing Hardware Security.


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	165	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	138	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	88	2017
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	82	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	78	2016
Formal verification methods O Hasan, S Tahar Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015	77	2015
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	70	2010
Applying formal methods to networking: theory, techniques, and applications J Qadir, O Hasan IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014	63	2014
Wearable technologies for hand joints monitoring for rehabilitation: A survey A Rashid, O Hasan Microelectronics Journal 88, 173-183, 2019	48	2019
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	48	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	48	2014
Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011	48	2011
Formal probabilistic analysis using theorem proving O Hasan Concordia University, 2008	47	2008
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	43	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	43	2013
Probabilistic error analysis of approximate recursive multipliers S Mazahir, O Hasan, R Hafiz, M Shafique IEEE Transactions on Computers 66 (11), 1982-1990, 2017	42	2017
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	40	2013
Formalization of continuous probability distributions O Hasan, S Tahar International Conference on Automated Deduction, 3-18, 2007	40	2007
An area-efficient consolidated configurable error correction for approximate hardware accelerators S Mazahir, O Hasan, R Hafiz, M Shafique, J Henkel 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2016	39	2016
Formal verification methods. encyclopedia of information science and technology O Hasan, S Tahar IGI Global Pub, 2015	38	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre les mises à jour de cet auteur

Citée par

Coauteurs