 | 2008 |
|---|
| 5 |       | Dominique Bertrand,
Anne-Marie Déplanche,
Sébastien Faucou,
Olivier H. Roux:
A Study of the AADL Mode Change Protocol.
ICECCS 2008: 288-293 |
| 2007 |
|---|
| 4 | | 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 | | 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 | | Henri Habrias,
Sébastien Faucou:
Linking Paradigms, Semi-formal and Formal Notations.
TFM 2004: 166-184 |
| 2002 |
|---|
| 1 | | 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 |
