Nicolas Halbwachs - Major publications#

• Synchronous programming of reactive systems. N. Halbwachs. Kluwer Academic Pub., 1993
• Détermination automatique de relations linéaires vérifiées par les variables d'un programme N. Halbwachs. Thèse de 3e cycle, Université Scientifique et Médicale de Grenoble, March 1979.
• Modélisation et analyse du comportement des systèmes informatiques temporisés N. Halbwachs. Thèse d'Etat, Institut National Polytechnique de Grenoble, June 1984.

• Some ways to reduce the space dimension in polyhedra computations. N. Halbwachs, D. Merchat and L. Gonnord. Formal Methods in System Design, Vol 29, nr. . July 2006.
• Counter-Example Generation in Symbolic Abstract Model-Checking. G. Pace, N. Halbwachs, and P. Raymond. Software Tools for Technology Transfer, Vol.5, nr. 2-3 March 2004
• The synchronous languages 12 years later A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. Proceedings of the IEEE, Vol. 91, Nr. 1, January 2003
• Automatic Verification of Parameterized Networks of Processes. D. Lesens, N. Halbwachs and P. Raymond. Theoretical Computer Science, Vol. 256, pp. 113-144. 2001
• Verification of Real-Time Systems using Linear Relation Analysis. N. Halbwachs and Y.E. Proy and P. Roumanoff. Formal Methods in System Design, Vol. 11, nr. 2, pp.157-185. August 1997
• The Algorithmic Analysis of Hybrid Systems. R. Alur and C. Courcoubetis and N. Halbwachs and T. Henzinger and P. Ho and X. Nicollin and A. Olivero and J. Sifakis and S. Yovine. Theoretical Computer Science B, Vol. 138, pp.3-34. January 1995.
• Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. N. Halbwachs, F. Lagnier and C. Ratel. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems. September 1992.