Full name Familienname, Vorname
Hasan, Osman
 

Results 1-20 of 23 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bhatti, Iram Tariq ; Naseer, Mahum ; Shafique, Muhammad ; Hasan, Osman A formal approach to identifying the impact of noise on neural networksArticle Artikel 2022
2Prabakaran, Bharath Srinivas ; Akhtar, Asima ; Rehman, Semeen ; Hasan, Osman ; Shafique, Muhammad BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for WearablesArtikel Article 2021
3Elderhalli, Yassmeen ; El-Araby, Nahla ; Hasan, Osman ; Jantsch, Axel ; Tahar, Sofiene Dynamic Fault Tree Models for FPGA Fault Tolerance and ReliabilityKonferenzbeitrag Inproceedings2021
4Naseer, 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
5Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate UnitsKonferenzbeitrag Inproceedings 2020
6Ayub, Muhammad Kamran ; Hanif, Muhammad Abdullah ; Hasan, Osman ; Shafique, Muhammad PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate AddersArtikel Article 2020
7Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Shafique, Muhammad SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan DetectionArtikel Article 2020
8Khalid, 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
9Mazahir, Sana ; Ayub, Muhammad Kamran ; Hasan, Osman ; Shafique, Muhammad Probabilistic Error Analysis of Approximate Adders and MultipliersBuchbeitrag Book Contribution 2019
10Shafique, Muhammad ; Hasan, Osman ; Hafiz, Rehan ; Mazahir, Sana ; Hanif, Muhammad Abdullah ; Rehman, Semeen Approximate computing across the hardware and software stacksBuchbeitrag Book Contribution2019
11Bukhari, 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 Article2019
12Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad Self-Compensating Accelerators for Efficient Approximate ComputingArtikel Article2019
13Javed, Raja Haseeb ; Siddique, Ayesha ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2018
14Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Khalid, Faiq ; Hasan, Osman Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster ManagementArtikel Article2018
15Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal VerificationArtikel Article2018
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 Article2018
17Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad Adaptive Approximate Computing in Arithmetic DatapathsArtikel Article2018
18Khalid, 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
19Ayub, Muhammad Kamran ; Hasan, Osman ; Shafique, Muhammad Statistical Error Analysis for Low Power Approximate AddersKonferenzbeitrag Inproceedings 2017
20Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad QuAdKonferenzbeitrag Inproceedings 2017