P. Sainrat

Mastering the behavior of multi-core systems to match avionics requirements

H. Agrou, P. Sainrat, M. Gatti, 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

Table of Contents RTCSA 2005

Christine Rochange, Hiroaki Takada, P. Sainrat, 2005 .

WCET Computation on Software Components by Partial Static Analysis

H. Cassé, P. Sainrat, C. Ballabriga, .