


Остановите войну!
for scientists:


default search action
Osman 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
- 2023
- [j81]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) - [i38]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) - 2022
- [j80]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) - [j79]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) - [j78]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) - [j77]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) - [c125]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CICM 2022: 21-37 - [c124]M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger:
Metaheuristic Algorithms for Proof Searching in HOL4. SEKE 2022: 376-381 - [c123]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
- [j76]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) - [j75]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) - [j74]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) - [j73]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) - [j72]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) - [j71]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) - [j70]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) - [j69]Adnan Rashid
, Osman Hasan
:
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. 112: 101850 (2021) - [j68]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) - [j67]Osman Hasan, Frédéric Mallet:
Preface - FTSCS 2019. Sci. Comput. Program. 209: 102669 (2021) - [j66]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) - [c122]Ammar Boucherit, Kamel Barkaoui, Osman Hasan:
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets 2021: 155-174 - [c121]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 - [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
- [j65]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) - [j64]Mahum Naseer
, Waqar Ahmad, Osman Hasan
:
Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. 36(5): 643-663 (2020) - [j63]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) - [j62]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) - [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]