Concepedia

Christophe Ratel

CR

Statistics

Publications

5

Citations

450

H-Index

5

Active since

1991

Affiliations

Translational Innovation in Medicine and Complexity(Current)

Institut des Sciences Cognitives Marc Jeannerod

Christophe Ratel is an author at Translational Innovation in Medicine and Complexity specializing in computing, computer science, and formal methods.

Publications per year

1991–1992

5

Publications

5

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

Nicolas Halbwachs, F. Lagnier, Christophe Ratel · IEEE Transactions on Software Engineering · 1992 · 246 citations

Computing, Computer Engineering, Computer Science +17

Minimal state graph generation

Ahmed Bouajjani, J. C. Fernandez, Nicolas Halbwachs et al. · Science of Computer Programming · 1992 · 92 citations

Computing, Computer Science, Algorithms +8

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

Christophe Ratel, Nicolas Halbwachs, Pascal Raymond · ACM SIGSOFT Software Engineering Notes · 1991 · 58 citations

Computing, Computer Engineering, Computer Science +8

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

Nicolas Halbwachs, F. Lagnier, Christophe Ratel · Acta Informatica · 1992 · 34 citations

Computing, Computer Science, Formal Methods +11

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

Christophe Ratel, Nicolas Halbwachs, Pascal Raymond · 1991 · 20 citations

Computing, Computer Engineering, Computer Science +8

1–5 of 5