Login / Signup
Ashkan Samadi
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Data Analysis
Autonomous Systems
Formal Verification
Temporal Logic
Top Venues
NEWCAS
</>
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)