SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. - Ghaith Bany Hamad; Otmane Aït Mohamed; Syed Rafay Hasan; Yvon Savaria (ICECS, 2011)

Identification of soft error glitch-propagation paths: Leveraging SAT solvers. - Ghaith Bany Hamad; Otmane Aït Mohamed; Syed Rafay Hasan; Yvon Savaria (ISCAS, 2012)

Probabilistic model checking of single event transient propagation at RTL level. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2014)

Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (ISCAS, 2014)

Modeling, analyzing, and abstracting single event transient propagation at gate level. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (MWSCAS, 2014)

Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (IOLTS, 2015)

Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (Microelectron. Reliab., 2015)

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (FDL, 2016)

Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (FDL, 2016)

Efficient and accurate analysis of single event transients propagation using SMT-based techniques. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (ICCAD, 2016)

Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2016)

Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ISCAS, 2016)

Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ACM Great Lakes Symposium on VLSI, 2017)

Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (IOLTS, 2017)

Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (NEWCAS, 2017)

Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (J. Electron. Test., 2017)

Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2018)

Reliability-Aware Routing of AVB Streams in TSN Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEA/AIE, 2018)

Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IOLTS, 2018)

New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. - Ghaith Bany Hamad; Marwan Ammar; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2018)

Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEA/AIE, 2019)

Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (ISCAS, 2019)

Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed (LATS, 2019)

Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (LATS, 2019)

High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed; Mounir Boukadoum (NEWCAS, 2019)

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2019)

Detecting Malicious Ethereum Entities via Application of Machine Learning Classification. - Farimah Poursafaei; Ghaith Bany Hamad; Zeljko Zilic (BRAINS, 2020)

System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (EMBC, 2020)

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (NEWCAS, 2020)

Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEEE Trans. Ind. Informatics, 2020)

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEEE Trans. Circuits Syst. I Regul. Pap., 2021)

Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. - Sowmith Nethula; Vivek Bansal; Ghaith Bany Hamad; Otmane Aït Mohamed (ISQED, 2022)

Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. - Mingjie Liu; Minwoo Kang; Ghaith Bany Hamad; Syed Suhaib; Haoxing Ren (VTS, 2024)

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. - Minwoo Kang; Mingjie Liu; Ghaith Bany Hamad; Syed M. Suhaib; Haoxing Ren (DATE, 2025)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL. - Yunsheng Bai; Ghaith Bany Hamad; Syed Suhaib; Haoxing Ren (CoRR, 2025)