Symmetry Reduction of Time-Triggered Ethernet Protocol. - Marwan Ammar; Samir Ouchani; Otmane Aït Mohamed (ANT/SEIT, 2013)

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (FDL, 2016)

Formal analysis of fault tree using probabilistic model checking: A solar array case study. - Marwan Ammar; Khaza Anuarul Hoque; Otmane Aït Mohamed (SysCon, 2016)

Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2018)

New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. - Ghaith Bany Hamad; Marwan Ammar; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2018)

Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed (LATS, 2019)

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2019)

Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. - Mohamed Abdelhamid; Ayman A. Atallah; Marwan Ammar; Otmane Aït Mohamed (MWSCAS, 2021)

Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. - Ashkan Samadi; Marwan Ammar; Otmane Aït Mohamed (NEWCAS, 2021)

Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. - Ashkan Samadi; Marwan Ammar; Otmane Aït Mohamed (NEWCAS, 2023)