Monter d'un niveau |
Hoque, K. A., Ait Mohamed, O., & Savaria, Y. (2019). Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliability Engineering and System Safety, 182, 107-119. Lien externe
Hoque, K. A., Ait Mohamed, O., & Savaria, Y. (2017). Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. Journal of Applied Logic, 25(47-68), 47-68. Lien externe
Hoque, K. A., Mohamed, O. A., Savaria, Y., & Thibeault, C. (octobre 2014). Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications [Communication écrite]. 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE 2014), Lausanne, Switzerland. Lien externe
Hoque, K. A., Ait Mohamed, O., Savaria, Y., & Thibeault, C. (octobre 2013). Early analysis of soft error effects for aerospace applications using probabilistic model checking [Communication écrite]. 2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, New Zealand. Lien externe