| 2008 |
|---|
| 7 | EE | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | EE | 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 |
|---|
| 3 | EE | 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 |
| 2 | EE | Vincent David,
Jean Delcoigne,
Evelyne Leret,
Alain Ourghanlian,
Philippe Hilsenkopf,
Philippe Paris:
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.
SAFECOMP 1998: 45-59 |
| 1992 |
|---|
| 1 | | Vincent David:
Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation.
IJCSLP Workshop on Concurrent and Parallel Implementations 1992 |
