Items published in "2017"

A

Ammar, M., Bany Hamad, G., Mohamed, O. A., & Savaria, Y. (2017). System-Level Analysis of the Vulnerability of Processors Exposed to Single Event Upsets via Probabilistic Model Checking. IEEE Transactions on Nuclear Science, 64(9), 2523-2530. External link

Ammar, M., Bany Hamad, G., Mohamed, O. A.̈., Savaria, Y., & Velazco, R. (2016, September). Comprehensive vulnerability analysis of systems exposed to SEUs via probabilistic model checking [Paper]. 16th European Conference on Radiation and Its Effects on Components and Systems (RADECS 2016), Bremen, Germany (4 pages). External link