Christophe Ratel

According to our database, Christophe Ratel authored at least 5 papers between 1991 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE. (Design and implementation of a formal verification tool for lustre programs : the system Lesar).

Christophe Ratel

PhD thesis, 1992

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

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

IEEE Trans. Software Eng., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

Acta Informatica, 1992

1991

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

Christophe Ratel, Nicolas Halbwachs, Pascal Raymond

Proceedings of the conference on Software for citical systems, 1991

Generating Efficient Code From Data-Flow Programs.

Nicolas Halbwachs, Pascal Raymond, Christophe Ratel

Proceedings of the Programming Language Implementation and Logic Programming, 1991