 | 2011 |
| 6 |  | Jean-Paul Blanquart,
Eric Armengaud,
Philippe Baufreton,
Quentin Bourrouilh,
Gerhard Griessnig,
Martin Krammer,
Odile Laurent,
Joseph Machrouh,
Thomas Peikenkamp,
Cecile Schindler,
Tormod Wien:
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.
SAFECOMP 2011: 57-70 |
| 2007 |
| 5 |  | 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 |  | 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 |  | Philippe Baufreton:
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).
HSCC 1999: 1 |