| 2025 | ECRTS | Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution. | Louison Jeanmougin, Thomas Carle, Christine Rochange |
| 2024 | DSD | Coordinating the Fetch and Issue Warp Schedulers to Increase the Timing Predictability of GPUs. | Noc Crouzet, Thomas Carle, Christine Rochange |
| 2024 | MEMOCODE | Modelling and proving the monotonicity of processor pipelines in Coq. | Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange |
| 2024 | RTAS | A Predictable SIMD Library for GEMM Routines. | Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jgu, Claire Pagetti |
| 2024 | RTNS | Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software. | Hector Chabot, Isabelle Puaut, Thomas Carle, Hugues Cass |
| 2023 | RTNS | Enabling timing predictability in the presence of store buffers. | Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat |
| 2022 | ECRTS | Correctness and Efficiency Criteria for the Multi-Phase Task Model. | Rmi Meunier, Thomas Carle, Thierry Monteil |
| 2022 | ECRTS | ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. | Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti |
| 2021 | RTSS | Speculative Execution and Timing Predictability in an Open Source RISC-V Core. | Alban Gruin, Thomas Carle, Hugues Cass, Christine Rochange |
| 2016 | CASES | Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems. | Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar |