Christophe Aussaguès

11 papers A 1B 1C 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors.
Sensors
Bassem Ouni, Christophe Aussaguès, Saadia Dhouib, Chokri Mraidha
2011 — conf
On the reaction time of some synchronous systems
ICE
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
2011 — conf
The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
HASE
Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David
2010 — conf
An Introduction to Time-Constrained Automata
ICE
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2009 C conf
A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems.
ETFA
Damien Chabrol, Christophe Aussaguès, Vincent David
2009 — conf
Using Multi-Core Architectures to Execute High Performance-Oriented Real-Time Applications.
PARCO
Christophe Aussaguès, Emmanuel Ohayon, K. Brifault, Quang Dinh
2008 A conf
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2007 C conf
OASIS formal approach for distributed safety-critical real-time system design.
ISoLA
Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès
2005 — conf
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.
IASTED PDCS
Damien Chabrol, Vincent David, Christophe Aussaguès, Stéphane Louise, Frédéric Daumas
2002 — conf
OASIS project: deterministic real-time for safety critical embedded systems.
ACM SIGOPS European Workshop
Stéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès
1998 B conf
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.
ICECCS
Christophe Aussaguès, Vincent David