Seuraa
Nicolas Halbwachs
Nicolas Halbwachs
CNRS / Verimag
Vahvistettu sähköpostiosoite verkkotunnuksessa imag.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
28741995
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
26661991
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
22681978
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
14262003
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
9651987
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
4301992
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
4241994
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
3871987
Verification of real-time systems using linear relation analysis
N Halbwachs, YE Proy, P Roumanoff
Formal Methods in System Design 11, 157-185, 1997
3681997
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2991994
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
2701992
Delay analysis in synchronous programs
N Halbwachs
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
2501993
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
2111991
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2052008
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
1961998
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
Programming Language Implementation and Logic Programming: 3rd International …, 1991
1681991
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
1621992
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
1551979
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1511992
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20