| 2007 |
|---|
| 4 | EE | Pierre-Emmanuel Hladik,
Anne-Marie Déplanche,
Sébastien Faucou,
Yvon Trinquet:
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES 2007: 225-233 |
| 2006 |
|---|
| 3 | EE | Jean-Luc Béchennec,
Mikaël Briday,
Sébastien Faucou,
Yvon Trinquet:
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.
ETFA 2006: 62-69 |
| 2004 |
|---|
| 2 | EE | Henri Habrias,
Sébastien Faucou:
Linking Paradigms, Semi-formal and Formal Notations.
TFM 2004: 166-184 |
| 2002 |
|---|
| 1 | EE | Sébastien Faucou,
Anne-Marie Déplanche,
Yvon Trinquet:
Timing fault detection for safety-critical real-time embedded systems.
ACM SIGOPS European Workshop 2002: 247-250 |
