Modular resetting of synchronous data-flow programs. - Grégoire Hamon; Marc Pouzet (PPDP, 2000)

Certifying Synchrony for Free. - Sylvain Boulmé; Grégoire Hamon (LPAR, 2001)

Towards a higher-order synchronous data-flow language. - Jean-Louis Colaço; Alain Girault; Grégoire Hamon; Marc Pouzet (EMSOFT, 2004)

Generating Efficient Test Sets with a Model Checker. - Grégoire Hamon; Leonardo Mendonça de Moura; John M. Rushby (SEFM, 2004)

Synchronous Dataflow Pattern Matching. - Grégoire Hamon (SLAP@ETAPS, 2004)

A denotational semantics for stateflow. - Grégoire Hamon (EMSOFT, 2005)

Mixing signals and modes in synchronous data-flow systems. - Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (EMSOFT, 2006)

An operational semantics for Stateflow. - Grégoire Hamon; John M. Rushby (Int. J. Softw. Tools Technol. Transf., 2007)

Clock-directed modular code generation for synchronous data-flow languages. - Dariusz Biernacki; Jean-Louis Colaço; Grégoire Hamon; Marc Pouzet (LCTES, 2008)

Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. - Pieter J. Mosterman; Justyna Zander; Grégoire Hamon; Ben Denckla (ADHS, 2009)

Tool Integration with the Evidential Tool Bus. - Simon Cruanes; Grégoire Hamon; Sam Owre; Natarajan Shankar (VMCAI, 2013)