Pascal Raymond

Pascal Raymond

Université Grenoble Alpes - - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1711576
Grenoble Alpes University
person_outline Pascal Raymond's MOST POPULAR ARTICLES
1-) The synchronous data flow programming language LUSTREN Halbwachs, P Caspi, P Raymond, D PilaudProceedings of the IEEE 79 (9), 1305-1320, 199125211991
2-) Synchronous observers and the verification of reactive systemsN Halbwachs, F Lagnier, P RaymondAlgebraic Methodology and Software Technology (AMAST’93), 83-96, 19943961994
3-) Verification of linear hybrid systems by means of convex approximationsN Halbwachs, YE Proy, P RaymondInternational Static Analysis Symposium, 223-237, 19942741994
4-) Automatic testing of reactive systemsP Raymond, X Nicollin, N Halbwachs, D WeberProceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 200-209, 19981961998
5-) Generating efficient code from data-flow programsN Halbwachs, P Raymond, C RatelProgramming Language Implementation and Logic Programming: 3rd International …, 19911701991