Publications

Rémi Meunier, Thomas Carle and Thierry Monteil. Correctness and Efficiency Criteria for the Multi-Phase Task Model. 34th Euromicro Conference on Real-Time Systems, ECRTS22. Modena, Italy.

Louison Jeanmougin, Pascal Sotin, Christine Rochange and Thomas Carle. Warp-level CFG construction for GPU kernel WCET analysis. 31st workshop on Worst-Case Execution Time Analysis, WCET 2023. Vienna, Austria.