Christophe Ratel

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. IEEE Trans. Software Eng. 18 (9) (1992)
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Informatica 29 (6/7) (1992)
Christophe Ratel, Nicolas Halbwachs, Pascal Raymond
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. SIGSOFT (1991)
Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
Generating Efficient Code From Data-Flow Programs. PLILP (1991)