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
25381995
The synchronous data flow programming language LUSTRE
N Halbwachs, P Caspi, P Raymond, D Pilaud
Proceedings of the IEEE 79 (9), 1305-1320, 1991
24191991
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
19771978
Synchronous programming of reactive systems
N Halbwachs
Springer Science & Business Media, 2013
1413*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
12892003
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
8301987
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
4021992
Synchronous observers and the verification of reactive systems
N Halbwachs, F Lagnier, P Raymond
Algebraic Methodology and Software Technology (AMAST’93), 83-96, 1994
3781994
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
3511997
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
3291987
Verification of linear hybrid systems by means of convex approximations
N Halbwachs, YE Proy, P Raymond
International Static Analysis Symposium, 223-237, 1994
2641994
Minimization of timed transition systems
R Alur, C Courcoubetis, N Halbwachs, D Dill, H Wong-Toi
International Conference on Concurrency Theory, 340-354, 1992
2591992
Delay analysis in synchronous programs
N Halbwachs
International Conference on Computer Aided Verification, 333-346, 1993
2401993
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
International Conference on Computer Aided Verification, 197-203, 1990
1911990
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
1841998
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1762008
Generating efficient code from data-flow programs
N Halbwachs, P Raymond, C Ratel
International Symposium on Programming Language Implementation and Logic …, 1991
1591991
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
1531979
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
1491992
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1421992
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20