Mohamed Larbi Rebaiaia

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 5

Top Topics

Tree Decomposition

Karush Kuhn Tucker

Complex Systems

Maintenance Cost

Top Venues

Int. J. Prod. Res.

Publications

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