Marwan Ammar

According to our database, Marwan Ammar authored at least 10 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability.

Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

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

Proceedings of the 19th IEEE International New Circuits and Systems Conference, 2021

Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking.

Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed

Proceedings of the 64th IEEE International Midwest Symposium on Circuits and Systems, 2021

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

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

Proceedings of the IEEE Latin American Test Symposium, 2019

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

Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC.

Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria

Proceedings of the 25th IEEE International Conference on Electronics, Circuits and Systems, 2018

2016

Formal analysis of fault tree using probabilistic model checking: A solar array case study.

Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed

Proceedings of the Annual IEEE Systems Conference, 2016

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking.

Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2013

Symmetry Reduction of Time-Triggered Ethernet Protocol.

Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed

Proceedings of the 4th International Conference on Ambient Systems, 2013