Nicolas Halbwachs
Address
Vérimag
Centre Equation
2, avenue de Vignate
F-38610 Gières Cedex
FRANCE
e-mail:
Nicolas.Halbwachs@imag.fr
[photo]
Research interests
Design and Verification of critical embedded systems
Reactive, Real-Time, Synchronous programming.
The
Lustre
data-flow synchronous language.
Automatic verification of finite-state systems.
Approximate verification of infinite systems, abstract interpretation.
Automatic testing of embedded systems.
Short Curriculum Vitae
Main Publications
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル