Research interests · Design and Verification of critical embedded systems · Reactive, Real-Time, Synchronous programming. · The Lustre data-flow synchronous ...
CNRS / Verimag - Cited by 17717 - Synchronous programming - Program analysis - Embedded systems - Formal methods
He is currently Research Director at CNRS, working at Verimag Laboratory, Grenoble, France. He is the author of Synchronous Programming of Reactive Systems ( ...
Nicolas Halbwachs
French computer scientist
Affiliation: French National Centre for Scientific Research
Research interests: Synchronous programming, Program analysis, Embedded systems, and more
30-day returns
Follow Nicolas Halbwachs and explore their bibliography from Amazon.com's Nicolas Halbwachs Author Page.
Apr 25, 2024 · Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence.
Subject Areas: Logic, Software development process management, Formal software verification, Program verification, Semantics and reasoning, Software ...
Nicolas HALBWACHS | Cited by 12240 | of French National Centre for Scientific Research, Paris (CNRS) | Read 100 publications | Contact Nicolas HALBWACHS.
email: [email protected] — web: http://www.imag.fr/VERIMAG/~halbwach. Education and diplomas. • June 1984 : “State Thesis” in Mathematics, Grenoble.
Nicolas Halbwachs mainly investigates Programming language, Lustre, Finite-state machine, Esterel and Synchronous programming language. His studies in Formal ...
901K · Free 5–8 day delivery over $15 · Free 30-day returns
Looking for books by Nicolas Halbwachs? See all books authored by Nicolas Halbwachs, including Synchronous Programming of Reactive Systems (The Springer ...