Damien Chabrol

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Logical Formulas

Execution Model

Definition Language

Top Venues

CPS-IoT Week Workshops

Publications

Damien Chabrol, Guillaume Phavorin, Eric Jenn
sLET for Distributed Aerospace Landing System. DATE (2024)
Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
Semantics foundations of PsyC based on synchronous Logical Execution Time. CPS-IoT Week Workshops (2023)
Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa
Time- and angle-triggered real-time kernel. DATE (2013)
Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. ISORC Workshops (2011)
Damien Chabrol, Christophe Aussaguès, Vincent David
A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. ETFA (2009)
Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès
OASIS formal approach for distributed safety-critical real-time system design. ISoLA (2007)
Damien Chabrol, Vincent David, Christophe Aussaguès, Stéphane Louise, Frédéric Daumas
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach. IASTED PDCS (2005)