Christine Rochange

68 papers A* 1A 4B 7C 8Misc 5Journal 18Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution (Artifact). Dagstuhl Artifacts Ser. Louison Jeanmougin, Thomas Carle, Christine Rochange
2025	B	`conf`	Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution. ECRTS Louison Jeanmougin, Thomas Carle, Christine Rochange
2024	C	`conf`	Coordinating the Fetch and Issue Warp Schedulers to Increase the Timing Predictability of GPUs. DSD Noïc Crouzet, Thomas Carle, Christine Rochange
2024	C	`conf`	Modelling and proving the monotonicity of processor pipelines in Coq. MEMOCODE Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange
2023	J	`jnl`	Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
2023	Misc	`conf`	Enabling timing predictability in the presence of store buffers. RTNS Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
2023	J	`jnl`	MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Trans. Computers Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
2023	—	`conf`	Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. WCET Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
2023	—	`conf`	Warp-Level CFG Construction for GPU Kernel WCET Analysis. WCET Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle
2022	J	`jnl`	A Framework for Calculating WCET Based on Execution Decision Diagrams. ACM Trans. Embed. Comput. Syst. Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2022	J	`jnl`	Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources. CoRR Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
2021	A	`conf`	Speculative Execution and Timing Predictability in an Open Source RISC-V Core. RTSS Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
2020	B	`conf`	Improving the Performance of WCET Analysis in the Presence of Variable Latencies. LCTES Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
2017	J	`jnl`	EMSBench: Benchmark and Testbed for Reactive Real-Time Systems. Leibniz Trans. Embed. Syst. Florian Kluge, Christine Rochange, Theo Ungerer
2017	—	`conf`	The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET 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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
2016	—	`conf`	Parallel Real-Time Tasks, as Viewed by WCET Analysis and Task Scheduling Approaches. WCET Christine Rochange
2016	J	`jnl`	Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore. ACM Trans. Embed. Comput. Syst. Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel G. Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quiñones, Milos Panic, Jaume Abella, Carles Hernández, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2016	—	`conf`	TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. WCET Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, Simon Wegener
2015	—	`conf`	A Framework to Quantify the Overestimations of Static WCET Analysis. WCET Hugues Cassé, Haluk Ozaktas, Christine Rochange
2015	C	`conf`	A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming Applications. PDP Amira Dkhil, XuanKhanh Do, Stéphane Louise, Christine Rochange
2015	C	`conf`	Case study: Performance and WCET analysis for parallelised avionic applications with ODC INDIN Arthur Pyka, Pavel G. Zaykov, Hugues Cassé, Haluk Ozaktas, Christine Rochange, Sascha Uhrig
2015	—	`conf`	WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange
2014	J	`jnl`	Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi
2014	—	`conf`	Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art. WCET Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Christine Rochange, Tullio Vardanega, Francisco J. Cazorla
2014	Misc	`conf`	Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez
2014	B	`conf`	Effects of structured parallelism by parallel design patterns on embedded hard real-time systems. RTCSA Ralf Jahr, Mike Gerdes, Theo Ungerer, Haluk Ozaktas, Christine Rochange, Pavel G. Zaykov
2014	C	`conf`	Minimizing the cost of synchronisations in the WCET of real-time parallel programs. SCOPES Haluk Ozaktas, Christine Rochange, Pascal Sainrat
2014	B	`conf`	Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. ECRTS Angeliki Kritikakou, Claire Pagetti, Olivier Baldellon, Matthieu Roy, Christine Rochange
2014	Misc	`conf`	Self-timed Periodic Scheduling for a Cyclo-static DataFlow Model. ICCS Amira Dkhil, XuanKhanh Do, Paul Dubrulle, Stéphane Louise, Christine Rochange
2014	—	`book`	Time-Predictable Architectures. Christine Rochange, Sascha Uhrig, Pascal Sainrat
2013	—	`conf`	Automatic WCET Analysis of Real-Time Parallel Applications. WCET Haluk Ozaktas, Christine Rochange, Pascal Sainrat
2013	—	`conf`	Hardware architecture specification and constraint-based WCET computation. SIES Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange
2013	—	`conf`	Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets. ARCS Roman Bourgade, Christine Rochange, Pascal Sainrat
2013	C	`conf`	parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. DSD Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, João Fernandes, Pavel G. Zaykov, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Ian Broster, Nick Lay, David George, Eduardo Quiñones, Milos Panic, Jaume Abella, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2012	Misc	`ed.`	20th International Conference on Real-Time and Network Systems, RTNS '12, Pont a Mousson, France - November 08 - 09, 2012 RTNS Liliana Cucu-Grosjean, Nicolas Navet, Christine Rochange, James H. Anderson
2012	B	`conf`	The Split-Phase Synchronisation Technique: Reducing the Pessimism in the WCET Analysis of Parallelised Hard Real-Time Programs. RTCSA Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange
2012	A	`conf`	Time analysable synchronisation techniques for parallelised hard real-time applications. DATE Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat
2011	Misc	`conf`	A framework for the timing analysis of dynamic branch predictors. RTNS Claire Maiza, Christine Rochange
2011	—	`conf`	An Overview of Approaches Towards the Timing Analysability of Parallel Architecture. PPES Christine Rochange
2011	C	`conf`	Predictable bus arbitration schemes for heterogeneous time-critical workloads running on multicore processors. ETFA Roman Bourgade, Christine Rochange, Pascal Sainrat
2011	J	`jnl`	RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor. Comput. Syst. Sci. Eng. Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2010	J	`jnl`	A framework to experiment optimizations for real-time and embedded software CoRR Hugues Cassé, Karine Heydemann, Haluk Ozaktas, Jonathan Ponroy, Christine Rochange, Olivier Zendra
2010	J	`jnl`	Architecture d'un processeur multiflot orienté temps-réel. Tech. Sci. Informatiques Jonathan Barre, Christine Rochange, Pascal Sainrat
2010	J	`jnl`	Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. IEEE Micro Theo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes, Marco Paolieri, Julian Wolf, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische
2010	—	`conf`	OTAWA: An Open Toolbox for Adaptive WCET Analysis. SEUS Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat
2010	C	`conf`	RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. ISORC Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer
2010	—	`conf`	WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. WCET Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu
2009	J	`jnl`	A Context-Parameterized Model for Static Analysis of Execution Times. Trans. High Perform. Embed. Archit. Compil. Christine Rochange, Pascal Sainrat
2008	—	`conf`	A Predictable Simultaneous Multithreading Scheme for Hard Real-Time. ARCS Jonathan Barre, Christine Rochange, Pascal Sainrat
2008	—	`conf`	An architecture for the simultaneous execution of hard real-time threads. ICSAMOS Jonathan Barre, Christine Rochange, Pascal Sainrat
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 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, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
2007	—	`ed.`	7th International Workshop on Worst-Case Execution Time Analysis, WCET 2007, Pisa, Italy, July 3, 2007 WCET Christine Rochange
2007	—	`conf`	WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET Christine Rochange
2006	—	`conf`	History-based Schemes and Implicit Path Enumeration. WCET Claire Burguière, Christine Rochange
2006	B	`conf`	Modeling Instruction-Level Parallelism for WCET Evaluation. RTCSA Jonathan Barre, Cédric Landet, Christine Rochange, Pascal Sainrat
2005	B	`conf`	A Case for Static Branch Prediction in Real-Time Systems. RTCSA Claire Burguière, Christine Rochange, Pascal Sainrat
2005	A	`conf`	A Contribution to Branch Prediction Modeling in WCET Analysi. DATE Claire Burguière, Christine Rochange
2005	—	`conf`	A time-predictable execution mode for superscalar pipelines with instruction prescheduling. Conf. Computing Frontiers Christine Rochange, Pascal Sainrat
2005	J	`jnl`	Régulation du flot d'instructions pour des processeurs orientés temps réel. Tech. Sci. Informatiques Christine Rochange, Pascal Sainrat
2003	J	`jnl`	Calcul de majorants de pire temps d'exécution : état de l'art. Tech. Sci. Informatiques Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
2003	J	`jnl`	Optimisations du chargement des instructions. Tech. Sci. Informatiques Thierry Haquin, Philippe Reynes, Christine Rochange, Pascal Sainrat
2003	—	`conf`	Towards Designing WCET-Predictable Processors. WCET Christine Rochange, Pascal Sainrat
2002	J	`jnl`	Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Tech. Sci. Informatiques Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
2000	—	`ch.`	Architecture of Parallel and Distributed Systems. Handbook on Parallel and Distributed Processing Daniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat
1999	J	`jnl`	Using the abstract interpretation technique for static pointer analysis. SIGARCH Comput. Archit. News Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat
1993	—	`conf`	Performance of M3S for the SOR algorithm. PARLE Christine Rochange, Pascal Sainrat, Daniel Litaize
1992	A	`conf`	The Design of the M3S: A Multiported Shared-Memory Multiprocessor. SC Pascal Sainrat, Abdelaziz Mzoughi, Christine Rochange, Daniel Litaize
1992	A*	`conf`	Towards a Shared-Memory Massively Parallel Multiprocessor. ISCA Daniel Litaize, Abdelaziz Mzoughi, Christine Rochange, Pascal Sainrat