Follow
Nicolas Halbwachs
Nicolas Halbwachs
CNRS / Verimag
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
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
28611995
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
26521991
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
22311978
Synchronous programming of reactive systems
N Halbwachs
Springer Science & Business Media, 2013
1512*2013
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
14252003
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
9491987
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
4281992
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
4201994
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
3861987
Verification of real-time systems using linear relation analysis
N Halbwachs, YE Proy, P Roumanoff
Formal Methods in System Design 11, 157-185, 1997
3701997
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2901994
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
2671992
Delay analysis in synchronous programs
N Halbwachs
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
2541993
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
2091991
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
2011998
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1962008
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
Programming Language Implementation and Logic Programming: 3rd International …, 1991
1741991
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
1621979
An implementation of three algorithms for timing verification based on automata emptiness.
R Alur, C Courcoubetis, DL Dill, N Halbwachs, H Wong-Toi
RTSS, 157-166, 1992
1551992
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1481992
The system can't perform the operation now. Try again later.
Articles 1–20