Ghaith Bany Hamad

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 28

Top Topics

Multipath Routing

Probabilistic Modeling

Top Venues

Publications

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)
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)
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul. Pap. 68 (8) (2021)
Farimah Poursafaei, Ghaith Bany Hamad, Zeljko Zilic
Detecting Malicious Ethereum Entities via Application of Machine Learning Classification. BRAINS (2020)
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)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16 (7) (2020)
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)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access 7 (2019)
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)
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS (2019)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum
High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS (2019)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE (2019)
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)
Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria
New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access 6 (2018)
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)
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)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE (2018)
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)
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)
Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS (2017)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. 33 (5) (2017)
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)
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)
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)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS (2016)
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)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS (2015)
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) (2015)
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)
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)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Probabilistic model checking of single event transient propagation at RTL level. ICECS (2014)
Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS (2012)
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)