Olivier Henry Roux

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Generally Applicable

Dynamic Reconfiguration

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier
Formal model-based conformance verification of an OSEK/VDX compliant RTOS. CoDIT (2018)
Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux
Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux
Formal Synthesis of Optimal RTOS. HPCC/CSS/ICESS (2015)