Christophe Ratel

According to our database1, Christophe Ratel
  • authored at least 4 papers between 1991 and 1992.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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).
PhD thesis, 1992

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.
IEEE Trans. Software Eng., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.
Acta Inf., 1992

1991
Generating Efficient Code From Data-Flow Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1991


  Loading...