Synchronous objects with scheduling policies: introducing safe shared memory in lustre. - Paul Caspi; Jean-Louis Colaço; Léonard Gérard; Marc Pouzet; Pascal Raymond (LCTES, 2009)

Programming parallelism with futures in lustre. - Albert Cohen 001; Léonard Gérard; Marc Pouzet (EMSOFT, 2012)

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. - Léonard Gérard; Adrien Guatto; Cédric Pasteur; Marc Pouzet (LCTES, 2012)

Programmer le paralle'lisme avec des futures en Heptagon un langage synchrone flot de donne'es et e'tude des re'seaux de Kahn en vue d'une compilation synchrone. (Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation). - Léonard Gérard (2013)

Design and verification for transportation system security. - Bowen Zheng 001; Wenchao Li 001; Peng Deng; Léonard Gérard; Qi Zhu 002; Natarajan Shankar (DAC, 2015)

Design and verification of multi-rate distributed systems. - Wenchao Li 001; Léonard Gérard; Natarajan Shankar (MEMOCODE, 2015)