Ghaith Kazma

According to our database, Ghaith Kazma authored at least 7 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Adapting Neural Networks for Uplift Models.

Mouloud Belbahri, Olivier Gandouet, Ghaith Kazma

CoRR, 2020

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

Proceedings of the 15th IEEE International New Circuits and Systems Conference, 2017

Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT.

Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria

Proceedings of the 23rd IEEE International Symposium on On-Line Testing and Robust System Design, 2017

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

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

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

Proceedings of the 2016 IEEE International Conference on Electronics, Circuits and Systems, 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

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients.

Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria

Proceedings of the 2016 Forum on Specification and Design Languages, 2016