Thomas Carle. Parallelism and timing predictability in real-time systems. Embedded Systems. Université Toulouse 3 Paul Sabatier, 2024. ⟨tel-04604816⟩

Rémi Meunier. Execution time prediction for applications running on multi-core architectures. Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0031⟩. ⟨tel-04457889⟩

Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange. Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (11), pp.3665-3678. ⟨10.1109/TCAD.2023.3258752⟩. ⟨hal-04069420⟩

Louison Jeanmougin, Thomas Carle, Pascal Sotin, Christine Rochange. Warp-Level CFG Construction for GPU Kernel WCET Analysis. 21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1--1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩. ⟨hal-04171474⟩

Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat. Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. 21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, ⟨10.4230/OASIcs.WCET.2023.2⟩. ⟨hal-04171420⟩

Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat. Enabling timing predictability in the presence of store buffers. 31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩. ⟨hal-04082519⟩

Zhenyu Bai. Modélisation du comportement temporel du pipeline pour le calcul de WCET. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2023. Français. ⟨NNT : 2023TOU30053⟩. ⟨tel-04288859⟩

Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat. MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Transactions on Computers, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩. ⟨hal-03773263⟩

Rémi Meunier, Thomas Carle, Thierry Monteil. Correctness and Efficiency Criteria for the Multi-Phase Task Model. 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jul 2022, Modena, Italy. pp.16326, ⟨10.4230/LIPIcs.ECRTS.2022.9⟩. ⟨hal-03707271⟩

Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti. ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. 24th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jun 2022, Modène, Italy. ⟨10.4230/DARTS.8.1.6⟩. ⟨hal-03707284⟩