A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. - Sylvain Cotard; Sébastien Faucou; Jean-Luc Béchennec; Audrey Queudet; Yvon Trinquet (HPCC-ICESS, 2012)

Contribution à la robustesse des systèmes temps re'el embarque's multicœur automobile. (Robustness in Multicore Automotive Embedded Real-Time Systems). - Sylvain Cotard (2013)

An ILP approach for mapping AUTOSAR runnables on multi-core architectures. - Salah Eddine Saidi; Sylvain Cotard; Khaled Chaaban; Kevin Marteil (RAPIDO@HiPEAC, 2015)

STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. - Sylvain Cotard; Audrey Queudet; Jean-Luc Béchennec; Sébastien Faucou; Yvon Trinquet (ACM Trans. Embed. Comput. Syst., 2015)