Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. - Thomas Carle; Manel Djemal; Dumitru Potop-Butucaru; Robert de Simone; Zhen Zhang (ACSD, 2014)

Reconciling performance and predictability on a many-core through off-line mapping. - Thomas Carle; Manel Djemal; Daniela Genius; François Pêcheux; Dumitru Potop-Butucaru; Robert de Simone; Franck Wajsbürt; Zhen Zhang (ReCoSoC, 2014)

Predicate-aware, makespan-preserving software pipelining of scheduling tables. - Thomas Carle; Dumitru Potop-Butucaru (ACM Trans. Archit. Code Optim., 2014)

Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. (Efficient compilation of embedded control specifications with complex functional and non-functional properties). - Thomas Carle (2014)

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. - Raul Gorcitz; Emilien Kofman; Thomas Carle; Dumitru Potop-Butucaru; Robert de Simone (FORMATS, 2015)

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. - Thomas Carle; Dumitru Potop-Butucaru; Yves Sorel; David Lesens (Leibniz Trans. Embed. Syst., 2015)

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 (CASES, 2016)

Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures. - Thomas Carle; Hugues Cassé (WCET, 2018)

Improving the Performance of WCET Analysis in the Presence of Variable Latencies. - Zhenyu Bai; Hugues Cassé; Marianne De Michiel; Thomas Carle; Christine Rochange (LCTES, 2020)

Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks. - Thomas Carle; Hugues Cassé (ARCS, 2021)

Speculative Execution and Timing Predictability in an Open Source RISC-V Core. - Alban Gruin; Thomas Carle; Hugues Cassé; Christine Rochange (RTSS, 2021)

Correctness and Efficiency Criteria for the Multi-Phase Task Model. - Rémi Meunier; Thomas Carle; Thierry Monteil 001 (ECRTS, 2022)

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (ECRTS, 2022)

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (Dagstuhl Artifacts Ser., 2022)

A Framework for Calculating WCET Based on Execution Decision Diagrams. - Zhenyu Bai; Hugues Cassé; Marianne De Michiel; Thomas Carle; Christine Rochange (ACM Trans. Embed. Comput. Syst., 2022)

Enabling timing predictability in the presence of store buffers. - Alban Gruin; Thomas Carle; Christine Rochange; Pascal Sainrat (RTNS, 2023)

Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. - Alban Gruin; Thomas Carle; Christine Rochange; Pascal Sainrat (WCET, 2023)

Warp-Level CFG Construction for GPU Kernel WCET Analysis. - Louison Jeanmougin; Pascal Sotin; Christine Rochange; Thomas Carle (WCET, 2023)

MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. - Alban Gruin; Thomas Carle; Christine Rochange; Hugues Cassé; Pascal Sainrat (IEEE Trans. Computers, 2023)

Extending a predictable machine learning framework with efficient gemm-based convolution routines. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (Real Time Syst., 2023)

Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources. - Zhenyu Bai; Hugues Cassé; Thomas Carle; Christine Rochange (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Parallelism and timing predictability in real-time systems. - Thomas Carle (2024)

Coordinating the Fetch and Issue Warp Schedulers to Increase the Timing Predictability of GPUs. - Noïc Crouzet; Thomas Carle; Christine Rochange (DSD, 2024)

Modelling and proving the monotonicity of processor pipelines in Coq. - Alban Gruin; Armelle Bonenfant; Thomas Carle; Christine Rochange (MEMOCODE, 2024)

A Predictable SIMD Library for GEMM Routines. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Victor Jégu; Claire Pagetti (RTAS, 2024)

Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software. - Hector Chabot; Isabelle Puaut; Thomas Carle; Hugues Cassé (RTNS, 2024)

Verifying HyperLTL Properties in Event-B. - Jean-Paul Bodeveix; Thomas Carle; Elie Fares; Mamoun Filali; Thai Son Hoang (ABZ, 2024)

Multi-core interference over-estimation reduction by static scheduling of multi-phase tasks. - Rémi Meunier; Thomas Carle; Thierry Monteil 001 (Real Time Syst., 2024)

Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution. - Louison Jeanmougin; Thomas Carle; Christine Rochange (ECRTS, 2025)

Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution (Artifact). - Louison Jeanmougin; Thomas Carle; Christine Rochange (Dagstuhl Artifacts Ser., 2025)