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)

Advanced SEU and MBU Vulnerability Assessment of Deep Neural Networks in Air-to-Air Collision Avoidance Systems via SAT-Based Techniques. - Ashkan Samadi; Abdellah Harous; Otmane Aït Mohamed; Mounir Boukadoum (MWSCAS, 2024)