| 2026 | DATE | Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow. | Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2026 | DATE | Area Efficient Speculative Loop Pipelining for High-Level Synthesis. | Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2026 | ECRTS | WCET Analysis of HLS-Generated Processors Using Abstract Interpretation. | Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut |
| 2025 | DSD | Circadia: Checkpointing for Intermittent Computing in AI Driven Applications. | Matthieu Rodet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | CC | Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers. | Abderaouf Nassim Amalou, Elisa Fromont, Isabelle Puaut |
| 2024 | CGO | SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | RTCSA | EarlyBird: Energy belongs to those who wake up early. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | RTNS | Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software. | Hector Chabot, Isabelle Puaut, Thomas Carle, Hugues Cass |
| 2023 | ECRTS | CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers. | Abderaouf N. Amalou, Elisa Fromont, Isabelle Puaut |
| 2022 | ECRTS | RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. | Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut |
| 2022 | ICTAI | CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks. | Abderaouf N. Amalou, lisa Fromont, Isabelle Puaut |
| 2022 | RTNS | Winston: Revisiting iterative compilation for WCET minimization. | Valentin Pasquale, Isabelle Puaut |
| 2021 | RTCSA | WE-HML: hybrid WCET estimation using machine learning for architectures with caches. | Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller |
| 2020 | ECRTS | Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems. | Nicolas Bellec, Simon Rokicki, Isabelle Puaut |
| 2019 | ECRTS | Impact of DM-LRU on WCET: A Static Analysis Approach. | Renato Mancuso, Heechul Yun, Isabelle Puaut |
| 2019 | ECRTS | Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures. | Benjamin Rouxel, Stefanos Skalistis, Steven Derrien, Isabelle Puaut |
| 2019 | SAC | A time-predictable branch predictor. | Martin Schoeberl, Benjamin Rouxel, Isabelle Puaut |
| 2019 | RTSS | Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation. | Mickal Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien |
| 2018 | DATE | Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction. | Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien |
| 2017 | DATE | WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. | Steven Derrien, Isabelle Puaut, Panayiotis Alefragis, Marcus Bednara, Harald Bucher, Clment David, Yann Debray, Umut Durak, Imen Fassi, Christian Ferdinand, Damien Hardy, Angeliki Kritikakou, Gerard K. Rauwerda, Simon Reder, Martin Sicks, Timo Stripf, Kim Sunesen, Timon D. ter Braak, Nikolaos S. Voros, Jrgen Becker |
| 2017 | ECRTS | Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors. | Viet Anh Nguyen, Damien Hardy, Isabelle Puaut |
| 2017 | RTNS | Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention. | Sbastien Martinez, Damien Hardy, Isabelle Puaut |
| 2016 | DATE | Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. | Damien Hardy, Isabelle Puaut, Yiannakis Sazeides |
| 2016 | ECRTS | Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems. | Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Akesson, Isabelle Puaut, Eduardo Tovar |
| 2015 | RTCSA | Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. | Hanbing Li, Isabelle Puaut, Erven Rohou |
| 2014 | ECRTS | On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. | Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiones, Francisco J. Cazorla |
| 2014 | RTNS | Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. | Hanbing Li, Isabelle Puaut, Erven Rohou |
| 2013 | RTNS | Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. | Damien Hardy, Isabelle Puaut |
| 2012 | DATE | Preemption delay analysis for floating non-preemptive region scheduling. | Jos Marinho, Vincent Nlis, Stefan M. Petters, Isabelle Puaut |
| 2012 | RTNS | PDPA: period driven task and cache partitioning algorithm for multi-core systems. | Brice Berna, Isabelle Puaut |
| 2012 | RTNS | PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. | Benjamin Lesage, Isabelle Puaut, Andr Seznec |
| 2011 | RTSS | Scalable Fixed-Point Free Instruction Cache Analysis. | Damien Hardy, Benjamin Lesage, Isabelle Puaut |
| 2011 | RTAS | Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation. | Adnan Bouakaz, Isabelle Puaut, Erven Rohou |
| 2009 | RTSS | Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. | Damien Hardy, Thomas Piquet, Isabelle Puaut |
| 2008 | ECRTS | Predictable Code and Data Paging for Real Time Systems. | Damien Hardy, Isabelle Puaut |
| 2008 | RTSS | WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. | Damien Hardy, Isabelle Puaut |
| 2007 | DATE | Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison. | Isabelle Puaut, Christophe Pais |
| 2007 | ECRTS | WCET-Directed Dynamic Scratchpad Memory Allocation of Data. | Jean-Franois Deverge, Isabelle Puaut |
| 2007 | ECRTS | Predictable Paging in Real-Time Systems: A Compiler Approach. | Isabelle Puaut, Damien Hardy |
| 2006 | ECRTS | WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. | Isabelle Puaut |
| 2005 | ECRTS | A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. | Franois Bodin, Isabelle Puaut |
| 2005 | ECRTS | Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison. | Antonio Mart Campoy, Isabelle Puaut, ngel Perles-Ivars, Jos V. Busquets-Mataix |
| 2004 | ECRTS | Static Determination of Probabilistic Execution Times. | Laurent David, Isabelle Puaut |
| 2002 | ECRTS | Real-Time Performance of Dynamic Memory Allocation Algorithms. | Isabelle Puaut |
| 2002 | ISORC | ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems. | David Decotigny, Isabelle Puaut |
| 2002 | RTSS | Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. | Isabelle Puaut, David Decotigny |
| 2001 | DSN | Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. | Pascal Chevochot, Isabelle Puaut |
| 2001 | ECRTS | A Modular & Retargetable Framework for Tree-Based WCET Analysis. | Antoine Colin, Isabelle Puaut |
| 2001 | ECRTS | Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. | Antoine Colin, Isabelle Puaut |
| 2000 | RTCSA | Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. | Pascal Chevochot, Isabelle Puaut |
| 1999 | ISORC | A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications. | Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut |
| 1999 | RTCSA | Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. | Pascal Chevochot, Isabelle Puaut |
| 1999 | SRDS | An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. | Pascal Chevochot, Isabelle Puaut |
| 1998 | ICDCS | HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications. | Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut |
| 1996 | EuroPar | Dealing with Heterogeneity in Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. | Gilbert Cabillic, Isabelle Puaut |
| 1996 | SRDS | A proposal for Ensuring High Availability of Distributed Multimedia Applications. | Manuel Billot, Valrie Issarny, Isabelle Puaut, Michel Bantre |
| 1995 | ICDCS | Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System: Design, Implementation, and Performance. | Michel Bantre, Yasmina Belhamissi, Valrie Issarny, Isabelle Puaut, Jean-Paul Routeau |
| 1995 | SRDS | The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. | Gilbert Cabillic, Gilles Muller, Isabelle Puaut |
| 1994 | ICDCS | Arche: A Framework for Parallel Object-Oriented Programming Above a Distributed Architecture. | Michel Bantre, Yasmina Belhamissi, Valrie Issarny, Isabelle Puaut, Jean-Paul Routeau |
| 1994 | OOPSLA | A Distributed Garbage Collector for Active Objects. | Isabelle Puaut |
| 1994 | SRDS | Efficient Treatment of Failures in RPC Systems. | Valrie Issarny, Gilles Muller, Isabelle Puaut |