Valérie Bertin

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Top Topics

Reconfigurable Hardware

Vlsi Implementation

Ibm Power Processor

Top Venues

Publications

Sébastien Thomet, Serge De Paoli, Jean-Marc Daveau, Valérie Bertin, Fady Abouzeid, Philippe Roche, Fakhreddine Ghaffari, Olivier Romain
FIRECAP: Fail-Reason Capturing hardware module for a RISC-V based System on a Chip. DFT (2021)
Yves Janin, Valérie Bertin, Hervé Chauvet, Thomas Deruyter, Christophe Eichwald, Olivier-André Giraud, Vincent Lorquet, Thomas Thery
Designing tightly-coupled extension units for the STxP70 processor. DATE (2013)
Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
Jahuel: A Formal Framework for Software Synthesis. ICFEM (2005)
Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. DFMA (2005)
Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. EMSOFT (2002)
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC (2001)
Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou
Efficient compilation of ESTEREL for real-time embedded systems. CASES (2000)
Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis
Towards validated real-time software. ECRTS (2000)