Concepedia

Fares Innal

FI

5

Publications

203

Citations

5

H-Index

2008

Active since

Affiliations

University of Skikda(Current)

Université de Lille

Norwegian University of Science and Technology

Fares Innal is an author at University of Skikda specializing in formal verification, software engineering, and engineering.

Top concepts

StatisticsEngineeringReliabilityVerificationSafety ScienceRisk ManagementSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2008–2023

5

Publications

5

Probabilistic assessments in relationship with safety integrity levels by using Fault Trees

Yves Dutuit, Fares Innal, Antoine Rauzy et al. · Reliability Engineering & System Safety · 2008 · 99 citations

Software Maintenance, Engineering, Verification +16

STPA and Bowtie risk analysis study for centralized and hierarchical control architectures comparison

Chaima Bensaci, Youcef Zennir, Denis Pomorski et al. · Alexandria Engineering Journal · 2020 · 32 citations · Full text

PFDavg generalized formulas for SIS subject to partial and full periodic tests based on multi-phase Markov models

Fares Innal, Mary Ann Lundteigen, Yiliu Liu et al. · Reliability Engineering & System Safety · 2016 · 31 citations

Full Periodic Tests, Hidden Markov Model, Markov Kernel +6

Collision hazard modeling and analysis in a multi-mobile robots system transportation task with STPA and SPN

Chaima Bensaci, Youcef Zennir, Denis Pomorski et al. · Reliability Engineering & System Safety · 2023 · 28 citations · Full text

Failure probability assessment of emergency safety barriers integrating an extension of event tree analysis and Fuzzy type‐2 analytic hierarchy process

Samia Daas, Fares Innal · Systems Engineering · 2023 · 13 citations

Rows per page

1–5 of 5