Valrie Bertin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2013
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Designing tightly-coupled extension units for the STxP70 processor. | Yves Janin, Valrie Bertin, Herv Chauvet, Thomas Deruyter, Christophe Eichwald, Olivier-Andr Giraud, Vincent Lorquet, Thomas Thery |
| 2005 | ICFEM | Jahuel: A Formal Framework for Software Synthesis. | Ismail Assayad, Valrie Bertin, F.-X. Defaut, Philippe Gerner, O. Quvreux, Sergio Yovine |
| 2002 | EMSOFT | FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. | Valrie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery |
| 2000 | CASES | Efficient compilation of ESTEREL for real-time embedded systems. | Daniel Weil, Valrie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou |
| 2000 | ECRTS | Towards validated real-time software. | Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |