Isabelle Puaut

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 33

Top Topics

Communication Delays

Static Analysis

Top Venues

Real Time Syst.

Publications

Hugo Reymond, Abderaouf Nassim Amalou, Isabelle Puaut
WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors Using Explainable ML. WCET (2024)
Abderaouf Nassim Amalou, Elisa Fromont, Isabelle Puaut
Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers. CC (2024)
Isabelle Puaut
Machine Learning for Timing Analysis: The Good, the Bad and the Ugly (Invited Talk). WCET (2024)
Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. CGO (2024)
Abderaouf N. Amalou, Elisa Fromont, Isabelle Puaut
CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers. ECRTS (2023)
Théo Degioanni, Isabelle Puaut
StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks. WCET (2022)
Abderaouf N. Amalou, Élisa Fromont, Isabelle Puaut
CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks. ICTAI (2022)
Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. ECRTS (2022)
Valentin Pasquale, Isabelle Puaut
Winston: Revisiting iterative compilation for WCET minimization. RTNS (2022)
Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller
WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA (2021)
Nicolas Bellec, Simon Rokicki, Isabelle Puaut
Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems. ECRTS (2020)
Renato Mancuso, Heechul Yun, Isabelle Puaut
Impact of DM-LRU on WCET: A Static Analysis Approach. ECRTS (2019)
Viet Anh Nguyen, Damien Hardy, Isabelle Puaut
Cache-conscious off-line real-time scheduling for multi-core platforms: algorithms and implementation. Real Time Syst. 55 (4) (2019)
Benjamin Rouxel, Stefanos Skalistis, Steven Derrien, Isabelle Puaut
Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures. ECRTS (2019)
Simon Reder, Fabian Kempf, Harald Bucher, Jürgen Becker, Panayiotis Alefragis, Nikolaos S. Voros, Stefanos Skalistis, Steven Derrien, Isabelle Puaut, Oliver Oey, Timo Stripf, Christian Ferdinand, Clément David, Peer Ulbig, David Müller, Umut Durak
Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications. J. Aerosp. Inf. Syst. 16 (11) (2019)
Isabelle Puaut
Guest editorial: special issue on the Real-Time Systems Symposium 2017. Real Time Syst. 55 (3) (2019)
Martin Schoeberl, Benjamin Rouxel, Isabelle Puaut
A time-predictable branch predictor. SAC (2019)
Mickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien
Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation. RTSS (2019)
Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien
Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction. DATE (2018)
Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien
Fine-Grain Iterative Compilation for WCET Estimation. WCET (2018)
Viet Anh Nguyen, Damien Hardy, Isabelle Puaut
Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors. ECRTS (2017)
Benjamin Rouxel, Steven Derrien, Isabelle Puaut
Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Steven Derrien, Isabelle Puaut, Panayiotis Alefragis, Marcus Bednara, Harald Bucher, Clément 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, Jürgen Becker
WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. DATE (2017)
Sébastien Martinez, Damien Hardy, Isabelle Puaut
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention. RTNS (2017)
Benjamin Rouxel, Isabelle Puaut
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. WCET (2017)
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
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Damien Hardy, Benjamin Rouxel, Isabelle Puaut
The Heptane Static Worst-Case Execution Time Estimation Tool. WCET (2017)
Damien Hardy, Isabelle Puaut, Yiannakis Sazeides
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. DATE (2016)
Paolo Montuschi, Edward J. McCluskey, Samarjit Chakraborty, Jason Cong, Ramón M. Rodríguez-Dagnino, Fred Douglis, Lieven Eeckhout, Gernot Heiser, Sushil Jajodia, Ruby B. Lee, Dinesh Manocha, Tomás F. Pena, Isabelle Puaut, Hanan Samet, Donatella Sciuto
State of the Journal. IEEE Trans. Computers 65 (7) (2016)
Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Akesson, Isabelle Puaut, Eduardo Tovar
Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems. ECRTS (2016)
Hanbing Li, Isabelle Puaut, Erven Rohou
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. RTCSA (2015)
Damien Hardy, Isabelle Puaut
Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. Real Time Syst. 51 (2) (2015)
Suzana Milutinovic, Jaume Abella, Damien Hardy, Eduardo Quiñones, Isabelle Puaut, Francisco J. Cazorla
Speeding up Static Probabilistic Timing Analysis. ARCS (2015)
Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. ECRTS (2014)
Hanbing Li, Isabelle Puaut, Erven Rohou
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. RTNS (2014)
André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut
A Formally Verified WCET Estimation Tool. WCET (2014)
Damien Hardy, Isabelle Puaut
Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. RTNS (2013)
Dumitru Potop-Butucaru, Isabelle Puaut
Integrated Worst-Case Execution Time Estimation of Multicore Applications. WCET (2013)
Benjamin Lesage, Isabelle Puaut, André Seznec
PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. RTNS (2012)
José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut
Preemption delay analysis for floating non-preemptive region scheduling. DATE (2012)
Brice Berna, Isabelle Puaut
PDPA: period driven task and cache partitioning algorithm for multi-core systems. RTNS (2012)
José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut
An improved preemption delay upper bound for floating non-preemptive region. SIES (2012)
Damien Hardy, Benjamin Lesage, Isabelle Puaut
Scalable Fixed-Point Free Instruction Cache Analysis. RTSS (2011)
Damien Hardy, Isabelle Puaut
WCET analysis of instruction cache hierarchies. J. Syst. Archit. 57 (7) (2011)
Adnan Bouakaz, Isabelle Puaut, Erven Rohou
Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Isabelle Puaut
Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009). Real Time Syst. 46 (1) (2010)
Benjamin Lesage, Damien Hardy, Isabelle Puaut
WCET Analysis of Multi-Level Set-Associative Data Caches. WCET (2009)
Damien Hardy, Thomas Piquet, Isabelle Puaut
Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. RTSS (2009)
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström
The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7 (3) (2008)
Damien Hardy, Isabelle Puaut
Predictable Code and Data Paging for Real Time Systems. ECRTS (2008)
Damien Hardy, Isabelle Puaut
WCET analysis of multi-level set-associative instruction caches CoRR (2008)
Damien Hardy, Isabelle Puaut
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. RTSS (2008)
Isabelle Puaut, Christophe Pais
Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison. DATE (2007)
Isabelle Puaut, Damien Hardy
Predictable Paging in Real-Time Systems: A Compiler Approach. ECRTS (2007)
Jean-François Deverge, Isabelle Puaut
WCET-Directed Dynamic Scratchpad Memory Allocation of Data. ECRTS (2007)
Isabelle Puaut
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. ECRTS (2006)
Jean-François Deverge, Isabelle Puaut
Safe measurement-based WCET estimation. WCET (2005)
François Bodin, Isabelle Puaut
A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. ECRTS (2005)
Antonio Martí Campoy, Isabelle Puaut, Angel Perles Ivars, José V. Busquets-Mataix
Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison. ECRTS (2005)
Laurent David, Isabelle Puaut
Static Determination of Probabilistic Execution Times. ECRTS (2004)
Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
Calcul de majorants de pire temps d'exécution : état de l'art. Tech. Sci. Informatiques 22 (5) (2003)
Mathieu Avila, Maxime Glaizot, Isabelle Puaut
Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. WCET (2003)
David Decotigny, Isabelle Puaut
ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Isabelle Puaut, David Decotigny
Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. RTSS (2002)
Isabelle Puaut
Real-Time Performance of Dynamic Memory Allocation Algorithms. ECRTS (2002)
Antoine Colin, Isabelle Puaut
A Modular & Retargetable Framework for Tree-Based WCET Analysis. ECRTS (2001)
Pascal Chevochot, Isabelle Puaut
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. DSN (2001)
Antoine Colin, Isabelle Puaut
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. ECRTS (2001)
Antoine Colin, Isabelle Puaut
Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real Time Syst. 18 (2/3) (2000)
Pascal Chevochot, Antoine Colin, David Decotigny, Isabelle Puaut
Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?. IPDPS Workshops (2000)
Pascal Chevochot, Isabelle Puaut
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. RTCSA (2000)
Pascal Chevochot, Isabelle Puaut
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. SRDS (1999)
Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut
A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications. ISORC (1999)
Pascal Chevochot, Isabelle Puaut
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. RTCSA (1999)
Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut
HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications. ICDCS (1998)
Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
Improving Reliability of Distributed VoD Servers. ICMCS (1997)
Christine Morin, Isabelle Puaut
A Survey of Recoverable Distributed Shared Virtual Memory Systems. IEEE Trans. Parallel Distributed Syst. 8 (9) (1997)
Gilbert Cabillic, Isabelle Puaut
Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. J. Parallel Distributed Comput. 40 (1) (1997)
Gilbert Cabillic, Isabelle Puaut
Dealing with Heterogeneity in Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. Euro-Par, Vol. I (1996)
Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
Ensuring High Availability of Distributed Multimedia Applications. ICMCS (1996)
Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
A proposal for Ensuring High Availability of Distributed Multimedia Applications. SRDS (1996)
Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
Isatis: A Customizable Distributed Object-Based Runtime System. OBPDC (1995)
Gilbert Cabillic, Gilles Muller, Isabelle Puaut
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS (1995)
Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. FTCS (1995)
Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System: Design, Implementation, and Performance. ICDCS (1995)
Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
Arche: A Framework for Parallel Object-Oriented Programming Above a Distributed Architecture. ICDCS (1994)
Valérie Issarny, Gilles Muller, Isabelle Puaut
Efficient Treatment of Failures in RPC Systems. SRDS (1994)
Isabelle Puaut
A Distributed Garbage Collector for Active Objects. OOPSLA (1994)
C. Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut
Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop (1994)
Isabelle Puaut
A Distributed Garbage Collector for Active Objects. PARLE (1994)
Isabelle Puaut
Distributed Garbage Collection of Active Objects with No Global Synchronisation. IWMM (1992)