Louis‐Marie Traonouez

Papers

Total Citations

H-Index

About

Louis-Marie Traonouez is a researcher whose work lies at the intersection of formal verification, statistical model checking, and ambient assisted living (AAL) technologies. His key contributions include pioneering the integration of change detection into statistical model checking, a technique that enables more adaptive and efficient verification of complex systems. His most-cited paper, "Statistical Model Checking with Change Detection" (2016, 7 citations), introduces a novel approach that allows for real-time monitoring and adjustment of system properties, significantly enhancing the reliability of safety-critical applications. In his work on ambient assisted living, Traonouez addresses the challenge of ensuring safe and high-quality service in systems that integrate health monitoring, fall detection, communication, and robotic platforms. His research emphasizes the importance of extra-functional requirements—such as safety, performance, and dependability—in the design of AAL solutions. By bridging formal methods with real-world assistive technologies, Traonouez has made impactful contributions to both theoretical verification and practical system engineering, offering valuable insights for researchers and developers working on dependable, human-centric systems.