关注
Osman Hasan
Osman Hasan
Professor of Electrical Engineering, National University of Sciences and Technology
在 seecs.edu.pk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A Comparative Study on the Characteristics of Mobile Applications for the Restaurant Industry
MH Manzoor, O Hasan
2021 International Conference on Computer Science and Engineering (IC2SE) 1, 1-5, 2021
12021
A formal approach to identifying the impact of noise on neural networks
IT Bhatti, M Naseer, M Shafique, O Hasan
Communications of the ACM 65 (11), 70-73, 2022
42022
A formally verified algebraic approach for dynamic reliability block diagrams
Y Elderhalli, O Hasan, S Tahar
Formal Methods and Software Engineering: 21st International Conference on …, 2019
62019
A formally verified HOL algebra for dynamic reliability block diagrams
Y Elderhalli, O Hasan, S Tahar
arXiv preprint arXiv:1908.01930, 2019
32019
A framework for formal dynamic dependability analysis using HOL theorem proving
Y Elderhalli, O Hasan, S Tahar
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
32020
A framework for laparoscopic simulations.
O Hasan, S Iqbal
JPMA. The Journal of the Pakistan Medical Association 67 (9), 1404-1409, 2017
12017
A Framework for Open World Object Detection
K Shaheen, MA Hanif, O Hasan, M Shafique
Artificial Intelligence Evolution, 154-164, 2023
2023
A generic virtual reality training simulator for intracytoplasmic sperm injection
R Hafeez, ZA Khan, O Hasan
2019 IEEE 4th International Conference on Computer and Communication Systems …, 2019
12019
A hol library for hardware verification using theorem proving
S Shiraz, O Hasan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
72018
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
S Khan, W Ahmad, O Hasan
2022 18th International Conference on Synthesis, Modeling, Analysis and …, 2022
2022
A library for combinational circuit verification using the HOL theorem prover
S Shiraz, O Hasan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
92017
A methodology for the formal verification of dynamic fault trees using HOL theorem proving
Y Elderhalli, O Hasan, S Tahar
IEEE Access 7, 136176-136192, 2019
132019
A modular and generic virtual reality training framework for micro-robotic cell injection systems
N Kamal, ZA Khan, A Hameed, O Hasan
2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018
12018
A quality-assured approximate hardware accelerators–based on machine learning and dynamic partial reconfiguration
M Masadeh, Y Elderhalli, O Hasan, S Tahar
ACM Journal on Emerging Technologies in Computing Systems (JETC) 17 (4), 1-19, 2021
102021
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
532016
A Toolbox for Complex Linear Algebra in HOL Light
S Khan-Afshar, V Aravantinos, O Hasan, S Tahar
2014
A utility maximized demand-side management for autonomous microgrid
AM Pasha, HM Ibrahim, SR Hasan, R Belkacemi, F Awwad, O Hasan
2018 IEEE Electrical Power and Energy Conference (EPEC), 1-5, 2018
92018
Aag: An automatic assertion generation framework for rtl designs
SA Murtza, O Hasan, K Saghar
2018 International Conference on Computing, Mathematics and Engineering …, 2018
22018
Adaptive Approximate Accelerators with Controlled Quality Using Machine Learning
M Masadeh, O Hasan, S Tahar
Design and Applications of Emerging Computer Systems, 501-529, 2023
2023
Adaptive approximate computing in arithmetic datapaths
S Mazahir, O Hasan, M Shafique
IEEE Design & Test 35 (4), 65-74, 2017
222017
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交