Login / Signup
Damien Chabrol
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 1
Top Topics
Definition Language
Model Theoretic
Predicate Calculus
Concurrent Execution
Top Venues
CPS-IoT Week Workshops
DATE
</>
Publications
</>
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)