 | 2009 |
|---|
| 8 |       | Rola Kassem,
Mikaël Briday,
Jean-Luc Béchennec,
Yvon Trinquet,
Guillaume Savaton:
Instruction set simulator generation using HARMLESS, a new hardware architecture description language.
SimuTools 2009: 24 |
| 2008 |
|---|
| 7 | | Matthias Brun,
Jérôme Delatour,
Yvon Trinquet:
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.
ICECCS 2008: 257-262 |
| 2007 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | Hadrien Cambazard,
Pierre-Emmanuel Hladik,
Anne-Marie Déplanche,
Narendra Jussien,
Yvon Trinquet:
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
CP 2004: 153-167 |
| 2002 |
|---|
| 3 | | 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 |
| 1999 |
|---|
| 2 | | Anne-Marie Déplanche,
Pierre-Yves Théaudière,
Yvon Trinquet:
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive.
SRDS 1999: 90-101 |
| 1991 |
|---|
| 1 |  | Denis Creusot,
Philippe Lemoine,
Olivier Roux,
Yvon Trinquet,
Antonio Kung,
Olivier Marbach,
Carlos Serrano-Morales:
Execution Environment for ELECTRE Applications.
ESEC 1991: 147-165 |
