<  Back to the Polytechnique Montréal portal

Items where Author is "Kazma, Ghaith"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | K
Number of items: 6.

B

Bany Hamad, G., Kazma, G., Mohamed, O. A., & Savaria, Y. (2017, July). Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT [Paper]. 23rd IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS 2017), Thessaloniki, Greece. External link

Bany Hamad, G., Kazma, G., Mohamed, O. A., & Savaria, Y. (2016, September). Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients [Paper]. Forum on Specification and Design Languages (FDL 2016), Bremen, Germany (7 pages). External link

Bany Hamad, G., Kazma, G., Mohamed, O. A., & Savaria, Y. (2016, November). Efficient and accurate analysis of single event transients propagation using SMT-based techniques [Paper]. 35th International Conference on Computer-Aided Design (ICCAD 2016), Austin, TX (7 pages). External link

K

Kazma, G., Bany Hamad, G., Mohamed, O. A., & Savaria, Y. (2017, May). Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories [Paper]. Great Lakes Symposium on VLSI (GLSVLSI 2017), Banff, Alberta. External link

Kazma, G., Bany Hamad, G., Ait Mohamed, O., & Savaria, Y. (2017, June). Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories [Paper]. 15th IEEE International New Circuits and Systems Conference (NEWCAS 2017), Strasbourg, France. External link

Kazma, G., Bany Hamad, G., Mohamed, O. A., & Savaria, Y. (2016, December). Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis [Paper]. IEEE International Conference on Electronics, Circuits and Systems (ICECS 2016), Monte Carlo, Monaco. External link

List generated on: Mon Dec 9 09:32:38 2024 EST