Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. Modelling and proving the monotonicity of processor pipelines in Coq. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States. ⟨hal-04729453⟩

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⟩

Noïc Crouzet, Thomas Carle, Christine Rochange. Coordinating the fetch and issue warp schedulers to increase the timing predictability of GPUs. Euromicro Symposium on Digital System Design, Aug 2024, Paris, France. ⟨hal-04729449⟩

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⟩

Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti. Extending a predictable machine learning framework with efficient gemm-based convolution routines. Real-Time Systems, 2023, 59 (3), pp.408-437. ⟨10.1007/s11241-023-09407-z⟩. ⟨hal-04627347⟩