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
24751995
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
23131991
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
19291978
Synchronous programming of reactive systems
N Halbwachs
Springer Science & Business Media, 2013
1375*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
12372003
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
8211987
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
4471987
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
3791992
Synchronous observers and the verification of reactive systems
N Halbwachs, F Lagnier, P Raymond
Algebraic Methodology and Software Technology (AMAST’93), 83-96, 1994
3711994
Verification of real-time systems using linear relation analysis
N Halbwachs, YE Proy, P Roumanoff
Formal Methods in System Design 11 (2), 157-185, 1997
3391997
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2651994
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
International Conference on Concurrency Theory, 340-354, 1992
2561992
Delay analysis in synchronous programs
N Halbwachs
International Conference on Computer Aided Verification, 333-346, 1993
2351993
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
International Conference on Computer Aided Verification, 197-203, 1990
1971990
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
1781998
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1712008
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
1521992
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
International Symposium on Programming Language Implementation and Logic …, 1991
1521991
Détermination automatique de relations linéaires vérifiées par les variables d'un programme
N Halbwachs
1491979
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1371992
The system can't perform the operation now. Try again later.
Articles 1–20