| 2025 | DATE | FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware. | Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed M. Suhaib, Haoxing Ren |
| 2024 | VTS | 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 |
| 2019 | ISCAS | Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. | Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane At Mohamed |
| 2018 | IOLTS | Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. | Ayman A. Atallah, Ghaith Bany Hamad, Otmane At Mohamed |
| 2017 | IOLTS | Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2016 | FDL | Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. | Marwan Ammar, Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2016 | FDL | Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2016 | ICCAD | Efficient and accurate analysis of single event transients propagation using SMT-based techniques. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2016 | ISCAS | Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. | Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2015 | IOLTS | Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. | Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2014 | ISCAS | Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. | Ghaith Bany Hamad, Syed Rafay Hasan, Otmane At Mohamed, Yvon Savaria |
| 2012 | ISCAS | Identification of soft error glitch-propagation paths: Leveraging SAT solvers. | Ghaith Bany Hamad, Otmane At Mohamed, Syed Rafay Hasan, Yvon Savaria |