Concepedia

Christophe Aussaguès

CA

Statistics

Publications

3

Citations

35

H-Index

3

Active since

2002

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Christophe Aussaguès is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in formal verification, computer engineering, and engineering.

Top concepts

Publications per year

2002–2011

3

Publications

3

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

Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès · 2011 · 13 citations

, , +22

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

Christophe Aussaguès · 2002 · 12 citations

, , +22

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

Damien Chabrol, Christophe Aussaguès, Stéphane Louise et al. · IASTED PDCS · 2005 · 10 citations

, , +18

1–3 of 3