Rémi Meunier, Thomas Carle, Thierry Monteil. Multi-core interference over-estimation reduction by static scheduling of multi-phase tasks. Real-Time Systems, 2024, pp.1--39. ⟨10.1007/s11241-024-09427-3⟩. ⟨hal-04689317⟩

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang. Verifying HyperLTL properties in Event-B. 10th International Conference on Rigorous State-Based Methods (ABZ 2024), Jun 2024, Bergame, Italy. pp.255-261, ⟨10.1007/978-3-031-63790-2_20⟩. ⟨hal-04662665⟩

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

Mohamed Kaâniche, Philippe Cuenot, Kevin Delmas, Jean Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems. 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024. ⟨hal-04643654⟩

Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jegu, Claire Pagetti. A Predictable SIMD Library for GEMM Routines. 30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024), IEEE, May 2024, Hong Kong, Hong Kong SAR China. pp.55-67, ⟨10.1109/RTAS61025.2024.00013⟩. ⟨hal-04660701⟩

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⟩