Mohamed Larbi Rebaiaia

According to our database, Mohamed Larbi Rebaiaia authored at least 15 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

2021

Maintenance policies with minimal repair and replacement on failures: analysis and comparison.

Mohamed Larbi Rebaiaia, Daoud Aït-Kadi

Int. J. Prod. Res., 2021

2018

Dynamic risk assessment of complex systems using FCM.

Afshin Jamshidi, Daoud Ait-Kadi, Angel B. Ruiz, Mohamed Larbi Rebaiaia

Int. J. Prod. Res., 2018

2017

Periodic replacement strategies: optimality conditions and numerical performance comparisons.

Mohamed Larbi Rebaiaia, Daoud Aït-Kadi, Afshin Jamshidi

Int. J. Prod. Res., 2017

2015

Reliability Evaluation of Imperfect K-Terminal Stochastic Networks using Polygon-to Chain and Series-parallel Reductions.

Mohamed Larbi Rebaiaia, Daoud Aït-Kadi

Proceedings of the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks, 2015

2012

A Practical Method for Evaluating the Reliability of Telecommunication Network.

Mohamed Larbi Rebaiaia, Daoud Ait-Kadi, Denis Page

Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

An Efficient Algorithm for Enumerating Minimal PathSets in Communication Networks.

Mohamed Larbi Rebaiaia, Daoud Ait-Kadi

Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

2010

Model based binary decision diagrams for complex networks reliability optimization.

Mohamed Larbi Rebaiaia, Daoud Ait-Kadi

Proceedings of the 10th IFAC Workshop on Programmable Devices and Embedded Systems, 2010

2006

A Fingerprint Minutiae Recognition System Based on Genetic Algorithms.

Jihad Mohamad Jaam, Mohamed Larbi Rebaiaia, Ahmad Hasnah

Int. Arab J. Inf. Technol., 2006

2004

VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.

Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

A Toolset for the Specification and Verification of Embedded Systems.

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.

Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Decision Support System Based on Ranking Methods.

Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

A neural network algorithm for hardware-software verification.

Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam, Ahmad Hasnah

Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003

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

Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003