The synchronous data flow programming language LUSTRE N Halbwachs, P Caspi, P Raymond, D Pilaud Proceedings of the IEEE 79 (9), 1305-1320, 1991 | 2369 | 1991 |
Synchronous observers and the verification of reactive systems N Halbwachs, F Lagnier, P Raymond Algebraic Methodology and Software Technology (AMAST’93), 83-96, 1994 | 377 | 1994 |
Verification of linear hybrid systems by means of convex approximations N Halbwachs, YE Proy, P Raymond International Static Analysis Symposium, 223-237, 1994 | 262 | 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 | 181 | 1998 |
Generating efficient code from data-flow programs N Halbwachs, P Raymond, C Ratel International Symposium on Programming Language Implementation and Logic …, 1991 | 156 | 1991 |
Minimal state graph generation A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel Science of Computer Programming 18 (3), 247-269, 1992 | 141 | 1992 |
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 | 103 | 1997 |
Dynamic partitioning in analyses of numerical properties B Jeannet, N Halbwachs, P Raymond International Static Analysis Symposium, 39-50, 1999 | 91 | 1999 |
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 | 70 | 2012 |
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 | 64 | 2007 |
Le gisement paléolithique moyen et les séquencess pléistocènes de Villiers-Adam (Val-d'Oise): chronostratigraphie, environnement et implantations humaines JL Locht, P Antoine, J Bahain, G Dwrila, P Raymond, N Limondin-Lozouet, ... Gallia préhistoire 45 (1), 1-111, 2003 | 64 | 2003 |
Validation of synchronous reactive systems: from formal verification to automatic testing N Halbwachs, P Raymond Annual Asian Computing Science Conference, 1-12, 1999 | 64 | 1999 |
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 | 58 | 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 | 57 | 1991 |
A multiparadigm language for reactive systems M Jourdan, F Lagnier, F Maraninchi, P Raymond Proceedings of 1994 IEEE International Conference on Computer Languages …, 1994 | 55 | 1994 |
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 | 54 | 1991 |
Modular static scheduling of synchronous data-flow networks M Pouzet, P Raymond Design Automation for Embedded Systems 14 (3), 165-192, 2010 | 52 | 2010 |
Recognizing regular expressions by means of dataflow networks P Raymond International Colloquium on Automata, Languages, and Programming, 336-347, 1996 | 52 | 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 | 45 | 2008 |
Nouvelles données sur le Pléistocène du nord du Bassin parisien: les séquences loessiques de Villiers-Adam (Val d'Oise, France) P Antoine, JJ Bahain, N Debenham, M Frechen, A Gauthier, C Hatté, ... Quaternaire 14 (4), 219--235, 2003 | 41 | 2003 |