Damien Chabrol

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

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

Damien Chabrol is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer architecture, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceHardware SecurityReal-time SystemsFormal VerificationSystems EngineeringComputer EngineeringComputer ArchitectureSimulationSafety Science

Publications per year

2005–2011

Publications

Method and Tools for Mixed-Criticality Real-Time Applications within PharOS

Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol et al. · 2011 · 20 citations · Full text

Embedded Platforms, Engineering, Memory Isolation +20

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

Intricate Systems, Engineering, Real-time System Design +18

1–2 of 2