Osman Hasan

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 188

Top Venues

Publications

Qurat-ul Ain, Osman Hasan
Formal timing analysis of gate-level digital circuits using model checking. Microprocess. Microsystems 109 (2024)
Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. Mach. Learn. 113 (5) (2024)
Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. 40 (3) (2024)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62 (1) (2024)
Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
PN2Maude: An automatic tool to generate Maude specification for Petri net models. Comput. Sci. J. Moldova 31 (2) (2023)
Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks. CoRR (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. FoMLAS@CAV (2023)
Neelma Naz, Hasan Sajid, Sara Ali, Osman Hasan, Muhammad Khurram Ehsan
Signgraph: An Efficient and Accurate Pose-Based Graph Convolution Approach Toward Sign Language Recognition. IEEE Access 11 (2023)
Neelma Naz, Hasan Sajid, Sara Ali, Osman Hasan, Muhammad Khurram Ehsan
MIPA-ResGCN: a multi-input part attention enhanced residual graph convolutional framework for sign language recognition. Comput. Electr. Eng. 112 (2023)
Arooj Nawaz, Osman Hasan, Shaista Jabeen
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. Neural Comput. 35 (4) (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. ACM Trans. Design Autom. Electr. Syst. 28 (6) (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). CoRR (2023)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CICM (2022)
Adnan Rashid, Sa'ed Abed, Osman Hasan
Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. 2022 (1) (2022)
Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. J. Intell. Robotic Syst. 105 (1) (2022)
Shahid Khan, Waqar Ahmad, Osman Hasan
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD (2022)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CoRR (2022)
Iram Tariq Bhatti, Mahum Naseer, Muhammad Shafique, Osman Hasan
A formal approach to identifying the impact of noise on neural networks. Commun. ACM 65 (11) (2022)
Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Awais Mehmood Kamboh, Osman Hasan, Muhammad Shafique
ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (4) (2022)
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger
Metaheuristic Algorithms for Proof Searching in HOL4. SEKE (2022)
Adnan Rashid, Osman Hasan
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. 112 (2021)
Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique
BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables. IEEE Internet Things J. 8 (17) (2021)
Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. ACM J. Emerg. Technol. Comput. Syst. 17 (4) (2021)
Sumbal Iqbal, Osman Hasan, Rehan Hafiz, Zeshan Aslam Khan
LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier. J. Circuits Syst. Comput. 30 (1) (2021)
Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. 7 (2021)
Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar
Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. ISVLSI (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104 (2021)
Osman Hasan, Frédéric Mallet
Preface - FTSCS 2019. Sci. Comput. Program. 209 (2021)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Machine-Learning-Based Self-Tunable Design of Approximate Computing. IEEE Trans. Very Large Scale Integr. Syst. 29 (4) (2021)
Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. CoRR (2021)
Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. Appl. Intell. 51 (3) (2021)
Osman Hasan
FVPS Preface. CICM Workshops (2021)
Mishal Fatima Minhas, Osman Hasan, Sa'ed Abed
HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. J. Electron. Test. 37 (4) (2021)
Ujala Qasim, Adnan Rashid, Osman Hasan
Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR (2021)
Bharath Srinivas Prabakaran, Asima Akhtar, Semeen Rehman, Osman Hasan, Muhammad Shafique
BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables. CoRR (2021)
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR (2021)
Ammar Boucherit, Kamel Barkaoui, Osman Hasan
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets (2021)
M. Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
Proof searching in HOL4 with genetic algorithm. SAC (2020)
Faiq Khalid, Syed Rafay Hasan, Sara Zia, Osman Hasan, Falah Awwad, Muhammad Shafique
MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC (2020)
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon (2020)
Waqar Ahmad, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan
Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving. IEEE Syst. J. 14 (4) (2020)
Iram Tariq Bhatti, Osman Hasan
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System. ISQED (2020)
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. DATE (2020)
Adnan Rashid, Osman Hasan
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Formal Aspects Comput. 32 (2-3) (2020)
Adnan Rashid, Ayesha Gauhar, Osman Hasan
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR (2020)
Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique
PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units. DAC (2020)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM (2020)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Machine Learning-Based Self-Compensating Approximate Computing. SysCon (2020)
Mahum Naseer, Waqar Ahmad, Osman Hasan
Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. 36 (5) (2020)
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM (2020)
Muhammad Kamran Ayub, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders. ACM J. Emerg. Technol. Comput. Syst. 17 (1) (2020)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. 17 (9) (2020)
Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8 (2020)
Salman Maqbool, Aqsa Riaz, Hasan Sajid, Osman Hasan
m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks. CoRR (2020)
Syed Ali Asadullah Bukhari, Faiq Khalid, Osman Hasan, Muhammad Shafique, Jörg Henkel
Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (8) (2020)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. 32 (1) (2020)
Moeez Akmal, Muhammad Sarmad Saeed, Muhammad Usama Sardar, Hareem Shafi, Osman Hasan, Heba Khdr, Jörg Henkel
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures. ISQED (2020)
Faiq Khalid, Syed Rafay Hasan, Sara Zia, Osman Hasan, Falah Awwad, Muhammad Shafique
MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices. CoRR (2020)
Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Muhammad Shafique
SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection. Microprocess. Microsystems 77 (2020)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. 16 (1) (2020)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access 7 (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Using Machine Learning for Quality Configurable Approximate Computing. DATE (2019)
Sohail Iqbal, Shahzad Farooq, Khuram Shahzad, Asad Waqar Malik, Mian Muhammad Hamayun, Osman Hasan
SecureSurgiNET: A framework for ensuring security in telesurgery. Int. J. Distributed Sens. Networks 15 (9) (2019)
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6 (3) (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access 7 (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Integrating DFT and DRBD Formalizations in HOL4. CoRR (2019)
Ainan Ihsan, Kashif Saghar, Tayyba Fatima, Osman Hasan
Formal comparison of LEACH and its extensions. Comput. Stand. Interfaces 62 (2019)
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. CoRR (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Error Analysis of Approximate Array Multipliers. CoRR (2019)
Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah Awwad, Muhammad Shafique
SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection. CoRR (2019)
Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh
Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Sci. Comput. Program. 171 (2019)
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE (2019)
Amina Qureshi, Osman Hasan
Formal Probabilistic Analysis of Low Latency Approximate Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (1) (2019)
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM (2019)
Asad Ahmed, Osman Hasan, Ammar Hasan
Formal Periodic Steady-state Analysis of Power Converters in Time-domain. FLAP 6 (6) (2019)
Rubab Hafeez, Zohaib Amjad Khan, Osman Hasan
A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection. ICCCS (2019)
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR (2019)
Adnan Rashid, Osman Hasan
Wearable technologies for hand joints monitoring for rehabilitation: A survey. Microelectron. J. 88 (2019)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR (2019)
Adnan Rashid, Osman Hasan
Formal analysis of continuous-time systems using Fourier transform. J. Symb. Comput. 90 (2019)
Sana Mazahir, Osman Hasan, Muhammad Shafique
Self-compensating accelerators for efficient approximate computing. Microelectron. J. 88 (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM (2019)
Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad
Formalization of Asymptotic Notations in HOL4. ICCCS (2019)
Asad Ahmed, Osman Hasan, Ammar Hasan
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. FLAP 6 (3) (2019)
Asad Hameed, Osman Hasan
Electronic Controller Design of a Semi-Automatic Cell Microinjection System. SysCon (2019)
Sumayya Shiraz, Osman Hasan
A Library for Combinational Circuit Verification Using the HOL Theorem Prover. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (2) (2018)
Faiq Khalid, Sunil Nanjiani, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad, Muhammad Shafique
Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices. ISCAS (2018)
Amjad Gawanmeh, Usman Pervez, Osman Hasan
Probabliistic analysis of electrocardiogram (ECG) heart signal. Comput. Syst. Sci. Eng. 33 (1) (2018)
Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh, Muhammad Shafique
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits. IEEE Access 6 (2018)
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM (2018)
Asad Hameed, Nabeel Kamal, Saad BinQaiser, Osman Hasan, Nasir Jalal
Electronic Design of a Semi-Automated Micromanipulator Cell Injection System. ISMICT (2018)
Adnan Rashid, Umair Siddique, Osman Hasan
Formal Verification of Platoon Control Strategies. SEFM (2018)
Sumayya Shiraz, Osman Hasan
Formal Verification of n-bit ALU Using Theorem Proving. SBMF (2018)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI (2018)
Qurat Ul Ain, Osman Hasan
Formal Timing Analysis of Digital Circuits. FTSCS (2018)

Osman Hasan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Osman Hasan