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 | 2848 | 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 | 2655 | 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 | 2235 | 1978 |
Synchronous programming of reactive systems N Halbwachs Springer Science & Business Media, 1992 | 1511* | 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 | 1419 | 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 | 958 | 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 | 426 | 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 | 422 | 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 | 382 | 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 | 369 | 1997 |
Verification of linear hybrid systems by means of convex approximations N Halbwachs, YE Proy, P Raymond International Static Analysis Symposium, 223-237, 1994 | 291 | 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 | 268 | 1992 |
Delay analysis in synchronous programs N Halbwachs Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 253 | 1993 |
Minimal model generation A Bouajjani, JC Fernandez, N Halbwachs Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 210 | 1991 |
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 | 199 | 1998 |
Discovering properties about arrays in simple programs N Halbwachs, M Péron Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 196 | 2008 |
Generating efficient code from data-flow programs N Halbwachs, P Raymond, C Ratel Programming Language Implementation and Logic Programming: 3rd International …, 1991 | 171 | 1991 |
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 | 160 | 1979 |
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 | 159 | 1992 |
Minimal state graph generation A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel Science of Computer Programming 18 (3), 247-269, 1992 | 146 | 1992 |
A synchronous language at work: the story of Lustre N Halbwachs Formal Methods for Industrial Critical Systems: A Survey of Applications, 15-31, 2012 | 128 | 2012 |
Combining widening and acceleration in linear relation analysis L Gonnord, N Halbwachs International Static Analysis Symposium, 144-160, 2006 | 124 | 2006 |
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 | 109 | 1997 |
Dynamic partitioning in analyses of numerical properties B Jeannet, N Halbwachs, P Raymond International Static Analysis Symposium, 39-50, 1999 | 95 | 1999 |
Outline of a real time data flow language JL Bergerand, P Caspi, N Halbwachs, D Pilaud, E Pilaud RTSS 85, 33-42, 1985 | 77 | 1985 |
A functional model for describing and reasoning about time behaviour of computing systems P Caspi, N Halbwachs Acta Informatica 22 (6), 595-627, 1986 | 75 | 1986 |
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 | 74 | 2007 |
Data-flow synchronous languages A Benveniste, P Caspi, P Le Guernic, N Halbwachs A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 70 | 1994 |
Specifying, programming and verifying real-time systems using a synchronous declarative language N Halbwachs, D Pilaud, F Ouabdesselam, AC Glory Automatic Verification Methods for Finite State Systems: International …, 1990 | 69 | 1990 |
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 | 68 | 1999 |
Simulation and verification of asynchronous systems by means of a synchronous model N Halbwachs, L Mandel Sixth International Conference on Application of Concurrency to System …, 2006 | 66 | 2006 |
Synchronous modelling of asynchronous systems N Halbwachs, S Baghdadi International Workshop on Embedded Software, 240-251, 2002 | 66 | 2002 |
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 | 65 | 1991 |
An experience in proving regular networks of processes by modular model checking N Halbwachs, F Lagnier, C Ratel Acta Informatica 29 (6), 523-543, 1992 | 60 | 1992 |
From a synchronous declarative language to a temporal logic dealing with multiform time D Pilaud, N Halbwachs International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1988 | 59 | 1988 |
On the symbolic analysis of combinational loops in circuits and synchronous programs N Halbwachs, F Maraninchi Euromicro, 1995 | 57 | 1995 |
Some ways to reduce the space dimension in polyhedra computations N Halbwachs, D Merchat, L Gonnord Formal Methods in System Design 29, 79-95, 2006 | 51 | 2006 |
POLLUX: A Lustre based hardware design environment F Rocheteau, N Halbwachs Proceedings of the international workshop on Algorithms and parallel VLSI …, 1992 | 50 | 1992 |
When the decreasing sequence fails N Halbwachs, J Henry International Static Analysis Symposium, 198-213, 2012 | 49 | 2012 |
Implementing reactive programs on circuits a hardware implementation of LUSTRE F Rocheteau, N Halbwachs Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 47 | 1992 |