| 2005 |
|---|
| 5 | EE | Ismail Assayad,
Philippe Gerner,
Sergio Yovine,
Valérie Bertin:
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.
DFMA 2005: 295-302 |
| 4 | EE | Ismail Assayad,
Valérie Bertin,
F.-X. Defaut,
Philippe Gerner,
O. Quévreux,
Sergio Yovine:
Jahuel: A Formal Framework for Software Synthesis.
ICFEM 2005: 204-218 |
| 2002 |
|---|
| 3 | EE | 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: 382-398 |
| 2000 |
|---|
| 2 | EE | Daniel Weil,
Valérie Bertin,
Etienne Closse,
Michel Poize,
Patrick Venier,
Jacques Pulou:
Efficient compilation of ESTEREL for real-time embedded systems.
CASES 2000: 2-8 |
| 1 | EE | Valérie Bertin,
Michel Poize,
Jacques Pulou,
Joseph Sifakis:
Towards validated real-time software.
ECRTS 2000: 157-164 |
