Christophe Aussaguès

Using Multi-Core Architectures to Execute High Performance-Oriented Real-Time Applications

Emmanuel Ohayon, Quang Dinh, Christophe Aussagues, 2009, PARCO.

The OASIS Kernel: A Framework for High Dependability Real-Time Systems

Matthieu Lemerre, Vincent David, Stéphane Louise, 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach

Vincent David, Stéphane Louise, Christophe Aussaguès, 2005, IASTED PDCS.

On the reaction time of some synchronous systems

Vincent David, Ilias Garnier, Guy Vidal-Naquet, 2011, ICE.

A method and a technique to model and ensure timeliness in safety critical real-time systems

Vincent David, Christophe Aussaguès, V. David, 1998, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193).

Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Saadia Dhouib, Chokri Mraidha, Christophe Aussaguès, 2021, Sensors.

Novel Model-Based approach for instrumentation and control of nuclear reactors

C. Mraidha, S. Dhouib, B. Ouni, 2021, EPJ Web of Conferences.

An Introduction to Time-Constrained Automata

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet, 2010, ICE.