Mohamed Larbi Rebaiaia

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Condition-based maintenance optimisation for multi-component systems using mean residual life.
Int. J. Prod. Res., 2024

A new integrated strategy for optimising the maintenance cost of complex systems using reliability importance measures.
Int. J. Prod. Res., 2024

2021
Maintenance policies with minimal repair and replacement on failures: analysis and comparison.
Int. J. Prod. Res., 2021

2018
Dynamic risk assessment of complex systems using FCM.
Int. J. Prod. Res., 2018

2017
Periodic replacement strategies: optimality conditions and numerical performance comparisons.
Int. J. Prod. Res., 2017

2015
Reliability Evaluation of Imperfect K-Terminal Stochastic Networks using Polygon-to Chain and Series-parallel Reductions.
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.
Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

An Efficient Algorithm for Enumerating Minimal PathSets in Communication Networks.
Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

2010
Model based binary decision diagrams for complex networks reliability optimization.
Proceedings of the 10th IFAC Workshop on Programmable Devices and Embedded Systems, 2010

2006
A Fingerprint Minutiae Recognition System Based on Genetic Algorithms.
Int. Arab J. Inf. Technol., 2006

2004
VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
A Toolset for the Specification and Verification of Embedded Systems.
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.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Decision Support System Based on Ranking Methods.
Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

A neural network algorithm for hardware-software verification.
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.
Proceedings of the 2003 10th IEEE International Conference on Electronics, 2003


  Loading...