21 citations · 71 across the 7 of their papers we have counts for
7 papers
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Owing to their remarkable learning capabilities and performance in real-world applications, the use of machine learning systems based on Neural Networks (NNs) has been continuously…
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks
Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan +1
Performance of trained neural network (NN) models, in terms of testing accuracy, has improved remarkably over the past several years, especially with the advent of deep learning. H…
BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables
Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman +2
In this work, we propose the BioNetExplorer framework to systematically generate and explore multiple DNN architectures for bio-signal processing in wearables. Our framework adapts…
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks
Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan +1
Continual learning is essential for all real-world applications, as frozen pre-trained models cannot effectively deal with non-stationary data distributions. The purpose of this st…
m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks
Salman Maqbool, Aqsa Riaz, Hasan Sajid +1
Autonomous surgical procedures, in particular minimal invasive surgeries, are the next frontier for Artificial Intelligence research. However, the existing challenges include preci…
SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection
Faiq Khalid, Syed Rafay Hasan, Osman Hasan +1
Timely detection of Hardware Trojans (HTs) has become a major challenge for secure integrated circuits. We present a run-time methodology for HT detection that employs a multi-para…
ApproxCS: Near-Sensor Approximate Compressed Sensing for IoT-Healthcare Systems
Ayesha Siddique, Osman Hasan, Faiq Khalid +1
Internet of Things (IoTs) is an emerging trend that has enabled an upgrade in the design of wearable healthcare monitoring systems through the (integrated) edge, fog, and cloud com…