Formal timing analysis of gate-level digital circuits using model checking Q Ain, O Hasan Microprocessors and Microsystems, 105083, 2024 | | 2024 |
Formal Verification of Universal Numbers using Theorem Proving A Rashid, A Gauhar, O Hasan, S Abed, I Ahmad Journal of Electronic Testing, 1-17, 2024 | | 2024 |
Dynamic dependability analysis of shuffle-exchange networks Y Elderhalli, O Hasan, S Tahar Formal Methods in System Design 62 (1), 285-325, 2024 | | 2024 |
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks M Naseer, BS Prabakaran, O Hasan, M Shafique Machine Learning 113 (5), 2499-2526, 2024 | 4 | 2024 |
Formal performance analysis of optimal relays-based protection scheme for automated distribution networks S Ashraf, O Hasan Engineering Science and Technology, an International Journal 51, 101633, 2024 | | 2024 |
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving E Deniz, A Rashid, O Hasan, S Tahar Journal of Applied Logics—IfCoLog Journal of Logics and their Applications …, 2024 | | 2024 |
MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition N Naz, H Sajid, S Ali, O Hasan, MK Ehsan Computers and Electrical Engineering 112, 109009, 2023 | 1 | 2023 |
QuanDA: GPU accelerated quantitative deep neural network analysis M Naseer, O Hasan, M Shafique ACM Transactions on Design Automation of Electronic Systems 28 (6), 1-21, 2023 | 1 | 2023 |
Considering the Impact of Noise on Machine Learning Accuracy M Naseer, IT Bhatti, O Hasan, M Shafique Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing: Use …, 2023 | | 2023 |
A Framework for Open World Object Detection K Shaheen, MA Hanif, O Hasan, M Shafique Artificial Intelligence Evolution, 154-164, 2023 | | 2023 |
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 |
PN2Maude: An automatic tool to generate Maude specification for Petri net models A Boucherit, M Abbas, ML Lamouri, O Hasan Computer Science Journal of Moldova 92 (2), 272-296, 2023 | | 2023 |
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles A Rashid, O Hasan, S Abed Mobile Robot: Motion Control and Path Planning, 253-282, 2023 | 2 | 2023 |
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version) M Naseer, O Hasan, M Shafique arXiv preprint arXiv:2306.17323, 2023 | | 2023 |
Performance analysis of the dual-setting directional overcurrent relays-based protection considering the impact of curve types and fault location S Ashraf, I Evkay, US Selamogullari, M Baysal, O Hasan Electric Power Components and Systems 51 (7), 706-723, 2023 | 2 | 2023 |
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment A Nawaz, O Hasan, S Jabeen Neural Computation 35 (4), 671-698, 2023 | | 2023 |
Signgraph: An efficient and accurate pose-based graph convolution approach toward sign language recognition N Naz, H Sajid, S Ali, O Hasan, MK Ehsan IEEE Access 11, 19135-19147, 2023 | 22 | 2023 |
Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters A Rashid, S Abed, O Hasan International Congress on Information and Communication Technology, 583-591, 2023 | | 2023 |
Approximate Computing-Based Processing of MEA Signals on FPGA M Hassan, F Awwad, M Atef, O Hasan Electronics 12 (4), 848, 2023 | 1 | 2023 |
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving SA Murtza, W Ahmed, A Rashid, O Hasan Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2023 | | 2023 |