Towards a Shared-Memory Massively Parallel Multiprocessor. - Daniel Litaize; Abdelaziz Mzoughi; Christine Rochange; Pascal Sainrat (ISCA, 1992)

The Design of the M3S: A Multiported Shared-Memory Multiprocessor. - Pascal Sainrat; Abdelaziz Mzoughi; Christine Rochange; Daniel Litaize (SC, 1992)

Performance of M3S for the SOR algorithm. - Christine Rochange; Pascal Sainrat; Daniel Litaize (PARLE, 1993)

Using the abstract interpretation technique for static pointer analysis. - Hugues Cassé; Louis Féraud; Christine Rochange; Pascal Sainrat (SIGARCH Comput. Archit. News, 1999)

Architecture of Parallel and Distributed Systems. - Daniel Litaize; Abdelaziz Mzoughi; Christine Rochange; Pascal Sainrat (Handbook on Parallel and Distributed Processing, 2000)

Une approche pour réduire la complexité du flot de contrôle dans les programmes C. - Hugues Cassé; Louis Féraud; Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2002)

Towards Designing WCET-Predictable Processors. - Christine Rochange; Pascal Sainrat (WCET, 2003)

Calcul de majorants de pire temps d'exécution : état de l'art. - Antoine Colin; Isabelle Puaut; Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2003)

Optimisations du chargement des instructions. - Thierry Haquin; Philippe Reynes; Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2003)

A time-predictable execution mode for superscalar pipelines with instruction prescheduling. - Christine Rochange; Pascal Sainrat (Conf. Computing Frontiers, 2005)

A Contribution to Branch Prediction Modeling in WCET Analysi. - Claire Burguière; Christine Rochange (DATE, 2005)

A Case for Static Branch Prediction in Real-Time Systems. - Claire Burguière; Christine Rochange; Pascal Sainrat (RTCSA, 2005)

Régulation du flot d'instructions pour des processeurs orientés temps réel. - Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2005)

Modeling Instruction-Level Parallelism for WCET Evaluation. - Jonathan Barre; Cédric Landet; Christine Rochange; Pascal Sainrat (RTCSA, 2006)

History-based Schemes and Implicit Path Enumeration. - Claire Burguière; Christine Rochange (WCET, 2006)

WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. - Christine Rochange (WCET, 2007)

A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. - Jonathan Barre; Christine Rochange; Pascal Sainrat (ARCS, 2008)

An architecture for the simultaneous execution of hard real-time threads. - Jonathan Barre; Christine Rochange; Pascal Sainrat (ICSAMOS, 2008)

WCET 2008 - Report from the Tool Challenge 2008 – 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. - Niklas Holsti; Jan Gustafsson; Guillem Bernat; Clément Ballabriga; Armelle Bonenfant; Roman Bourgade; Hugues Cassé; Daniel Cordes; Albrecht Kadlec; Raimund Kirner; Jens Knoop; Paul Lokuciejewski; et al. (WCET, 2008)

A Context-Parameterized Model for Static Analysis of Execution Times. - Christine Rochange; Pascal Sainrat (Trans. High Perform. Embed. Archit. Compil., 2009)

RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. - Julian Wolf 002; Mike Gerdes 001; Florian Kluge; Sascha Uhrig; Jörg Mische; Stefan Metzlaff; Christine Rochange; Hugues Cassé; Pascal Sainrat; Theo Ungerer (ISORC, 2010)

OTAWA: An Open Toolbox for Adaptive WCET Analysis. - Clément Ballabriga; Hugues Cassé; Christine Rochange; Pascal Sainrat (SEUS, 2010)

WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. - Christine Rochange; Armelle Bonenfant; Pascal Sainrat; Mike Gerdes 001; Julian Wolf 002; Theo Ungerer; Zlatko Petrov; Frantisek Mikulu (WCET, 2010)

A framework to experiment optimizations for real-time and embedded software - Hugues Cassé; Karine Heydemann; Haluk Ozaktas; Jonathan Ponroy; Christine Rochange; Olivier Zendra (CoRR, 2010)

Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. - Theo Ungerer; Francisco J. Cazorla; Pascal Sainrat; Guillem Bernat; Zlatko Petrov; Christine Rochange; Eduardo Quiñones; Mike Gerdes 001; Marco Paolieri; Julian Wolf 002; Hugues Cassé; Sascha Uhrig; et al. (IEEE Micro, 2010)

Architecture d'un processeur multiflot orienté temps-réel. - Jonathan Barre; Christine Rochange; Pascal Sainrat (Tech. Sci. Informatiques, 2010)

An Overview of Approaches Towards the Timing Analysability of Parallel Architecture. - Christine Rochange (PPES, 2011)

Predictable bus arbitration schemes for heterogeneous time-critical workloads running on multicore processors. - Roman Bourgade; Christine Rochange; Pascal Sainrat (ETFA, 2011)

A framework for the timing analysis of dynamic branch predictors. - Claire Maiza; Christine Rochange (RTNS, 2011)

RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor. - Julian Wolf 002; Mike Gerdes 001; Florian Kluge; Sascha Uhrig; Jörg Mische; Stefan Metzlaff; Christine Rochange; Hugues Cassé; Pascal Sainrat; Theo Ungerer (Comput. Syst. Sci. Eng., 2011)

Time analysable synchronisation techniques for parallelised hard real-time applications. - Mike Gerdes 001; Florian Kluge; Theo Ungerer; Christine Rochange; Pascal Sainrat (DATE, 2012)

The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs. - Mike Gerdes 001; Florian Kluge; Theo Ungerer; Christine Rochange (RTCSA, 2012)

Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets. - Roman Bourgade; Christine Rochange; Pascal Sainrat (ARCS, 2013)

parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. - Theo Ungerer; Christian Bradatsch; Mike Gerdes 001; Florian Kluge; Ralf Jahr; Jörg Mische; João Fernandes; Pavel G. Zaykov; Zlatko Petrov; Bert Böddeker; Sebastian Kehr; Hans Regler; et al. (DSD, 2013)

Hardware architecture specification and constraint-based WCET computation. - Hajer Herbegue; Hugues Cassé; Mamoun Filali; Christine Rochange (SIES, 2013)

Automatic WCET Analysis of Real-Time Parallel Applications. - Haluk Ozaktas; Christine Rochange; Pascal Sainrat (WCET, 2013)

Time-Predictable Architectures. - Christine Rochange; Sascha Uhrig; Pascal Sainrat (iSTE / Wiley, 2014)

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. - Angeliki Kritikakou; Claire Pagetti; Olivier Baldellon; Matthieu Roy; Christine Rochange (ECRTS, 2014)

Self-timed Periodic Scheduling for a Cyclo-static DataFlow Model. - Amira Dkhil; XuanKhanh Do; Paul Dubrulle; Stéphane Louise; Christine Rochange (ICCS, 2014)

Effects of structured parallelism by parallel design patterns on embedded hard real-time systems. - Ralf Jahr; Mike Gerdes 001; Theo Ungerer; Haluk Ozaktas; Christine Rochange; Pavel G. Zaykov (RTCSA, 2014)

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. - Angeliki Kritikakou; Christine Rochange; Madeleine Faugère; Claire Pagetti; Matthieu Roy; Sylvain Girbal; Daniel Gracia Pérez (RTNS, 2014)

Minimizing the cost of synchronisations in the WCET of real-time parallel programs. - Haluk Ozaktas; Christine Rochange; Pascal Sainrat (SCOPES, 2014)

Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art. - Gabriel Fernandez 002; Jaume Abella 001; Eduardo Quiñones; Christine Rochange; Tullio Vardanega; Francisco J. Cazorla (WCET, 2014)

Building timing predictable embedded systems. - Philip Axer; Rolf Ernst; Heiko Falk; Alain Girault; Daniel Grund; Nan Guan; Bengt Jonsson 001; Peter Marwedel; Jan Reineke 001; Christine Rochange; Maurice Sebastian; Reinhard von Hanxleden; et al. (ACM Trans. Embed. Comput. Syst., 2014)

Case study: Performance and WCET analysis for parallelised avionic applications with ODC2. - Arthur Pyka; Pavel G. Zaykov; Hugues Cassé; Haluk Ozaktas; Christine Rochange; Sascha Uhrig (INDIN, 2015)

A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications. - Amira Dkhil; XuanKhanh Do; Stéphane Louise; Christine Rochange (PDP, 2015)

WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. - Sebastian Altmeyer; Björn Lisper; Claire Maiza; Jan Reineke 001; Christine Rochange (WCET, 2015)

A Framework to Quantify the Overestimations of Static WCET Analysis. - Hugues Cassé; Haluk Ozaktas; Christine Rochange (WCET, 2015)

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. - Heiko Falk; Sebastian Altmeyer; Peter Hellinckx; Björn Lisper; Wolfgang Puffitsch; Christine Rochange; Martin Schoeberl; Rasmus Bo Sørensen; Peter Wägemann; Simon Wegener (WCET, 2016)

Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches. - Christine Rochange (WCET, 2016)

Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore. - Theo Ungerer; Christian Bradatsch; Martin Frieb; Florian Kluge; Jörg Mische; Alexander Stegmeier; Ralf Jahr; Mike Gerdes 001; Pavel G. Zaykov; Lucie Matusova; Zai Jian Jia Li; Zlatko Petrov; et al. (ACM Trans. Embed. Comput. Syst., 2016)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

EMSBench: Benchmark and Testbed for Reactive Real-Time Systems. - Florian Kluge; Christine Rochange; Theo Ungerer (Leibniz Trans. Embed. Syst., 2017)

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)

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

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)

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)

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)

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)