 | Monter d'un niveau |
Ammar, M., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (2019). Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-trees (TDFTs). IEEE Access, 7, 29264-29276. Lien externe
Ammar, M., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (décembre 2018). Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC [Communication écrite]. 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2018), Bordeaux, France. Lien externe
Ammar, M., Hamad, G. B., 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
Ammar, M., Hamad, G. B., 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. Lien externe
Hamad, G. B., Ammar, M., Mohamed, O. A., & Savaria, Y. (2018). New insights into soft-faults induced cardiac pacemakers malfunctions analyzed at system-level via model checking. IEEE Access, 6, 62107-62119. Lien externe
Hamad, G. B., Ammar, M., Mohamed, O. A., & Savaria, Y. (septembre 2018). System-Level Characterization, Modeling, and Probabilistic Formal Analysis of LEON3 Vulnerability to Transient Faults [Communication écrite]. 18th European Conference on Radiation and Its Effects on Components and Systems (RADECS 2018), Piscataway, NJ, USA (4 pages). Lien externe
