Pascal Raymond
Pascal Raymond
Verified email at - Homepage
Cited by
Cited by
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
Synchronous observers and the verification of reactive systems
N Halbwachs, F Lagnier, P Raymond
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the …, 1994
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
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
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
Programming Language Implementation and Logic Programming: 3rd International …, 1991
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
Ancient Kura 2010–2011: the first two seasons of joint field work in the southern Caucasus
B Lyonnet, F Guliyev, B Helwing, T Aliyev, S Hansen, G Mirtskhulava, ...
Ancient Kura 2010-2011: the first two seasons 44, 1-190, 2012
Automatic verification of parameterized linear networks of processes
D Lesens, N Halbwachs, P Raymond
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
Dynamic partitioning in analyses of numerical properties
B Jeannet, N Halbwachs, P Raymond
International Static Analysis Symposium, 39-50, 1999
Le gisement paléolithique moyen et les séquences pléistocènes de Villiers-Adam (Val-d’Oise): chronostratigraphie, environnement et implantations humaines
J Locht, P Antoine, JJ Bahain, G Dwrila, P Raymond, N Limondin-Lozouet, ...
Gallia Préhistoire–Archéologie de la France préhistorique 45, 1-111, 2003
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
Validation of synchronous reactive systems: from formal verification to automatic testing
N Halbwachs, P Raymond
Advances in Computing Science—ASIAN’99: 5th Asian Computing Science …, 1999
Optimal grid exploration by asynchronous oblivious robots
S Devismes, A Lamani, F Petit, P Raymond, S Tixeuil
Stabilization, Safety, and Security of Distributed Systems: 14th …, 2012
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
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
M Pouzet, P Raymond
Proceedings of the seventh ACM international conference on Embedded software …, 2009
A multiparadigm language for reactive systems
M Jourdan, F Lagnier, F Maraninchi, P Raymond
Proceedings of 1994 IEEE International Conference on Computer Languages …, 1994
Mentesh Tepe, an early settlement of the Shomu-Shulaveri Culture in Azerbaijan
B Lyonnet, F Guliyev, L Bouquet, G Bruley-Chabot, A Samzun, ...
Quaternary International 395, 170-183, 2016
Compilation efficace d'un langage déclaratif synchrone: le générateur de code LUSTRE-V3
P Raymond
Institut National Polytechnique de Grenoble-INPG, 1991
Recognizing regular expressions by means of dataflow networks
P Raymond
International Colloquium on Automata, Languages, and Programming, 336-347, 1996
Lutin: A language for specifying and executing reactive scenarios
P Raymond, Y Roux, E Jahier
EURASIP Journal on Embedded Systems 2008, 1-11, 2008
The system can't perform the operation now. Try again later.
Articles 1–20