Æȷοì
Nicolas Halbwachs
Nicolas Halbwachs
CNRS / Verimag
imag.frÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
28421995
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
22271978
Synchronous programming of reactive systems
N Halbwachs
Springer Science & Business Media, 1992
1509*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
14172003
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
9551987
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
4261992
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
4211994
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
3801987
Verification of real-time systems using linear relation analysis
N Halbwachs, YE Proy, P Roumanoff
Formal Methods in System Design 11, 157-185, 1997
3691997
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2911994
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
2681992
Delay analysis in synchronous programs
N Halbwachs
Computer Aided Verification: 5th International Conference, CAV'93 Elounda ¡¦, 1993
2531993
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
Computer-Aided Verification: 2nd International Conference, CAV'90 New ¡¦, 1991
2101991
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
1991998
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language ¡¦, 2008
1952008
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
Programming Language Implementation and Logic Programming: 3rd International ¡¦, 1991
1711991
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
1601979
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
1591992
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1461992
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20