| 2019 | VMCAI | Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. | Rmy Boutonnet, Nicolas Halbwachs |
| 2012 | SAS | When the Decreasing Sequence Fails. | Nicolas Halbwachs, Julien Henry |
| 2010 | VMCAI | An Analysis of Permutations in Arrays. | Valentin Perrelle, Nicolas Halbwachs |
| 2009 | FASE | Synchronous Modeling and Validation of Priority Inheritance Schedulers. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
| 2008 | PLDI | Discovering properties about arrays in simple programs. | Nicolas Halbwachs, Mathias Pron |
| 2007 | EMSOFT | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2007 | VMCAI | An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. | Mathias Pron, Nicolas Halbwachs |
| 2006 | SAS | Combining Widening and Acceleration in Linear Relation Analysis. | Laure Gonnord, Nicolas Halbwachs |
| 2005 | MEMOCODE | A synchronous language at work: the story of Lustre. | Nicolas Halbwachs |
| 2003 | SAS | Cartesian Factoring of Polyhedra in Linear Relation Analysis. | Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux |
| 2002 | EMSOFT | Synchronous Modelling of Asynchronous Systems. | Nicolas Halbwachs, Siwar Baghdadi |
| 1999 | SAS | Dynamic Partitioning in Analyses of Numerical Properties. | Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond |
| 1998 | CAV | Synchronous Programming of Reactive Systems. | Nicolas Halbwachs |
| 1998 | RTSS | Automatic Testing of Reactive Systems. | Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber |
| 1997 | POPL | Automatic Verification of Parameterized Linear Networks of Processes. | David Lesens, Nicolas Halbwachs, Pascal Raymond |
| 1996 | ESOP | Compositional Semantics of Non-Deterministic Synchronous Languages. | Florence Maraninchi, Nicolas Halbwachs |
| 1994 | SAS | About Synchronous Programming and Abstract Interpretation. | Nicolas Halbwachs |
| 1994 | SAS | Verification of Linear Hybrid Systems by Means of Convex Approximations. | Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond |
| 1993 | CAV | Delay Analysis in Synchronous Programs. | Nicolas Halbwachs |
| 1992 | CONCUR | Minimization of Timed Transition Systems. | Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | RTSS | An implementation of three algorithms for timing verification based on automata emptiness. | Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi |
| 1991 | CCC | POLLUS: A LUSTRE based hardware design environment. | Frdric Rocheteau, Nicolas Halbwachs |
| 1990 | CAV | Minimal Model Generation. | Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs |
| 1987 | POPL | Lustre: A Declarative Language for Programming Synchronous Systems. | Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice |
| 1985 | RTSS | Outline of a Real Time Data Flow Language. | Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud |
| 1982 | ICDCS | An Approach to Real Time Systems Modeling. | Paul Caspi, Nicolas Halbwachs |
| 1982 | ICPP | Algebra of events: a model for parallel and real time systems. | Paul Caspi, Nicolas Halbwachs |
| 1978 | POPL | Automatic Discovery of Linear Restraints Among Variables of a Program. | Patrick Cousot, Nicolas Halbwachs |