Efficient compilation of ESTEREL for real-time embedded systems. - Daniel Weil; Valérie Bertin; Etienne Closse; Michel Poize; Patrick Venier; Jacques Pulou (CASES, 2000)

Towards validated real-time software. - Valérie Bertin; Michel Poize; Jacques Pulou; Joseph Sifakis (ECRTS, 2000)

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. - Valérie Bertin; Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CDC, 2001)

FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. - Valérie Bertin; Jean-Marc Daveau; Philippe Guillaume; Thierry Lepley; Denis Pilat; Claire Richard; Miguel Santana; Thomas Thery (EMSOFT, 2002)

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. - Ismail Assayad; Philippe Gerner; Sergio Yovine; Valérie Bertin (DFMA, 2005)

Jahuel: A Formal Framework for Software Synthesis. - Ismail Assayad; Valérie Bertin; F.-X. Defaut; Philippe Gerner; O. Quévreux; Sergio Yovine (ICFEM, 2005)

Designing tightly-coupled extension units for the STxP70 processor. - Yves Janin; Valérie Bertin; Hervé Chauvet; Thomas Deruyter; Christophe Eichwald; Olivier-André Giraud; Vincent Lorquet; Thomas Thery (DATE, 2013)

FIRECAP: Fail-Reason Capturing hardware module for a RISC-V based System on a Chip. - Sébastien Thomet; Serge De Paoli; Jean-Marc Daveau; Valérie Bertin; Fady Abouzeid; Philippe Roche; Fakhreddine Ghaffari; Olivier Romain (DFT, 2021)