 | Monter d'un niveau |
Ammar, M., Bany Hamad, G., Mohamed, O. A.̈., Savaria, Y., & Velazco, R. (septembre 2016). Comprehensive vulnerability analysis of systems exposed to SEUs via probabilistic model checking [Communication écrite]. 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS 2016), Bremen, Germany (4 pages). Lien externe
Bany Hamad, G., Kazma, G., Mohamed, O. A.̈., & Savaria, Y. (juillet 2017). Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT [Communication écrite]. 23rd IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS 2017), Thessaloniki, Greece. Lien externe
Bany Hamad, G., Mohamed, O. A.̈., & Savaria, Y. (septembre 2016). Investigating the efficiency of cell level hardening techniques of single event transients via SMT [Communication écrite]. 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS 2016), Bremen, Germany (4 pages). Lien externe
Kazma, G., Bany Hamad, G., Mohamed, O. A.̈., & Savaria, Y. (mai 2017). Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories [Communication écrite]. Great Lakes Symposium on VLSI (GLSVLSI 2017), Banff, Alberta. Lien externe
