Mohamed Larbi Rebaiaia

16 papers A 1Misc 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
A new integrated strategy for optimising the maintenance cost of complex systems using reliability importance measures.
Int. J. Prod. Res.
Mohamed Larbi Rebaiaia, Daoud Ait-Kadi
2024 J jnl
Condition-based maintenance optimisation for multi-component systems using mean residual life.
Int. J. Prod. Res.
Mohamed Larbi Rebaiaia, Daoud Aït-Kadi
2021 J jnl
Maintenance policies with minimal repair and replacement on failures: analysis and comparison.
Int. J. Prod. Res.
Mohamed Larbi Rebaiaia, Daoud Aït-Kadi
2018 J jnl
Dynamic risk assessment of complex systems using FCM.
Int. J. Prod. Res.
Afshin Jamshidi, Daoud Ait-Kadi, Angel B. Ruiz, Mohamed Larbi Rebaiaia
2017 J jnl
Periodic replacement strategies: optimality conditions and numerical performance comparisons.
Int. J. Prod. Res.
Mohamed Larbi Rebaiaia, Daoud Aït-Kadi, Afshin Jamshidi
2015 — conf
Reliability Evaluation of Imperfect K-Terminal Stochastic Networks using Polygon-to Chain and Series-parallel Reductions.
Q2SWinet@MSWiM
Mohamed Larbi Rebaiaia, Daoud Aït-Kadi
2012 — conf
A Practical Method for Evaluating the Reliability of Telecommunication Network.
NDT (1)
Mohamed Larbi Rebaiaia, Daoud Ait-Kadi, Denis Page
2012 — conf
An Efficient Algorithm for Enumerating Minimal PathSets in Communication Networks.
NDT (1)
Mohamed Larbi Rebaiaia, Daoud Ait-Kadi
2010 — conf
Model based binary decision diagrams for complex networks reliability optimization.
PDeS
Mohamed Larbi Rebaiaia, Daoud Ait-Kadi
2006 J jnl
A Fingerprint Minutiae Recognition System Based on Genetic Algorithms.
Int. Arab J. Inf. Technol.
Jihad Mohamad Jaam, Mohamed Larbi Rebaiaia, Ahmad Hasnah
2004 A conf
VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.
IPDPS
Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam
2003 Misc conf
A Decision Support System Based on Ranking Methods.
IKE
Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam, Ahmad Hasnah
2003 Misc conf
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.
PDPTA
Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
2003 Misc conf
A Toolset for the Specification and Verification of Embedded Systems.
PDPTA
Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
2003 — conf
A neural network algorithm for hardware-software verification.
ICECS
Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam, Ahmad Hasnah
2003 — conf
An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic.
ICECS
Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah