Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Osman Hasan

Osman Hasan

SEECS, NUST, Islamabad, Pakistan

BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables


Sep 07, 2021
Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique

* IEEE Internet of Things Journal (Volume: 8, Issue: 17, Sept.1, 1 2021) 

  Access Paper or Ask Questions

Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks


May 26, 2021
Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique


  Access Paper or Ask Questions

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices


Nov 21, 2020
Faiq Khalid, Syed Rafay Hasan, Sara Zia, Osman Hasan, Falah Awwad, Muhammad Shafique

* IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( Volume: 39, Issue: 11, Nov. 2020) 

  Access Paper or Ask Questions

m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks


Aug 23, 2020
Salman Maqbool, Aqsa Riaz, Hasan Sajid, Osman Hasan

* 16 pages, 5 figures, Code available at: https://github.com/salmanmaq/segmentationNetworks 

  Access Paper or Ask Questions

FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks


Dec 03, 2019
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique

* To appear at the 23rd Design, Automation and Test in Europe (DATE 2020). Grenoble, France 

  Access Paper or Ask Questions

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic


Jul 18, 2018
Adnan Rashid, Osman Hasan

* Formal Verification of Physical Systems (FVPS-2018), co-located with Conference on Intelligent Computer Mathematics (CICM-2018). arXiv admin note: text overlap with arXiv:1805.02858 

  Access Paper or Ask Questions

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems


Mar 20, 2017
Muhammad Usama Sardar, Osman Hasan

* EPTCS 244, 2017, pp. 271-282 
* In Proceedings MARS 2017, arXiv:1703.05812 

  Access Paper or Ask Questions

Towards Formal Fault Tree Analysis using Theorem Proving


May 08, 2015
Waqar Ahmed, Osman Hasan

* 16 

  Access Paper or Ask Questions