default search action
Ghaith Bany Hamad
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c27]Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren:
Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. VTS 2024: 1-4 - [i1]Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren:
FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. CoRR abs/2410.23299 (2024) - 2022
- [c26]Sowmith Nethula, Vivek Bansal, Ghaith Bany Hamad, Otmane Aït Mohamed:
Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. ISQED 2022: 1-6 - 2021
- [j6]Abdel-Latif Alshalalfah
, Ghaith Bany Hamad
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul. Pap. 68(8): 3147-3157 (2021) - 2020
- [j5]Ayman A. Atallah
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16(7): 4525-4534 (2020) - [c25]Farimah Poursafaei, Ghaith Bany Hamad, Zeljko Zilic:
Detecting Malicious Ethereum Entities via Application of Machine Learning Classification. BRAINS 2020: 120-127 - [c24]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. EMBC 2020: 2508-2511 - [c23]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. NEWCAS 2020: 146-149
2010 – 2019
- 2019
- [j4]Marwan Ammar
Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access 7: 29264-29276 (2019) - [c22]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE 2019: 504-515 - [c21]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS 2019: 1-5 - [c20]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed:
Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS 2019: 1-6 - [c19]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. LATS 2019: 1-6 - [c18]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum:
High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS 2019: 1-4 - 2018
- [j3]Ghaith Bany Hamad
New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access 6: 62107-62119 (2018) - [c17]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS 2018: 437-440 - [c16]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE 2018: 697-708 - [c15]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. IOLTS 2018: 151-156 - 2017
- [j2]Ghaith Bany Hamad
Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. 33(5): 607-620 (2017) - [c14]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. ACM Great Lakes Symposium on VLSI 2017: 239-244 - [c13]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS 2017: 33-38 - [c12]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. NEWCAS 2017: 237-240 - 2016
- [c11]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL 2016: 1-8 - [c10]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. FDL 2016: 1-7 - [c9]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Efficient and accurate analysis of single event transients propagation using SMT-based techniques. ICCAD 2016: 54 - [c8]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. ICECS 2016: 273-276 - [c7]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS 2016: 2166-2169 - 2015
- [j1]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Microelectron. Reliab. 55(1): 238-250 (2015) - [c6]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS 2015: 1-6 - 2014
- [c5]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Probabilistic model checking of single event transient propagation at RTL level. ICECS 2014: 451-454 - [c4]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. ISCAS 2014: 1468-1471 - [c3]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Modeling, analyzing, and abstracting single event transient propagation at gate level. MWSCAS 2014: 515-518 - 2012
- [c2]Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria:
Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS 2012: 3258-3261 - 2011
- [c1]Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria:
SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. ICECS 2011: 358-361
Coauthor Index
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 2024-12-01 00:16 CET 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: