|
СТ |
Synchronous Modeling of Asynchronous Systems |
2002 |
Halbwachs N., Baghdadi S. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |
|
СТ |
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing |
1999 |
Halbwachs N., Raymond P. |
|
|
|
Lecture Notes in Computer Science |
28.12.1999 |
|
СТ |
Synchronous Programming of Reactive Systems |
1998 |
Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
|
СТ |
Compositional Semantics of Non-deterministic Synchronous Languages |
1996 |
Maraninchi F., Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
About Synchronous Programming and Abstract Interpretation |
1994 |
Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Verification of Linear Hybrid Systems by Means of Convex Approximations |
1994 |
Halbwachs N., Proy Y. -E., Raymond P. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Data-flow Synchronous Languages |
1994 |
Benveniste A., Caspi P., Le Guernic P., Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
04.08.1994 |
|
СТ |
Automatic Discovery of Linear Restraints Among Variables of a Program |
1978 |
Cousot P., Halbwachs N. |
|
|
|
Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages |
06.04.1994 |
|
П |
Determination Automatique de Relations Lineaires Verifiees par les Variables d un Programme (These) |
1979 |
Halbwachs N. |
|
|
|
|
06.04.1994 |
|
П |
Projet SYNCHRONE. Les formats communs des langages syncrones |
1993 |
Paris J. -P., Berry G., Mignard F., Couronne P., Caspi P., Halbwachs N., Sorel Y., Benveniste A., Gautier T., Le Guernic P., Dupont F., Le Maire C. |
|
|
INRIA |
|
27.01.1994 |
|
СТ |
Delay analysis in synchronous programs |
1993 |
Halbwachs N. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
An Experience in Proving Regular Networks of Processes by Modular Model Checking |
1992 |
Halbwachs N., Lagnier F., Ratel C. |
|
|
|
Acta Informatica |
16.12.1992 |
|
СТ |
Minimization of Timed Transition Systems |
1992 |
Alur R., Courcoubetis C., Halbwachs N., Dill D., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE |
1991 |
Ratel C., Halbwachs N., Raymond P. |
|
|
|
Software Engineering Notes |
03.04.1992 |
