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)

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)

Adapting Neural Networks for Uplift Models. - Mouloud Belbahri; Olivier Gandouet; Ghaith Kazma (CoRR, 2020)