Yakoub Nemouchi

Papers

Total Citations

H-Index

About

Dr. Yakoub Nemouchi is a leading researcher in formal methods and safety-critical systems engineering, with a focus on assurance cases for autonomous systems. His work bridges the gap between rigorous formal verification and practical system assurance, particularly in robotics and autonomous vehicle domains. His highly cited 2019 paper, "Evolution of Formal Model-Based Assurance Cases for Autonomous Robots" (20 citations), pioneered the integration of formal models into the traditionally manual process of creating assurance cases—structured arguments that demonstrate system safety and security. This work laid the foundation for automating the evaluation of critical system properties, replacing lengthy manual document reviews with model-based reasoning. His 2024 paper, "ACCESS: Assurance Case Centric Engineering of Safety–critical Systems" (10 citations), further advanced this paradigm by proposing a comprehensive framework that embeds assurance case development directly into the system engineering lifecycle. Dr. Nemouchi’s contributions are particularly impactful for industries requiring certifiable safety, such as autonomous driving and medical robotics, where his methods reduce certification time while increasing confidence in system correctness. His research continues to shape how engineers communicate and assess trust in increasingly complex autonomous systems.