Valérie Bertin

	2005
5		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		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		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		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		Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis: Towards validated real-time software. ECRTS 2000: 157-164

Coauthor Index

1	Ismail Assayad	[4] [5]
2	Etienne Closse	[2]
3	Jean-Marc Daveau	[3]
4	F.-X. Defaut	[4]
5	Philippe Gerner	[4] [5]
6	Philippe Guillaume	[3]
7	Thierry Lepley	[3]
8	Denis Pilat	[3]
9	Michel Poize	[1] [2]
10	Jacques Pulou	[1] [2]
11	O. Quévreux	[4]
12	Claire Richard	[3]
13	Miguel Santana	[3]
14	Joseph Sifakis	[1]
15	Thomas Thery	[3]
16	Patrick Venier	[2]
17	Daniel Weil	[2]
18	Sergio Yovine	[4] [5]