Yoann Fonteneau
Papers
1
Total Citations
13
H-Index
1
About
Yoann Fonteneau is a researcher specializing in the formal verification and safety assurance of critical software systems, with a particular focus on integrated approaches that bridge the gap between theoretical rigor and practical implementation. His most-cited work, "Integrated formal verification of safety-critical software" (2017, 13 citations), introduces a cohesive framework that combines model checking, theorem proving, and static analysis to ensure the correctness of software in domains such as avionics, automotive, and medical devices. This contribution is notable for its emphasis on scalability and usability, enabling engineers to apply formal methods without deep expertise in formal logic. Fonteneau's research directly addresses the growing need for reliable software in safety-critical applications, where failures can have catastrophic consequences. His work has been recognized for its potential to reduce verification costs while increasing confidence in system behavior. By advancing integrated verification techniques, Fonteneau has helped shape modern practices in dependable software engineering, making his contributions essential reading for researchers and practitioners in formal methods and safety-critical systems.
Research Focus
Key Achievements
Top Papers
- 1Integrated formal verification of safety-critical software13 citations · 2017