Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Osman Hasan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yassmeen Elderhalli

> Home > Persons > Osman Hasan

Publications

2021
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/MasadehEHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/MasadehEHT21
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)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/ElderhalliEHJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/ElderhalliEHJT21
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
2020
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ElderhalliHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ElderhalliHT20
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM 2020: 105-122
2019
[j55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/ElderhalliHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ElderhalliHT19
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)
[j51]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/ElderhalliAHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/ElderhalliAHT19
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)
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ElderhalliHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ElderhalliHT19
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM 2019: 253-269
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ElderhalliVHKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ElderhalliVHKT19
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
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-01930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-01930
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR abs/1908.01930 (2019)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08875
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Integrating DFT and DRBD Formalizations in HOL4. CoRR abs/1910.08875 (2019)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-11203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-11203
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR abs/1910.11203 (2019)
2018
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ElderhalliHAT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ElderhalliHAT18
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
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-11576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-11576
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR abs/1807.11576 (2018)
2017
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-02872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-02872
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)

a service of

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.