 | 2011 |
| 9 |  | Stéphane Louise,
Matthieu Lemerre,
Christophe Aussaguès,
Vincent David:
The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
HASE 2011: 95-103 |
| 8 |  | Ilias Garnier,
Christophe Aussaguès,
Vincent David,
Guy Vidal-Naquet:
On the reaction time of some synchronous systems
ICE 2011: 69-83 |
| 2010 |
| 7 |  | Matthieu Lemerre,
Vincent David,
Christophe Aussaguès,
Guy Vidal-Naquet:
An Introduction to Time-Constrained Automata
ICE 2010: 83-98 |
| 2009 |
| 6 |  | Damien Chabrol,
Christophe Aussaguès,
Vincent David:
A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems.
ETFA 2009: 1-8 |
| 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 |