Marwan Ammar

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Topics

Reliability Analysis

Formal Verification

Top Venues

Publications

Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed
Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. NEWCAS (2023)
Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed
Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. NEWCAS (2021)
Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. MWSCAS (2021)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access 7 (2019)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed
Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS (2019)
Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria
New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access 6 (2018)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS (2018)
Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed
Formal analysis of fault tree using probabilistic model checking: A solar array case study. SysCon (2016)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL (2016)
Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT (2013)