![]() | 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
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
Kazma, G., Hamad, G. B., 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
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
Bany Hamad, G., Kazma, G., Mohamed, O. A., & Savaria, Y. (novembre 2016). Efficient and accurate analysis of single event transients propagation using SMT-based techniques [Communication écrite]. 35th International Conference on Computer-Aided Design (ICCAD 2016), Austin, TX (7 pages). Lien externe
Kazma, G., Hamad, G. B., Mohamed, O. A., & Savaria, Y. (décembre 2016). Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis [Communication écrite]. IEEE International Conference on Electronics, Circuits and Systems (ICECS 2016), Monte Carlo, Monaco. Lien externe
Trabelsi, A., Mohamed, O. A., & Audet, Y. (2015). Robust parametric modeling of speech in additive white Gaussian noise. Journal of Signal and Information Processing, 6(2), 99-108. Disponible
Hamad, G. B., Hasan, S. R., Mohamed, O. A., & Savaria, Y. (juin 2014). Abstracting Single Event Transient characteristics variations due to input patterns and fan-out [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 2014), Melbourne, VIC, Australia (4 pages). Lien externe
Bany Hamad, G., Hasan, S. R., Mohamed, O. A., & Savaria, Y. (2014). New insights into the single event transient propagation through static and TSPC logic. IEEE Transactions on Nuclear Science, 61(4), 1618-1627. Lien externe
Hamad, G. B., Mohamed, O. A., & Savaria, Y. (décembre 2014). Probabilistic model checking of single event transient propagation at RTL level [Communication écrite]. 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS 2014), Marseille, France. Lien externe
Hamad, G. B., Hasan, S. R., Mohamed, O. A., & Savaria, Y. (septembre 2013). Investigating the impact of propagation paths and re-convergent paths on the propagation induced pulse broadening [Communication écrite]. 14th European Conference on Radiation and Its Effects on Components and Systems (RADECS 2013), Oxford, United kingdom (4 pages). Lien externe
Bany Hamad, G., Mohamed, O. A., Hasan, S. R., & Savaria, Y. (décembre 2011). SEGP-finder: Tool for identification of soft error glitch-propagating paths at gate level [Communication écrite]. 18th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2011), Beirut, Lebanon. Lien externe