 | 2008 |
|---|
| 5 |       | Matthieu Lemerre,
Vincent David,
Christophe Aussaguès,
Guy Vidal-Naquet:
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 237-247 |
| 2007 |
|---|
| 4 |  | Sylvain Camier,
Damien Chabrol,
Vincent David,
Christophe Aussaguès:
OASIS formal approach for distributed safety-critical real-time system design.
ISoLA 2007: 167-178 |
| 2005 |
|---|
| 3 | | Damien Chabrol,
Vincent David,
Christophe Aussaguès,
Stéphane Louise,
Frédéric Daumas:
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.
IASTED PDCS 2005: 260-268 |
| 2002 |
|---|
| 2 | | Stéphane Louise,
Vincent David,
Jean Delcoigne,
Christophe Aussaguès:
OASIS project: deterministic real-time for safety critical embedded systems.
ACM SIGOPS European Workshop 2002: 223-226 |
| 1998 |
|---|
| 1 | | Christophe Aussaguès,
Vincent David:
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.
ICECCS 1998: 2-12 |
