| |
| 2007 | ||
|---|---|---|
| 5 | EE | Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino: Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS 2007: 3-20 |
| 4 | Philippe Baufreton, Reinhold Heckmann: Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. ISoLA 2007: 41-48 | |
| 2006 | ||
| 3 | EE | Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case studies with Lurette V2. STTT 8(6): 517-530 (2006) |
| 2004 | ||
| 2 | Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case Studies with Lurette V2. ISoLA (Preliminary proceedings) 2004: 296-303 | |
| 1999 | ||
| 1 | EE | Philippe Baufreton: SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). HSCC 1999: 1 |
| 1 | Jean Gassino | [5] |
| 2 | Eric Goubault | [5] |
| 3 | Reinhold Heckmann | [4] |
| 4 | Erwan Jahier | [2] [3] |
| 5 | Sylvie Putot | [5] |
| 6 | Pascal Raymond | [2] [3] |