Osman Hasan
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
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
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
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
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
Applying formal methods to networking: theory, techniques, and applications
J Qadir, O Hasan
IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014
Wearable technologies for hand joints monitoring for rehabilitation: A survey
A Rashid, O Hasan
Microelectronics Journal 88, 173-183, 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
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
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
Probabilistic error analysis of approximate recursive multipliers
S Mazahir, O Hasan, R Hafiz, M Shafique
IEEE Transactions on Computers 66 (11), 1982-1990, 2017
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
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
Formal verification methods. encyclopedia of information science and technology
O Hasan, S Tahar
IGI Global Pub, 2015
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
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
Formalization of continuous probability distributions
O Hasan, S Tahar
International Conference on Automated Deduction, 3-18, 2007
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20