 | 2011 |
| 9 |  | Isabelle Perseil,
Laurent Pautet,
Jean-François Rolland,
Mamoun Filali,
Didier Delanote,
Stefan Van Baelen,
Wouter Joosen,
Yolande Berbers,
Frédéric Mallet,
Dominique Bertrand,
Sébastien Faucou,
Abdelhafid Zitouni,
Mahmoud Boufaïda,
Lionel Seinturier,
Joël Champeau,
Thomas Abdoul,
Peter H. Feiler,
Chokri Mraidha,
Sébastien Gérard:
An Efficient Modeling and Execution Framework for Complex Systems Development.
ICECCS 2011: 317-331 |
| 2010 |
| 8 |  | Dominique Bertrand,
Sébastien Faucou,
Yvon Trinquet:
Temporal isolation for the cohabitation of applications in automotive embedded software.
EDCC-CARS 2010: 25-28 |
| 7 |  | Jean-Luc Béchennec,
Mikaël Briday,
Sébastien Faucou,
Florent Pavin,
Fabien Juif:
ViPER: a lightweight approach to the simulation of distributed and embedded software.
SimuTools 2010: 74 |
| 2009 |
| 6 |  | Dominique Bertrand,
Sébastien Faucou,
Yvon Trinquet:
An Analysis of the AUTOSAR OS Timing Protection Mechanism.
ETFA 2009: 1-8 |
| 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 |