| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bhatti, Iram Tariq ; Naseer, Mahum ; Shafique, Muhammad ; Hasan, Osman | A formal approach to identifying the impact of noise on neural networks | Article Artikel  | 2022 |
| 2 | | Prabakaran, Bharath Srinivas ; Akhtar, Asima ; Rehman, Semeen ; Hasan, Osman ; Shafique, Muhammad | BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables | Artikel Article  | 2021 |
| 3 | | Elderhalli, Yassmeen ; El-Araby, Nahla ; Hasan, Osman ; Jantsch, Axel ; Tahar, Sofiene | Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability | Konferenzbeitrag Inproceedings | 2021 |
| 4 | | Naseer, 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 Networks | Konferenzbeitrag Inproceedings  | 2020 |
| 5 | | Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad | PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units | Konferenzbeitrag Inproceedings  | 2020 |
| 6 | | Ayub, Muhammad Kamran ; Hanif, Muhammad Abdullah ; Hasan, Osman ; Shafique, Muhammad | PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders | Artikel Article  | 2020 |
| 7 | | Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Shafique, Muhammad | SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan Detection | Artikel Article  | 2020 |
| 8 | | Khalid, 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 Devices | Artikel Article  | 2020 |
| 9 | | Mazahir, Sana ; Ayub, Muhammad Kamran ; Hasan, Osman ; Shafique, Muhammad | Probabilistic Error Analysis of Approximate Adders and Multipliers | Buchbeitrag Book Contribution  | 2019 |
| 10 | | Shafique, Muhammad ; Hasan, Osman ; Hafiz, Rehan ; Mazahir, Sana ; Hanif, Muhammad Abdullah ; Rehman, Semeen | Approximate computing across the hardware and software stacks | Buchbeitrag Book Contribution | 2019 |
| 11 | | Bukhari, 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 Workloads | Artikel Article | 2019 |
| 12 | | Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad | Self-Compensating Accelerators for Efficient Approximate Computing | Artikel Article | 2019 |
| 13 | | Javed, Raja Haseeb ; Siddique, Ayesha ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad | ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems | Konferenzbeitrag Inproceedings  | 2018 |
| 14 | | Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Khalid, Faiq ; Hasan, Osman | Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management | Artikel Article | 2018 |
| 15 | | Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah | Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification | Artikel Article | 2018 |
| 16 | | Abbassi, Imran Hafeez ; Khalid, Faiq ; Hasan, Osman ; Kamboh, Awais Mehmood ; Shafique, Muhammad | McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits | Artikel Article | 2018 |
| 17 | | Mazahir, Sana ; Hasan, Osman ; Shafique, Muhammad | Adaptive Approximate Computing in Arithmetic Datapaths | Artikel Article | 2018 |
| 18 | | Khalid, Faiq ; Nanjiani, Sunil ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah ; Shafique, Muhammad | Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices | Konferenzbeitrag Inproceedings  | 2018 |
| 19 | | Ayub, Muhammad Kamran ; Hasan, Osman ; Shafique, Muhammad | Statistical Error Analysis for Low Power Approximate Adders | Konferenzbeitrag Inproceedings  | 2017 |
| 20 | | Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Hasan, Osman ; Shafique, Muhammad | QuAd | Konferenzbeitrag Inproceedings  | 2017 |