Ghaith Bany Hamad

37 papers A 2C 11Misc 1Journal 9Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL. CoRR Yunsheng Bai, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
2025	J	`jnl`	FVDebug: An LLM-Driven Debugging Assistant for Automated Root Cause Analysis of Formal Verification Failures. CoRR Yunsheng Bai, Ghaith Bany Hamad, Chia-Tung Ho, Syed Suhaib, Haoxing Ren
2025	A	`conf`	FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. DATE Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed M. Suhaib, Haoxing Ren
2024	Misc	`conf`	Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification. VTS Mingjie Liu, Minwoo Kang, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
2024	J	`jnl`	FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. CoRR Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren
2022	—	`conf`	Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. ISQED Sowmith Nethula, Vivek Bansal, Ghaith Bany Hamad, Otmane Aït Mohamed
2021	J	`jnl`	Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul. Pap. Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	—	`conf`	Detecting Malicious Ethereum Entities via Application of Machine Learning Classification. BRAINS Farimah Poursafaei, Ghaith Bany Hamad, Zeljko Zilic
2020	J	`jnl`	Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	—	`conf`	System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. EMBC Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	—	`conf`	Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. NEWCAS Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	—	`conf`	High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum
2019	C	`conf`	Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	—	`conf`	Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	—	`conf`	Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. LATS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	C	`conf`	Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	J	`jnl`	Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2018	C	`conf`	Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. IOLTS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2018	J	`jnl`	New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria
2018	—	`conf`	Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2018	C	`conf`	Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2017	—	`conf`	Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. ACM Great Lakes Symposium on VLSI Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2017	—	`conf`	Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. NEWCAS Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2017	C	`conf`	Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2017	J	`jnl`	Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. FDL Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2016	A	`conf`	Efficient and accurate analysis of single event transients propagation using SMT-based techniques. ICCAD Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2016	—	`conf`	Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. ICECS Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2015	J	`jnl`	Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Microelectron. Reliab. Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2015	C	`conf`	Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2014	C	`conf`	Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. ISCAS Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2014	—	`conf`	Modeling, analyzing, and abstracting single event transient propagation at gate level. MWSCAS Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2014	—	`conf`	Probabilistic model checking of single event transient propagation at RTL level. ICECS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2012	C	`conf`	Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
2011	—	`conf`	SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. ICECS Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria