Name Card

Full name Familienname, Vorname
Hasan, Osman
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 26 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Naseer, Mahum ; Bhatti, Iram Tariq ; Hasan, Osman ; Shafique, Muhammad Considering the Impact of Noise on Machine Learning AccuracyBook Contribution Buchbeitrag 7-Oct-2023
2Naseer-2023-Machine Learning-vor.pdf.jpgNaseer, Mahum ; Prabakaran, Bharath Srinivas ; Hasan, Osman ; Shafique, Muhammad UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networksArticle Artikel 2023
3Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input SegmentationInproceedings Konferenzbeitrag 2023
4Bhatti, Iram Tariq ; Naseer, Mahum ; Shafique, Muhammad ; Hasan, Osman A formal approach to identifying the impact of noise on neural networksArticle Artikel 2022
5Prabakaran, Bharath Srinivas ; Akhtar, Asima ; Rehman, Semeen ; Hasan, Osman ; Shafique, Muhammad BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for WearablesArtikel Article 2021
6Elderhalli, Yassmeen ; El-Araby, Nahla ; Hasan, Osman ; Jantsch, Axel ; Tahar, Sofiene Dynamic Fault Tree Models for FPGA Fault Tolerance and ReliabilityKonferenzbeitrag Inproceedings2021
7Naseer, Mahum ; Minhas, Mishal Fatima ; Khalid, Faiq ; Hanif, Muhammad Abdullah ; Hasan, Osman ; Shafique, Muhammad FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural NetworksKonferenzbeitrag Inproceedings 2020
8Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Shafique, Muhammad SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan DetectionArtikel Article 2020
9Khalid, Faiq ; Hasan, Syed Rafay ; Zia, Sara ; Hasan, Osman ; Awwad, Falah ; Shafique, Muhammad MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge DevicesArtikel Article 2020
10Ayub, Muhammad Kamran ; Hanif, Muhammad Abdullah ; Hasan, Osman ; Shafique, Muhammad PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate AddersArtikel Article 2020
11Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate UnitsKonferenzbeitrag Inproceedings 2020
12Bukhari, Syed Ali Asadullah ; Khalid, Faiq ; Hasan, Osman ; Shafique, Muhammad ; Henkel, Jorg Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded WorkloadsArtikel Article 2019
13Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad Self-Compensating Accelerators for Efficient Approximate ComputingArtikel Article 2019
14Shafique, Muhammad ; Hasan, Osman ; Hafiz, Rehan ; Mazahir, Sana ; Hanif, Muhammad Abdullah ; Rehman, Semeen Approximate computing across the hardware and software stacksBuchbeitrag Book Contribution2019
15Mazahir, Sana ; Ayub, Muhammad Kamran ; Hasan, Osman ; Shafique, Muhammad Probabilistic Error Analysis of Approximate Adders and MultipliersBuchbeitrag Book Contribution 2019
16Abbassi, Imran Hafeez ; Khalid, Faiq ; Hasan, Osman ; Kamboh, Awais Mehmood ; Shafique, Muhammad McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated CircuitsArtikel Article 2018
17Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad Adaptive Approximate Computing in Arithmetic DatapathsArtikel Article 2018
18Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal VerificationArtikel Article 2018
19Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Khalid, Faiq ; Hasan, Osman Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster ManagementArtikel Article 2018
20Khalid, Faiq ; Nanjiani, Sunil ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah ; Shafique, Muhammad Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) DevicesKonferenzbeitrag Inproceedings 2018