Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. - Eric Vecchié; Robert de Simone (SLAP@ETAPS, 2004)

Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. - Eric Vecchié; Robert de Simone (CAV, 2005)

Modular Compilation of Synchronous Programs. - Klaus Schneider 001; Jens Brandt 001; Eric Vecchié (DIPES, 2006)

Efficient code generation from synchronous programs. - Klaus Schneider 001; Jens Brandt 001; Eric Vecchié (MEMOCODE, 2006)

Syntax-driven optimisations for reachable state space construction of ESTEREL programs. - Eric Vecchié; Robert de Simone (Int. J. Embed. Syst., 2006)

From Model-Based Design to Formal Verification of Adaptive Embedded Systems. - Rasmus Adler; Ina Schaefer; Tobias Schüle; Eric Vecchié (ICFEM, 2007)

Separate compilation and execution of imperative synchronous modules. - Eric Vecchié; Jean-Pierre Talpin; Klaus Schneider 001 (DATE, 2009)

A higher-order extension for imperative synchronous languages. - Eric Vecchié; Jean-Pierre Talpin; Sébastien Boisgérault (SCOPES, 2010)

Modelling and Optimization of Data-driven Scene Graphs. - Sébastien Boisgérault; Eric Vecchié (GRAPP, 2011)