Osman Hasan
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
Cited by
Cited by
RRT-Smart: Rapid convergence implementation of RRTtowards 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
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
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
Applying formal methods to networking: theory, techniques, and applications
J Qadir, O Hasan
IEEE Communications Surveys & Tutorials 17 (1), 256-291, 2014
Formal probabilistic analysis using theorem proving
O Hasan
Concordia University, 2008
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
Formalization of continuous probability distributions
O Hasan, S Tahar
International Conference on Automated Deduction, 3-18, 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
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 reliability analysis using theorem proving
O Hasan, S Tahar, N Abbasi
IEEE Transactions on Computers 59 (5), 579-592, 2009
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
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
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
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
Towards formal fault tree analysis using theorem proving
W Ahmad, O Hasan
Conferences on intelligent computer mathematics, 39-54, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20