Florence Maraninchi

Papers

Total Citations

H-Index

About

Florence Maraninchi is a leading figure in formal methods for embedded and real-time systems, with a career dedicated to bridging the gap between high-level programming and provably correct hardware/software implementations. Her research centers on synchronous languages, controller synthesis, and static analysis, where she has pioneered techniques to automatically enforce safety properties. Her seminal 2003 work, "Using Controller-Synthesis Techniques to Build Property-Enforcing Layers" (47 citations), introduced a groundbreaking approach to automatically generating runtime monitors that guarantee system correctness without manual intervention. Earlier, her 1995 paper on "Static timing analysis of real-time systems" laid foundational work for translating timed synchronous programs into formal models, enabling precise worst-case execution time analysis. Maraninchi's contributions have been instrumental in making formal verification practical for industrial embedded systems, influencing tools and methodologies used in avionics and automotive domains. Her work demonstrates how rigorous mathematical foundations can be transformed into deployable engineering solutions, earning her recognition as a key architect of modern safety-critical system design.