| 2025 | DAC | Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. | Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique |
| 2023 | CAV | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. | Mahum Naseer, Osman Hasan, Muhammad Shafique |
| 2022 | SEKE | Metaheuristic Algorithms for Proof Searching in HOL4. | M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger |
| 2020 | DAC | PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units. | Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique |
| 2020 | DATE | FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. | Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique |
| 2020 | SAC | Formal analysis of the biological circuits using higher-order-logic theorem proving. | Sa'ed Abed, Adnan Rashid, Osman Hasan |
| 2020 | SAC | Proof searching in HOL4 with genetic algorithm. | Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun |
| 2019 | DATE | Using Machine Learning for Quality Configurable Approximate Computing. | Mahmoud Masadeh, Osman Hasan, Sofine Tahar |
| 2019 | ICFEM | A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. | Yassmeen Elderhalli, Osman Hasan, Sofine Tahar |
| 2019 | ICSE | On the formalization of importance measures using HOL theorem proving. | Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofine Tahar |
| 2019 | SEFM | Formal Verification of Rewriting Rules for Dynamic Fault Trees. | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofine Tahar |
| 2018 | ISCAS | Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices. | Faiq Khalid, Sunil Nanjiani, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad, Muhammad Shafique |
| 2018 | SEFM | Formal Verification of Platoon Control Strategies. | Adnan Rashid, Umair Siddique, Osman Hasan |
| 2018 | SOFSEM | Formal Verification and Safety Assessment of a Hemodialysis Machine. | Shahid Khan, Osman Hasan, Atif Mashkoor |
| 2017 | DAC | Statistical Error Analysis for Low Power Approximate Adders. | Muhammad Kamran Ayub, Osman Hasan, Muhammad Shafique |
| 2017 | DAC | QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders. | Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique |
| 2017 | DATE | CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. | Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2017 | DATE | Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. | Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad |
| 2017 | ICFEM | Formal Analysis of Linear Control Systems Using Theorem Proving. | Adnan Rashid, Osman Hasan |
| 2017 | SETTA | Formal Analysis of Information Flow in HOL. | Ghassen Helali, Sofine Tahar, Osman Hasan, Tsvetan Dunchev |
| 2017 | VECoS | Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. | Muhammad Saad Ayub, Osman Hasan |
| 2016 | DAC | An area-efficient consolidated configurable error correction for approximate hardware accelerators. | Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique, Jrg Henkel |
| 2016 | DATE | Formal probabilistic analysis of distributed resource management schemes in on-chip systems. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2016 | ICFEM | Formal Availability Analysis Using Theorem Proving. | Waqar Ahmad, Osman Hasan |
| 2016 | IROS | Whole-body motion planning for humanoid robots with heuristic search. | Ali Athar, Abdul Moeed Zafar, Rizwan Asif, Armaghan Ahmad Khan, Fahad Islam, Yasar Ayaz, Osman Hasan |
| 2016 | ISCAS | Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. | Waqas Gul, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi, Falah R. Awwad |
| 2016 | ISCAS | A self-learning framework to detect the intruded integrated circuits. | Faiq Khalid Lodhi, Imran Hafeez Abbasi, Faiq Khalid, Osman Hasan, Falah R. Awwad, Syed Rafay Hasan |
| 2016 | ITP | On the Formalization of Fourier Transform in Higher-order Logic. | Adnan Rashid, Osman Hasan |
| 2016 | SETTA | Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. | Waqar Ahmad, Osman Hasan |
| 2016 | VECoS | Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2015 | DATE | Formal probabilistic analysis of distributed dynamic thermal management. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2015 | HealthCom | Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. | Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh |
| 2015 | LPAR | Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. | Waqar Ahmad, Osman Hasan, Sofine Tahar |
| 2015 | WiMob | Formal reliability analysis of wireless sensor network data transport protocols using HOL. | Waqar Ahmad, Osman Hasan, Sofine Tahar |
| 2015 | WETICE | Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. | Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel |
| 2014 | FMICS | Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. | Muhammad Ahmad, Osman Hasan |
| 2014 | HealthCom | Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. | Usman Pervez, Osman Hasan, Khalid Latif, Sofine Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi |
| 2014 | ICFEM | On the Formal Analysis of HMM Using Theorem Proving. | Liya Liu, Vincent Aravantinos, Osman Hasan, Sofine Tahar |
| 2014 | MMAR | Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments. | Ahmed Hussain Qureshi, Saba Mumtaz, Wajeeha Khan, Abdul Ahad Ashfaq Sheikh, Khawaja Fahad Iqbal, Yasar Ayaz, Osman Hasan |
| 2014 | WETICE | Towards Formal Reasoning about Molecular Pathways in HOL. | Sohaib Ahmad, Osman Hasan, Umair Siddique |
| 2013 | DATE | Formal analysis of steady state errors in feedback control systems using HOL-light. | Osman Hasan, Muhammad Ahmad |
| 2013 | FMICS | Formal Reliability Analysis of Protective Relays in Power Distribution Systems. | Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan |
| 2013 | ICCAD | Formal verification of distributed dynamic thermal management. | Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jrg Henkel |
| 2013 | ICCSA | Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements. | Muhammad Usman Sanwal, Osman Hasan |
| 2013 | ICFEM | Formal Kinematic Analysis of the Two-Link Planar Manipulator. | Binyameen Farooq, Osman Hasan, Sohail Iqbal |
| 2013 | ITP | Formal Reasoning about Classified Markov Chains in HOL. | Liya Liu, Osman Hasan, Vincent Aravantinos, Sofine Tahar |
| 2013 | LPAR | Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. | Syeda Hira Taqdees, Osman Hasan |
| 2013 | WETICE | Towards the Formal Performance Analysis of Wireless Sensor Networks. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2012 | ICCSA | Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. | Atif Mashkoor, Osman Hasan |
| 2012 | ICFEM | Quantitative Analysis of Information Flow Using Theorem Proving. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2011 | ATVA | Formalization of Finite-State Discrete-Time Markov Chains in HOL. | Liya Liu, Osman Hasan, Sofine Tahar |
| 2011 | FMCAD | Formal analysis of fractional order systems in HOL. | Umair Siddique, Osman Hasan |
| 2011 | ICFEM | Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2011 | ITP | Formalization of Entropy Measures in HOL. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2010 | AICCSA | Performance analysis of real-time rewriting models. | Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofine Tahar |
| 2010 | ITP | On the Formalization of the Lebesgue Integration Theory in HOL. | Tarek Mhamdi, Osman Hasan, Sofine Tahar |
| 2010 | WoLLIC | Formal Lifetime Reliability Analysis Using Continuous Random Variables. | Naeem Abbasi, Osman Hasan, Sofine Tahar |
| 2009 | FM | Formal Reasoning about Expectation Properties for Continuous Random Variables. | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofine Tahar, Reza Akbarpour |
| 2009 | IFM | Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. | Osman Hasan, Naeem Abbasi, Sofine Tahar |
| 2008 | ISPASS | Performance Analysis of ARQ Protocols using a Theorem Prover. | Osman Hasan, Sofine Tahar |
| 2007 | CADE | Formalization of Continuous Probability Distributions. | Osman Hasan, Sofine Tahar |
| 2007 | IFM | Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. | Osman Hasan, Sofine Tahar |