The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995 | 2874 | 1995 |
The synchronous data flow programming language LUSTRE N Halbwachs, P Caspi, P Raymond, D Pilaud Proceedings of the IEEE 79 (9), 1305-1320, 1991 | 2666 | 1991 |
Automatic discovery of linear restraints among variables of a program P Cousot, N Halbwachs Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 1978 | 2268 | 1978 |
Synchronous programming of reactive systems N Halbwachs Springer Science & Business Media, 1992 | 1519* | 1992 |
The synchronous languages 12 years later A Benveniste, P Caspi, SA Edwards, N Halbwachs, P Le Guernic, ... Proceedings of the IEEE 91 (1), 64-83, 2003 | 1426 | 2003 |
LUSTRE: A declarative language for programming synchronous systems D Pilaud, N Halbwachs, JA Plaice Proceedings of the 14th Annual ACM Symposium on Principles of Programming …, 1987 | 965 | 1987 |
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE N Halbwachs, F Lagnier, C Ratel IEEE transactions on software engineering 18 (9), 785-793, 1992 | 430 | 1992 |
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 | 424 | 1994 |
LUSTRE: a declarative language for real-time programming P Caspi, D Pilaud, N Halbwachs, JA Plaice Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 387 | 1987 |
Verification of real-time systems using linear relation analysis N Halbwachs, YE Proy, P Roumanoff Formal Methods in System Design 11, 157-185, 1997 | 368 | 1997 |
Verification of linear hybrid systems by means of convex approximations N Halbwachs, YE Proy, P Raymond International Static Analysis Symposium, 223-237, 1994 | 299 | 1994 |
Minimization of timed transition systems R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 270 | 1992 |
Delay analysis in synchronous programs N Halbwachs Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 250 | 1993 |
Minimal model generation A Bouajjani, JC Fernandez, N Halbwachs Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 211 | 1991 |
Discovering properties about arrays in simple programs N Halbwachs, M Péron Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 205 | 2008 |
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 | 196 | 1998 |
Generating efficient code from data-flow programs N Halbwachs, P Raymond, C Ratel Programming Language Implementation and Logic Programming: 3rd International …, 1991 | 168 | 1991 |
An implementation of three algorithms for timing verification based on automata emptiness. R Alur, C Courcoubetis, DL Dill, N Halbwachs, H Wong-Toi RTSS 92, 592-601, 1992 | 162 | 1992 |
Détermination automatique de relations linéaires vérifiées par les variables d'un programme N Halbwachs Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier …, 1979 | 155 | 1979 |
Minimal state graph generation A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel Science of Computer Programming 18 (3), 247-269, 1992 | 151 | 1992 |