Pascal Raymond
Pascal Raymond
CNRS VERIMAG
E-mail confirmado em univ-grenoble-alpes.fr - Página inicial
TítuloCitado porAno
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
21921991
Synchronous observers and the verification of reactive systems
N Halbwachs, F Lagnier, P Raymond
Algebraic Methodology and Software Technology (AMAST’93), 83-96, 1994
3551994
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2591994
Automatic testing of reactive systems
P Raymond, X Nicollin, N Halbwachs, D Weber
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No. 98CB36279), 200-209, 1998
1711998
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
International Symposium on Programming Language Implementation and Logic …, 1991
1471991
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1321992
Automatic verification of parameterized linear networks of processes
D Lesens, N Halbwachs, P Raymond
POPL 97, 346-357, 1997
1041997
Dynamic partitioning in analyses of numerical properties
B Jeannet, N Halbwachs, P Raymond
International Static Analysis Symposium, 39-50, 1999
851999
Virtual execution of AADL models via a translation into synchronous programs
E Jahier, N Halbwachs, P Raymond, X Nicollin, D Lesens
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
612007
Validation of synchronous reactive systems: from formal verification to automatic testing
N Halbwachs, P Raymond
Annual Asian Computing Science Conference, 1-12, 1999
601999
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
C Ratel, N Halbwachs, P Raymond
Proceedings of the conference on Software for citical systems, 112-119, 1991
571991
A multiparadigm language for reactive systems
M Jourdan, F Lagnier, F Maraninchi, P Raymond
Proceedings of 1994 IEEE International Conference on Computer Languages …, 1994
551994
Recognizing regular expressions by means of dataflow networks
P Raymond
International Colloquium on Automata, Languages, and Programming, 336-347, 1996
511996
Optimal grid exploration by asynchronous oblivious robots
S Devismes, A Lamani, F Petit, P Raymond, S Tixeuil
Symposium on Self-Stabilizing Systems, 64-76, 2012
482012
Compilation efficace d'un langage déclaratif synchrone: le générateur de code LUSTRE-V3
P Raymond
471991
A tutorial of Lustre
N Halbwachs, P Raymond
IMAG, Grenoble, 1993
451993
Modular static scheduling of synchronous data-flow networks
M Pouzet, P Raymond
Design Automation for Embedded Systems 14 (3), 165-192, 2010
442010
Lutin: A language for specifying and executing reactive scenarios
P Raymond, Y Roux, E Jahier
EURASIP Journal on Embedded Systems 2008 (1), 753821, 2008
392008
Programmation et Vérification des Systèmes Réactifs: le langage LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
TSI. Technique et science informatiques 10 (2), 139-158, 1991
391991
Case studies with Lurette V2
E Jahier, P Raymond, P Baufreton
International Journal on Software Tools for Technology Transfer 8 (6), 517-530, 2006
372006
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20