default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOsman Hasan
Person information
- affiliation: National University of Sciences and Technology, Islamabad, Pakistan
- affiliation (PhD 2008): Concordia University, Montreal, QC, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[i42]Adnan Rashid, Sa'ed Abed, Osman Hasan:
Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications. CoRR abs/2501.00541 (2025)- [i41]Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique:
Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. CoRR abs/2503.17061 (2025) - 2024
- [j91]Adnan Rashid
, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad:
Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. 40(3): 329-345 (2024) - [j90]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62(1): 285-325 (2024) - [j89]Qurat-ul Ain, Osman Hasan:
Formal timing analysis of gate-level digital circuits using model checking. Microprocess. Microsystems 109: 105083 (2024) - [j88]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): 2499-2526 (2024) - [j87]Rubab Hafeez, Zohaib Amjad, Sadia Waheed, Osman Hasan, Muhammad Imran Sharif, Anwaar Ulhaq:
A Universal Virtual Reality Training Platform for Microscale Robotic Cell Injection in Biomedical Research and Practice. SN Comput. Sci. 5(8): 1134 (2024) - [c129]Alain Aoun, Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Arithmetic Calculus Modeling for Approximate Circuits. ICM 2024: 1-6 - [c128]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS 2024: 20-37 - [i40]Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique:
Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications. CoRR abs/2410.09218 (2024) - 2023
- [j86]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: 19135-19147 (2023) - [j85]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: 109009 (2023) - [j84]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): 272-296 (2023) - [j83]Arooj Nawaz, Osman Hasan, Shaista Jabeen:
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment. Neural Comput. 35(4): 671-698 (2023) - [j82]Mahum Naseer, Osman Hasan, Muhammad Shafique:
QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. ACM Trans. Design Autom. Electr. Syst. 28(6): 95:1-95:21 (2023) - [c127]Mahum Naseer, Osman Hasan, Muhammad Shafique:
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. FoMLAS@CAV 2023: 6-28 - [p2]Adnan Rashid, Osman Hasan, Sa'ed Abed:
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. Mobile Robot: Motion Control and Path Planning 2023: 253-282 - [i39]Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique:
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks. CoRR abs/2302.12538 (2023) - [i38]Mahum Naseer, Osman Hasan, Muhammad Shafique:
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). CoRR abs/2306.17323 (2023) - 2022
- [j81]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): 70-73 (2022) - [j80]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): 53 (2022) - [j79]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): 9 (2022) - [j78]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): 1167-1180 (2022) - [c126]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CICM 2022: 21-37 - [c125]M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger:
Metaheuristic Algorithms for Proof Searching in HOL4. SEKE 2022: 376-381 - [c124]Shahid Khan, Waqar Ahmad, Osman Hasan:
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis. SMACD 2022: 1-4 - [i37]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CoRR abs/2208.06642 (2022) - 2021
- [j77]M. Saqib Nawaz, Muhammad 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): 1580-1601 (2021) - [j76]M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun:
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104: 107200 (2021) - [j75]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): 561-567 (2021) - [j74]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): 95-119 (2021) - [j73]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): 13251-13265 (2021) - [j72]Sumbal Iqbal, Osman Hasan, Rehan Hafiz, Zeshan Aslam Khan:
LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier. J. Circuits Syst. Comput. 30(1): 2150017:1-2150017:17 (2021) - [j71]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): 57:1-57:19 (2021) - [j70]Adnan Rashid, Osman Hasan:
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. 112: 101850 (2021) - [j69]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: e440 (2021) - [j68]Osman Hasan, Frédéric Mallet:
Preface - FTSCS 2019. Sci. Comput. Program. 209: 102669 (2021) - [j67]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): 800-813 (2021) - [c123]Ammar Boucherit, Kamel Barkaoui, Osman Hasan:
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets 2021: 155-174 - [c122]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: 194-199 - [c121]Osman Hasan:
FVPS Preface. CICM Workshops 2021 - [i36]Khadija Shaheen, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique:
Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks. CoRR abs/2105.12374 (2021) - [i35]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 abs/2109.02909 (2021) - [i34]Ujala Qasim, Adnan Rashid, Osman Hasan:
Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR abs/2111.12274 (2021) - [i33]Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan:
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR abs/2112.12976 (2021) - 2020
- [j66]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: 27291-27307 (2020) - [j65]Mahum Naseer, Waqar Ahmad, Osman Hasan:
Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. 36(5): 643-663 (2020) - [j64]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): 71-111 (2020) - [j63]Adnan Rashid, Osman Hasan:
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Formal Aspects Comput. 32(2-3): 229-250 (2020) - [j62]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): 481-495 (2020) - [j61]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): 1:1-1:37 (2020) - [j60]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): 47-66 (2020) - [j59]Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Muhammad Shafique:
SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection. Microprocess. Microsystems 77: 103122 (2020) - [j58]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): 4820-4831 (2020) - [j57]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): 1725-1738 (2020) - [j56]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): 3748-3761 (2020) - [c120]Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique:
PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units. DAC 2020: 1-6 - [c119]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: 666-669 - [c118]Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM 2020: 1-4 - [c117]Iram Tariq Bhatti, Osman Hasan:
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System. ISQED 2020: 111-116 - [c116]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: 421-425 - [c115]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM 2020: 105-122 - [c114]Sa'ed Abed, Adnan Rashid, Osman Hasan:
Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC 2020: 3-7 - [c113]Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun:
Proof searching in HOL4 with genetic algorithm. SAC 2020: 513-520 - [c112]Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon 2020: 1-5 - [c111]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Machine Learning-Based Self-Compensating Approximate Computing. SysCon 2020: 1-6 - [e3]Osman Hasan, Frédéric Mallet:
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Communications in Computer and Information Science 1165, Springer 2020, ISBN 978-3-030-46901-6 [contents] - [i32]Adnan Rashid, Ayesha Gauhar, Osman Hasan:
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR abs/2001.06702 (2020) - [i31]Salman Maqbool, Aqsa Riaz, Hasan Sajid, Osman Hasan:
m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks. CoRR abs/2008.10134 (2020) - [i30]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 abs/2011.11632 (2020)
2010 – 2019
- 2019
- [j55]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access 7: 136176-136192 (2019) - [j54]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access 7: 147129-147142 (2019) - [j53]Ainan Ihsan, Kashif Saghar, Tayyba Fatima, Osman Hasan:
Formal comparison of LEACH and its extensions. Comput. Stand. Interfaces 62: 119-127 (2019) - [j52]Asad Ahmed, Osman Hasan, Ammar Hasan:
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. FLAP 6(3): 447-468 (2019) - [j51]Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6(3): 469-512 (2019) - [j50]Asad Ahmed, Osman Hasan, Ammar Hasan:
Formal Periodic Steady-state Analysis of Power Converters in Time-domain. FLAP 6(6): 1263-1284 (2019) - [j49]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) - [j48]Adnan Rashid, Osman Hasan:
Formal analysis of continuous-time systems using Fourier transform. J. Symb. Comput. 90: 65-88 (2019) - [j47]Sana Mazahir, Osman Hasan, Muhammad Shafique:
Self-compensating accelerators for efficient approximate computing. Microelectron. J. 88: 9-17 (2019) - [j46]Adnan Rashid, Osman Hasan:
Wearable technologies for hand joints monitoring for rehabilitation: A survey. Microelectron. J. 88: 173-183 (2019) - [j45]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: 42-66 (2019) - [j44]Amina Qureshi, Osman Hasan:
Formal Probabilistic Analysis of Low Latency Approximate Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(1): 177-189 (2019) - [c110]Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad:
Formalization of Asymptotic Notations in HOL4. ICCCS 2019: 383-387 - [c109]Rubab Hafeez, Zohaib Amjad Khan, Osman Hasan:
A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection. ICCCS 2019: 400-403 - [c108]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Using Machine Learning for Quality Configurable Approximate Computing. DATE 2019: 1575-1578 - [c107]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM 2019: 253-269 - [c106]Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE 2019: 109-118 - [c105]Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar:
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM 2019: 513-531 - [c104]Asad Hameed, Osman Hasan:
Electronic Controller Design of a Semi-Automatic Cell Microinjection System. SysCon 2019: 1-6 - [p1]Sana Mazahir, Muhammad Kamran Ayub, Osman Hasan, Muhammad Shafique:
Probabilistic Error Analysis of Approximate Adders and Multipliers. Approximate Circuits 2019: 99-120 - [e2]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - [i29]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 abs/1901.07299 (2019) - [i28]Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR abs/1904.01605 (2019) - [i27]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Error Analysis of Approximate Array Multipliers. CoRR abs/1908.01343 (2019) - [i26]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR abs/1908.01930 (2019) - [i25]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Integrating DFT and DRBD Formalizations in HOL4. CoRR abs/1910.08875 (2019) - [i24]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR abs/1910.11203 (2019) - [i23]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 abs/1912.01978 (2019) - [i22]Sa'ed Abed, Adnan Rashid, Osman Hasan:
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR abs/1912.07340 (2019) - 2018
- [j43]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: 32240-32257 (2018) - [j42]Amjad Gawanmeh, Usman Pervez, Osman Hasan:
Probabliistic analysis of electrocardiogram (ECG) heart signal. Comput. Syst. Sci. Eng. 33(1) (2018) - [j41]Sana Mazahir, Osman Hasan, Muhammad Shafique:
Adaptive Approximate Computing in Arithmetic Datapaths. IEEE Des. Test 35(4): 65-74 (2018) - [j40]Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy:
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. FLAP 5(1): 319-366 (2018) - [j39]Adnan Rashid, Osman Hasan:
Formalization of Lerch's Theorem using HOL Light. FLAP 5(8): 1623-1652 (2018) - [j38]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): 311-339 (2018) - [j37]Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad:
Runtime hardware Trojan monitors through modeling burst mode communication using formal verification. Integr. 61: 62-76 (2018) - [j36]Muhammad Saad Ayub, Osman Hasan:
Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures. Innov. Syst. Softw. Eng. 14(2): 83-100 (2018) - [j35]Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan:
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. 47(3): 393-405 (2018) - [j34]Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque:
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). J. Autom. Reason. 60(1): 85-105 (2018) - [j33]Mumtaz Ali, Osman Hasan:
SAT Based Fitness Scoring for Digital Circuit Evolution. J. Circuits Syst. Comput. 27(6): 1850099:1-1850099:23 (2018) - [j32]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): 512-516 (2018) - [c103]Asad Ahmed, Osman Hasan, Falah Awwad:
Formal Stability Analysis of Control Systems. FTSCS 2018: 3-17 - [c102]Qurat Ul Ain, Osman Hasan:
Formal Timing Analysis of Digital Circuits. FTSCS 2018: 84-100 - [c101]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI 2018: 415-418 - [c100]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Approximation-Conscious IC Testing. ICM 2018: 56-59 - [c99]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: 1-5 - [c98]Asad Hameed, Nabeel Kamal, Saad BinQaiser, Osman Hasan, Nasir Jalal:
Electronic Design of a Semi-Automated Micromanipulator Cell Injection System. ISMICT 2018: 1-5 - [c97]Adnan Rashid, Osman Hasan:
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). CICM Workshops 2018 - [c96]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: 139-156 - [c95]Sumayya Shiraz, Osman Hasan:
Formal Verification of n-bit ALU Using Theorem Proving. SBMF 2018: 74-89 - [c94]Adnan Rashid, Umair Siddique, Osman Hasan:
Formal Verification of Platoon Control Strategies. SEFM 2018: 223-238 - [c93]Shahid Khan, Osman Hasan, Atif Mashkoor:
Formal Verification and Safety Assessment of a Hemodialysis Machine. SOFSEM 2018: 241-254 - [c92]Nabeel Kamal, Zohaib Amjad Khan, Asad Hameed, Osman Hasan:
A modular and generic virtual reality training framework for micro-robotic cell injection systems. SysCon 2018: 1-8 - [c91]Shahid Khan, Faiq Khalid, Osman Hasan, João M. P. Cardoso:
Formal verification of a domain specific language for run-time adaptation. SysCon 2018: 1-8 - [c90]Sarah Shah, Abdul Qahir, Masooma Safeer, Sana Mazahir, Osman Hasan:
COMFAST: A comparative framework for analysis of scheduling techniques in multi-core systems. SysCon 2018: 1-7 - [i21]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. CoRR abs/1803.06587 (2018) - [i20]Adnan Rashid, Umair Siddique, Osman Hasan:
Formal Verification of Platoon Control Strategies. CoRR abs/1804.07951 (2018) - [i19]Adnan Rashid, Osman Hasan:
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving. CoRR abs/1805.02858 (2018) - [i18]Adnan Rashid, Osman Hasan:
Formalization of Lerch's Theorem using HOL Light. CoRR abs/1806.03049 (2018) - [i17]Adnan Rashid, Osman Hasan:
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic. CoRR abs/1807.07378 (2018) - [i16]Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR abs/1807.11576 (2018) - [i15]Faiq Khalid, Imran Hafeez Abbassi, Semeen Rehman, Osman Hasan, Muhammad Shafique:
ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. CoRR abs/1812.05446 (2018) - 2017
- [j31]Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar:
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Access 5: 5494-5505 (2017) - [j30]Syeda Hira Taqdees, Osman Hasan:
Formally Verifying Transfer Functions of Linear Analog Circuits. IEEE Des. Test 34(5): 30-37 (2017) - [j29]Uzma Mushtaq, Osman Hasan, Falah R. Awwad:
NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration. J. Circuits Syst. Comput. 26(4): 1750058:1-1750058:13 (2017) - [j28]Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir:
Reliability modeling and analysis of communication networks. J. Netw. Comput. Appl. 78: 191-215 (2017) - [j27]Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel:
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes. J. Parallel Distributed Comput. 100: 157-171 (2017) - [j26]Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel:
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. Sci. Comput. Program. 133: 154-174 (2017) - [j25]Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique, Jörg Henkel:
Probabilistic Error Modeling for Approximate Adders. IEEE Trans. Computers 66(3): 515-530 (2017) - [j24]Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique:
Probabilistic Error Analysis of Approximate Recursive Multipliers. IEEE Trans. Computers 66(11): 1982-1990 (2017) - [c89]Adnan Rashid, Osman Hasan:
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. CyPhy 2017: 127-141 - [c88]Muhammad Abdullah Hanif, Rehan Hafiz, Osman Hasan, Muhammad Shafique:
QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders. DAC 2017: 42:1-42:6 - [c87]Muhammad Kamran Ayub, Osman Hasan, Muhammad Shafique:
Statistical Error Analysis for Low Power Approximate Adders. DAC 2017: 75:1-75:6 - [c86]Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad:
Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. DATE 2017: 294-297 - [c85]Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel:
CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. DATE 2017: 1289-1292 - [c84]Adnan Rashid, Osman Hasan:
Formal Analysis of Linear Control Systems Using Theorem Proving. ICFEM 2017: 345-361 - [c83]Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad:
Formal verification of demand response based home energy management systems in smart grids. ISGT Asia 2017: 1-6 - [c82]Adnan Rashid, Osman Hasan:
Formalization of Transform Methods Using HOL Light. CICM 2017: 319-332 - [c81]Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah Awwad:
Behavior profiling of power distribution networks for runtime hardware trojan detection. MWSCAS 2017: 1316-1319 - [c80]Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev:
Formal Analysis of Information Flow in HOL. SETTA 2017: 283-299 - [c79]Liya Liu, Osman Hasan, Sofiène Tahar:
Formalization of Birth-Death and IID processes in higher-order logic. SysCon 2017: 1-7 - [c78]Muhammad Saad Ayub, Osman Hasan:
Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. VECoS 2017: 1-16 - [c77]Muhammad Usama Sardar, Osman Hasan:
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. MARS@ETAPS 2017: 271-282 - [e1]Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke:
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science 10383, Springer 2017, ISBN 978-3-319-62074-9 [contents] - [i14]Adnan Rashid, Osman Hasan:
Formalization of Transform Methods using HOL Light. CoRR abs/1705.10050 (2017) - [i13]Adnan Rashid, Osman Hasan:
Formal Analysis of Linear Control Systems using Theorem Proving. CoRR abs/1707.06967 (2017) - [i12]Adnan Rashid, Osman Hasan:
Formal Analysis of Continuous-time Systems using Fourier Transform. CoRR abs/1707.09941 (2017) - [i11]Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar:
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR abs/1712.02872 (2017) - 2016
- [j23]Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad:
Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. J. Electron. Test. 32(5): 569-586 (2016) - [j22]Syed Rafay Hasan, Waqas Gul, Osman Hasan:
Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous. Integr. 52: 367-380 (2016) - [j21]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. 18: 19-41 (2016) - [j20]Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh:
Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. Scalable Comput. Pract. Exp. 17(3): 150-170 (2016) - [j19]Taimoor Hassan, Asad Hameed, Sajid Nisar, Nabeel Kamal, Osman Hasan:
Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery. IEEE Syst. J. 10(3): 1035-1045 (2016) - [c76]Sana Mazahir, Osman Hasan, Rehan Hafiz, Muhammad Shafique, Jörg Henkel:
An area-efficient consolidated configurable error correction for approximate hardware accelerators. DAC 2016: 96:1-96:6 - [c75]Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel:
Formal probabilistic analysis of distributed resource management schemes in on-chip systems. DATE 2016: 930-935 - [c74]Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan:
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. FTSCS 2016: 75-92 - [c73]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS 2016: 93-108 - [c72]Waqar Ahmad, Osman Hasan:
Formal Availability Analysis Using Theorem Proving. ICFEM 2016: 226-242 - [c71]Ali Athar, Abdul Moeed Zafar, Rizwan Asif, Armaghan Ahmad Khan, Fahad Islam, Yasar Ayaz, Osman Hasan:
Whole-body motion planning for humanoid robots with heuristic search. IROS 2016: 4720-4727 - [c70]Faiq Khalid Lodhi, Imran Hafeez Abbasi, Faiq Khalid, Osman Hasan, Falah R. Awwad, Syed Rafay Hasan:
A self-learning framework to detect the intruded integrated circuits. ISCAS 2016: 1702-1705 - [c69]Waqas Gul, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi, Falah R. Awwad:
Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. ISCAS 2016: 2615-2618 - [c68]Adnan Rashid, Osman Hasan:
On the Formalization of Fourier Transform in Higher-order Logic. ITP 2016: 483-490 - [c67]Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar:
Formalization of Normal Random Variables in HOL. CICM 2016: 44-59 - [c66]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CICM 2016: 132-147 - [c65]Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan:
Probabilistic Formal Verification of the SATS Concept of Operation. NFM 2016: 191-205 - [c64]Waqar Ahmad, Osman Hasan:
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. SETTA 2016: 264-279 - [c63]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS 2016: 43-58 - [i10]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CoRR abs/1606.06877 (2016) - [i9]Waqar Ahmad, Osman Hasan:
Formal Availability Analysis using Theorem Proving. CoRR abs/1608.01755 (2016) - [i8]Waqar Ahmad, Osman Hasan:
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach. CoRR abs/1608.06392 (2016) - [i7]Waqar Ahmad, Osman Hasan, Usman Pervez, Junaid Qadir:
Reliability Modeling and Analysis of Communication Networks. CoRR abs/1612.08910 (2016) - 2015
- [j18]Junaid Qadir, Osman Hasan:
Applying Formal Methods to Networking: Theory, Techniques, and Applications. IEEE Commun. Surv. Tutorials 17(1): 256-291 (2015) - [j17]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic analysis of detection properties in wireless sensor networks. Formal Aspects Comput. 27(1): 79-102 (2015) - [j16]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Evaluation of anonymity and confidentiality protocols using theorem proving. Formal Methods Syst. Des. 47(3): 265-286 (2015) - [j15]Sohaib Ahmad, Osman Hasan, Umair Siddique:
On the Formalization of Zsyntax with Applications in Molecular Biology. Scalable Comput. Pract. Exp. 16(1) (2015) - [c62]Muhammad Usman Sanwal, Osman Hasan:
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations. CyPhy 2015: 132-146 - [c61]Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel:
Formal probabilistic analysis of distributed dynamic thermal management. DATE 2015: 1221-1224 - [c60]Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan:
g-HOL: A Graphical User Interface for the HOL Proof Assistant. FTSCS 2015: 265-269 - [c59]Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh:
Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. HealthCom 2015: 108-113 - [c58]Muhammad Sarmad Khan, Asad Ali Awan, Fahad Islam, Yasar Ayaz, Osman Hasan:
Safe-radius based motion planning of hexapod using RRT-connect. ICIA 2015: 415-418 - [c57]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR 2015: 1-14 - [c56]Waqar Ahmad, Osman Hasan:
Towards Formal Fault Tree Analysis Using Theorem Proving. CICM 2015: 39-54 - [c55]Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM 2015: 316-324 - [c54]Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad:
Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. NORCAS 2015: 1-4 - [c53]Umair Siddique, Osman Hasan, Sofiène Tahar:
Formal modeling and verification of integrated photonic systems. SysCon 2015: 562-569 - [c52]Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel:
Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. WETICE 2015: 210-215 - [c51]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob 2015: 217-224 - [i6]Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CoRR abs/1505.02140 (2015) - [i5]Waqar Ahmad, Osman Hasan:
Towards Formal Fault Tree Analysis using Theorem Proving. CoRR abs/1505.02648 (2015) - 2014
- [j14]Faiq Khalid Lodhi, Syed Rafay Hasan, Naeha Sharif, Nadra Ramzan, Osman Hasan:
Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. IET Circuits Devices Syst. 8(1): 58-64 (2014) - [j13]Umair Siddique, Osman Hasan:
On the Formalization of Gamma Function in HOL. J. Autom. Reason. 53(4): 407-429 (2014) - [j12]Naeem Abbasi, Osman Hasan, Sofiène Tahar:
An approach for lifetime reliability analysis using theorem proving. J. Comput. Syst. Sci. 80(2): 323-345 (2014) - [j11]Osman Hasan, Syed Ali Khayam:
Towards Formal Linear Cryptanalysis using HOL4. J. Univers. Comput. Sci. 20(2): 193-212 (2014) - [j10]Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. Math. Comput. Sci. 8(1): 39-70 (2014) - [c50]Ahmed Hussain Qureshi, Saba Mumtaz, Khawaja Fahad Iqbal, Yasar Ayaz, Mannan Saeed Muhammad, Osman Hasan, Whoi-Yul Kim, Moonsoo Ra:
Triangular geometry based optimal motion planning using RRT*-motion planner. AMC 2014: 380-385 - [c49]Muhammad Ahmad, Osman Hasan:
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. FMICS 2014: 1-15 - [c48]Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel:
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. FTSCS 2014: 32-46 - [c47]Usman Pervez, Osman Hasan, Khalid Latif, Sofiène Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi:
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. Healthcom 2014: 43-48 - [c46]Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
On the Formal Analysis of HMM Using Theorem Proving. ICFEM 2014: 316-331 - [c45]Anam Zaman, Osman Hasan:
Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN. ISSoC 2014: 1-8 - [c44]Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad:
Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. ISVLSI 2014: 601-606 - [c43]Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CICM 2014: 30-44 - [c42]Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. CICM 2014: 123-137 - [c41]Ahmed Hussain Qureshi, Saba Mumtaz, Wajeeha Khan, Abdul Ahad Ashfaq Sheikh, Khawaja Fahad Iqbal, Yasar Ayaz, Osman Hasan:
Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments. MMAR 2014: 657-662 - [c40]Waqas Gul, Syed Rafay Hasan, Osman Hasan:
Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations. MWSCAS 2014: 222-225 - [c39]Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah Awwad:
Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. MWSCAS 2014: 659-662 - [c38]Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar:
Towards the formal verification of optical interconnects. NEWCAS 2014: 157-160 - [c37]Waqas Gul, Syed Rafay Hasan, Osman Hasan:
Clock domain crossing (CDC) for inter-logic-layer communication in 3-D ICs. NEWCAS 2014: 476-479 - [c36]Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar:
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. SBMF 2014: 32-47 - [c35]Sohaib Ahmad, Osman Hasan, Umair Siddique:
Towards Formal Reasoning about Molecular Pathways in HOL. WETICE 2014: 378-383 - [i4]Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. CoRR abs/1403.3039 (2014) - [i3]Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. CoRR abs/1405.4034 (2014) - [i2]Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CoRR abs/1405.6985 (2014) - 2013
- [j9]Liya Liu, Osman Hasan, Sofiène Tahar:
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. J. Comput. Sci. Technol. 28(2): 217-231 (2013) - [j8]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Trans. Embed. Comput. Syst. 12(1): 13:1-13:23 (2013) - [c34]Atif Mashkoor, Osman Hasan, Wolfgang Beer:
Using Probabilistic Analysis for the Certification of Machine Control Systems. CD-ARES Workshops 2013: 305-320 - [c33]Osman Hasan, Muhammad Ahmad:
Formal analysis of steady state errors in feedback control systems using HOL-light. DATE 2013: 1423-1426 - [c32]Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan:
Formal Reliability Analysis of Protective Relays in Power Distribution Systems. FMICS 2013: 169-183 - [c31]Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jörg Henkel:
Formal verification of distributed dynamic thermal management. ICCAD 2013: 248-255 - [c30]Muhammad Usman Sanwal, Osman Hasan:
Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements. ICCSA (1) 2013: 358-371 - [c29]Binyameen Farooq, Osman Hasan, Sohail Iqbal:
Formal Kinematic Analysis of the Two-Link Planar Manipulator. ICFEM 2013: 347-362 - [c28]Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar:
Formal Reasoning about Classified Markov Chains in HOL. ITP 2013: 295-310 - [c27]Syeda Hira Taqdees, Osman Hasan:
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. LPAR 2013: 744-758 - [c26]Ahmed Hussain Qureshi, Saba Mumtaz, Khawaja Fahad Iqbal, Badar Ali, Yasar Ayaz, Faizan Ahmed, Saeed Muhammad Mannan, Osman Hasan, Whoi-Yul Kim, Moonsoo Ra:
Adaptive Potential guided directional-RRT. ROBIO 2013: 1887-1892 - [c25]Ghassen Helali, Osman Hasan, Sofiène Tahar:
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. SBMF 2013: 131-146 - [c24]Liya Liu, Osman Hasan, Sofiène Tahar:
Formal Analysis of Memory Contention in a Multiprocessor System. SBMF 2013: 195-210 - [c23]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Towards the Formal Performance Analysis of Wireless Sensor Networks. WETICE 2013: 365-370 - [i1]Junaid Qadir, Osman Hasan:
Applying Formal Methods to Networking: Theory, Techniques and Applications. CoRR abs/1311.4303 (2013) - 2012
- [c22]Ghassen Helali, Sofiène Tahar, Osman Hasan:
Formal verification of the heavy hitter problem. CCECE 2012: 1-4 - [c21]Atif Mashkoor, Osman Hasan:
Formal Probabilistic Analysis of Cyber-Physical Transportation Systems. ICCSA (3) 2012: 419-434 - [c20]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Quantitative Analysis of Information Flow Using Theorem Proving. ICFEM 2012: 119-134 - [c19]Faiq Khalid Lodhi, Osman Hasan, Syed Rafay Hasan, Falah Awwad:
Modified null convention logic pipeline to detect soft errors in both null and data phases. MWSCAS 2012: 402-405 - [c18]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. SCSS 2012: 1-9 - [c17]Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Analysis of Soft Errors using Theorem Proving. SCSS 2012: 75-84 - 2011
- [j7]Osman Hasan, Sofiène Tahar:
Reasoning about conditional probabilities in a higher-order-logic theorem prover. J. Appl. Log. 9(1): 23-40 (2011) - [j6]Osman Hasan, Jigar Patel, Sofiène Tahar:
Formal reliability analysis of combinational circuits using theorem proving. J. Appl. Log. 9(1): 41-60 (2011) - [c16]Liya Liu, Osman Hasan, Sofiène Tahar:
Formalization of Finite-State Discrete-Time Markov Chains in HOL. ATVA 2011: 90-104 - [c15]Umair Siddique, Osman Hasan:
Formal analysis of fractional order systems in HOL. FMCAD 2011: 163-170 - [c14]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. ICFEM 2011: 388-403 - [c13]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Formalization of Entropy Measures in HOL. ITP 2011: 233-248 - 2010
- [j5]Osman Hasan, Sofiène Tahar:
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. J. Comput. Sci. Technol. 25(6): 1305-1320 (2010) - [j4]Osman Hasan, Sofiène Tahar, Naeem Abbasi:
Formal Reliability Analysis Using Theorem Proving. IEEE Trans. Computers 59(5): 579-592 (2010) - [c12]Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar:
Performance analysis of real-time rewriting models. AICCSA 2010: 1-8 - [c11]Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. ASM 2010: 2-19 - [c10]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
On the Formalization of the Lebesgue Integration Theory in HOL. ITP 2010: 387-402 - [c9]Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Lifetime Reliability Analysis Using Continuous Random Variables. WoLLIC 2010: 84-97
2000 – 2009
- 2009
- [j3]Osman Hasan, Sofiène Tahar:
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. J. Autom. Reason. 42(1): 1-33 (2009) - [c8]Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour:
Formal Reasoning about Expectation Properties for Continuous Random Variables. FM 2009: 435-450 - [c7]Osman Hasan, Naeem Abbasi, Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM 2009: 277-291 - [c6]Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar:
Formal Analysis of Optical Waveguides in HOL. TPHOLs 2009: 228-243 - 2008
- [j2]Osman Hasan, Sofiène Tahar:
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. J. Autom. Reason. 41(3-4): 295-323 (2008) - [c5]Osman Hasan, Sofiène Tahar:
Performance Analysis of ARQ Protocols using a Theorem Prover. ISPASS 2008: 85-94 - [c4]Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving. FMWS@CONCUR 2008: 43-58 - 2007
- [j1]Osman Hasan, Sofiène Tahar:
Formalization of the Standard Uniform random variable. Theor. Comput. Sci. 382(1): 71-83 (2007) - [c3]Osman Hasan, Sofiène Tahar:
Formalization of Continuous Probability Distributions. CADE 2007: 3-18 - [c2]Osman Hasan, Sofiène Tahar:
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM 2007: 333-352 - [c1]Osman Hasan, Sofiène Tahar:
Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs 2007: 119-134
Coauthor Index
Falah R. Awwad
aka: Falah Awwad
aka: Falah Awwad
Faiq Khalid
aka: Faiq Khalid Lodhi
aka: Faiq Khalid Lodhi
[j90] [c129] [c128] [c126] [i37] [j71] [j67] [c122] [j64] [c118] [c115] [c112] [c111] [j55] [j54] [j51] [c108] [c107] [c106] [c105] [e2] [i28] [i27] [i26] [i25] [i24] [j38] [c101] [c100] [c96] [i21] [i16] [c80] [c79] [i11] [j21] [c73] [c67] [c66] [c63] [i10] [j17] [j16] [c57] [c55] [c53] [c51] [i6] [j12] [j10] [c47] [c46] [c43] [c42] [c38] [c36] [i4] [i3] [i2] [j9] [j8] [c28] [c25] [c24] [c23] [c22] [c20] [c18] [c17] [j7] [j6] [c16] [c14] [c13] [j5] [j4] [c12] [c11] [c10] [c9] [j3] [c8] [c7] [c6] [j2] [c5] [c4] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-16 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
