A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. - Christophe Aussaguès; Vincent David (ICECCS, 1998)

OASIS project: deterministic real-time for safety critical embedded systems. - Stéphane Louise; Vincent David; Jean Delcoigne; Christophe Aussaguès (ACM SIGOPS European Workshop, 2002)

Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach. - Damien Chabrol; Vincent David; Christophe Aussaguès; Stéphane Louise; Frédéric Daumas (IASTED PDCS, 2005)

OASIS formal approach for distributed safety-critical real-time system design. - Sylvain Camier; Damien Chabrol; Vincent David; Christophe Aussaguès (ISoLA, 2007)

Equivalence between Schedule Representations: Theory and Applications. - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. - Damien Chabrol; Christophe Aussaguès; Vincent David (ETFA, 2009)

Using Multi-Core Architectures to Execute High Performance-Oriented Real-Time Applications. - Christophe Aussaguès; Emmanuel Ohayon; K. Brifault; Quang Dinh (PARCO, 2009)

An Introduction to Time-Constrained Automata - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (ICE, 2010)

The OASIS Kernel: A Framework for High Dependability Real-Time Systems. - Stéphane Louise; Matthieu Lemerre; Christophe Aussaguès; Vincent David (HASE, 2011)

On the reaction time of some synchronous systems - Ilias Garnier; Christophe Aussaguès; Vincent David; Guy Vidal-Naquet (ICE, 2011)

Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors. - Bassem Ouni; Christophe Aussaguès; Saadia Dhouib; Chokri Mraidha (Sensors, 2021)