Pascal Raymond

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15

Automatic testing of reactive systems

Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs et al. · 2002 · 111 citations

Computing, Computer Engineering, Computer Science +9

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

Automatic verification of parameterized linear networks of processes

David Lesens, Nicolas Halbwachs, Pascal Raymond · 1997 · 73 citations

Computing, Computer Science, Formal Methods +15

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