Arnaud Dieumegard

IRT M2P, Université Fédérale de Toulouse Midi-Pyrénées

Papers

Total Citations

H-Index

About

Arnaud Dieumegard is a researcher dedicated to advancing the reliability of safety-critical systems through formal methods. His work centers on correct-by-construction development, formal verification, and the rigorous design of embedded human-machine interfaces (HMIs). Dieumegard’s major contributions include pioneering a seamless pathway from formal specifications to verified code, ensuring that system designs are inherently correct from the outset. He has also developed a formal process for safety-critical HMI systems using the LIDL language and S3 verification toolset, effectively merging modeling, design, and verification to eliminate implementation errors. His most-cited papers—such as “Correct‐by‐construction specification to verified code” (9 citations) and “Formal development process of safety-critical embedded human machine interface systems” (8 citations)—demonstrate the practical impact of his approach, with applications like robot anti-collision functions (7 citations). Dieumegard’s work is notable for bridging theory and practice, offering engineers a robust methodology to build trustworthy, verified systems. His contributions are essential reading for students and researchers seeking to master formal verification in complex, real-world environments.