C. Ratel

Generating Eecient Code from Data-flow Programs

C. Ratel, M. Gerin, 1991 .

Programming and verifying real-time systems by means of thesynchronous data-ow language

N. Halbwachs, C. Ratel, Fabienne Lagnier, 2004 .

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE

N. Halbwachs, C. Ratel, P. Raymond, 1991, SIGSOFT '91.

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel, 1992, IEEE Trans. Software Eng..

Generating Efficient Code From Data-Flow Programs

Nicolas Halbwachs, Pascal Raymond, Christophe Ratel, 1991, PLILP.

An experience in proving regular networks of processes by modular model checking

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel, 1992, Acta Informatica.