An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic. - Mohamed Larbi Rebaiaia; Jihad Mohamad Al Ja'am; Ahmad Hasnah (ICECS, 2003)

A neural network algorithm for hardware-software verification. - Mohamed Larbi Rebaiaia; Jihad Mohamad Jaam; Ahmad Hasnah (ICECS, 2003)

A Decision Support System Based on Ranking Methods. - Mohamed Larbi Rebaiaia; Jihad Mohamad Jaam; Ahmad Hasnah (IKE, 2003)

A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. - Mohamed Larbi Rebaiaia; Mohamed Benmohamed; Jihad Mohamad Jaam; Ahmad Hasnah (PDPTA, 2003)

A Toolset for the Specification and Verification of Embedded Systems. - Mohamed Larbi Rebaiaia; Mohamed Benmohamed; Jihad Mohamad Jaam; Ahmad Hasnah (PDPTA, 2003)

VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems. - Mohamed Larbi Rebaiaia; Jihad Mohamad Jaam (IPDPS, 2004)

A Fingerprint Minutiae Recognition System Based on Genetic Algorithms. - Jihad Mohamad Jaam; Mohamed Larbi Rebaiaia; Ahmad Hasnah (Int. Arab J. Inf. Technol., 2006)

Model based binary decision diagrams for complex networks reliability optimization. - Mohamed Larbi Rebaiaia; Daoud Ait-Kadi (PDeS, 2010)

An Efficient Algorithm for Enumerating Minimal PathSets in Communication Networks. - Mohamed Larbi Rebaiaia; Daoud Ait-Kadi (NDT (1), 2012)

A Practical Method for Evaluating the Reliability of Telecommunication Network. - Mohamed Larbi Rebaiaia; Daoud Ait-Kadi; Denis Page (NDT (1), 2012)

Reliability Evaluation of Imperfect K-Terminal Stochastic Networks using Polygon-to Chain and Series-parallel Reductions. - Mohamed Larbi Rebaiaia; Daoud Aït-Kadi (Q2SWinet@MSWiM, 2015)

Periodic replacement strategies: optimality conditions and numerical performance comparisons. - Mohamed Larbi Rebaiaia; Daoud Aït-Kadi; Afshin Jamshidi (Int. J. Prod. Res., 2017)

Dynamic risk assessment of complex systems using FCM. - Afshin Jamshidi; Daoud Ait-Kadi; Angel B. Ruiz; Mohamed Larbi Rebaiaia (Int. J. Prod. Res., 2018)

Maintenance policies with minimal repair and replacement on failures: analysis and comparison. - Mohamed Larbi Rebaiaia; Daoud Aït-Kadi (Int. J. Prod. Res., 2021)

A new integrated strategy for optimising the maintenance cost of complex systems using reliability importance measures. - Mohamed Larbi Rebaiaia; Daoud Ait-Kadi (Int. J. Prod. Res., 2024)

Condition-based maintenance optimisation for multi-component systems using mean residual life. - Mohamed Larbi Rebaiaia; Daoud Aït-Kadi (Int. J. Prod. Res., 2024)