Isabelle Puaut

96 papers A* 1A 17B 29C 2Misc 8Journal 15Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Circadia: Checkpointing for Intermittent Computing in AI Driven Applications. DSD Matthieu Rodet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2025	A*	`conf`	Nothing is Unreachable: Automated Synthesis of Robust Code-Reuse Gadget Chains for Arbitrary Exploitation Primitives. USENIX Security Symposium Nicolas Bailluet, Emmanuel Fleury, Isabelle Puaut, Erven Rohou
2025	J	`jnl`	Using machine learning for timing analysis: where do we stand? Real Time Syst. Abderaouf Nassim Amalou, Isabelle Puaut
2024	B	`conf`	EarlyBird: Energy belongs to those who wake up early. RTCSA Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2024	B	`conf`	Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers. CC Abderaouf Nassim Amalou, Elisa Fromont, Isabelle Puaut
2024	—	`conf`	Machine Learning for Timing Analysis: The Good, the Bad and the Ugly (Invited Talk). WCET Isabelle Puaut
2024	Misc	`conf`	Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software. RTNS Hector Chabot, Isabelle Puaut, Thomas Carle, Hugues Cassé
2024	A	`conf`	SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. CGO Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2024	—	`conf`	WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors Using Explainable ML. WCET Hugo Reymond, Abderaouf Nassim Amalou, Isabelle Puaut
2023	B	`conf`	CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers. ECRTS Abderaouf N. Amalou, Elisa Fromont, Isabelle Puaut
2022	B	`conf`	CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks. ICTAI Abderaouf N. Amalou, Élisa Fromont, Isabelle Puaut
2022	B	`conf`	RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. ECRTS Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut
2022	—	`conf`	StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks. WCET Théo Degioanni, Isabelle Puaut
2022	Misc	`conf`	Winston: Revisiting iterative compilation for WCET minimization. RTNS Valentin Pasquale, Isabelle Puaut
2021	B	`conf`	WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller
2020	B	`conf`	Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems. ECRTS Nicolas Bellec, Simon Rokicki, Isabelle Puaut
2019	Misc	`conf`	A time-predictable branch predictor. SAC Martin Schoeberl, Benjamin Rouxel, Isabelle Puaut
2019	J	`jnl`	Cache-conscious off-line real-time scheduling for multi-core platforms: algorithms and implementation. Real Time Syst. Viet Anh Nguyen, Damien Hardy, Isabelle Puaut
2019	J	`jnl`	Guest editorial: special issue on the Real-Time Systems Symposium 2017. Real Time Syst. Isabelle Puaut
2019	B	`conf`	Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures. ECRTS Benjamin Rouxel, Stefanos Skalistis, Steven Derrien, Isabelle Puaut
2019	B	`conf`	Impact of DM-LRU on WCET: A Static Analysis Approach. ECRTS Renato Mancuso, Heechul Yun, Isabelle Puaut
2019	A	`conf`	Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation. RTSS Mickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien
2019	J	`jnl`	Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications. J. Aerosp. Inf. Syst. 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
2018	—	`conf`	Fine-Grain Iterative Compilation for WCET Estimation. WCET Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien
2018	A	`conf`	Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction. DATE Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien
2017	B	`conf`	Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors. ECRTS Viet Anh Nguyen, Damien Hardy, Isabelle Puaut
2017	Misc	`conf`	Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention. RTNS Sébastien Martinez, Damien Hardy, Isabelle Puaut
2017	—	`conf`	STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. WCET Benjamin Rouxel, Isabelle Puaut
2017	—	`conf`	The Heptane Static Worst-Case Execution Time Estimation Tool. WCET Damien Hardy, Benjamin Rouxel, Isabelle Puaut
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
2017	J	`jnl`	Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures. ACM Trans. Embed. Comput. Syst. Benjamin Rouxel, Steven Derrien, Isabelle Puaut
2017	A	`conf`	WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach. DATE 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
2016	B	`conf`	Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems. ECRTS Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Akesson, Isabelle Puaut, Eduardo Tovar
2016	A	`conf`	Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. DATE Damien Hardy, Isabelle Puaut, Yiannakis Sazeides
2016	J	`jnl`	State of the Journal. IEEE Trans. Computers 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
2015	—	`conf`	Speeding up Static Probabilistic Timing Analysis. ARCS Suzana Milutinovic, Jaume Abella, Damien Hardy, Eduardo Quiñones, Isabelle Puaut, Francisco J. Cazorla
2015	J	`jnl`	Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. Real Time Syst. Damien Hardy, Isabelle Puaut
2015	B	`conf`	Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. RTCSA Hanbing Li, Isabelle Puaut, Erven Rohou
2014	—	`conf`	A Formally Verified WCET Estimation Tool. WCET André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut
2014	B	`conf`	On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. ECRTS Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla
2014	Misc	`conf`	Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. RTNS Hanbing Li, Isabelle Puaut, Erven Rohou
2013	—	`conf`	Integrated Worst-Case Execution Time Estimation of Multicore Applications. WCET Dumitru Potop-Butucaru, Isabelle Puaut
2013	Misc	`conf`	Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. RTNS Damien Hardy, Isabelle Puaut
2012	—	`conf`	An improved preemption delay upper bound for floating non-preemptive region. SIES José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut
2012	Misc	`conf`	PDPA: period driven task and cache partitioning algorithm for multi-core systems. RTNS Brice Berna, Isabelle Puaut
2012	Misc	`conf`	PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. RTNS Benjamin Lesage, Isabelle Puaut, André Seznec
2012	A	`conf`	Preemption delay analysis for floating non-preemptive region scheduling. DATE José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut
2011	A	`conf`	Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation. IEEE Real-Time and Embedded Technology and Applications Symposium Adnan Bouakaz, Isabelle Puaut, Erven Rohou
2011	A	`conf`	Scalable Fixed-Point Free Instruction Cache Analysis. RTSS Damien Hardy, Benjamin Lesage, Isabelle Puaut
2011	J	`jnl`	WCET analysis of instruction cache hierarchies. J. Syst. Archit. Damien Hardy, Isabelle Puaut
2010	J	`jnl`	Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009). Real Time Syst. Isabelle Puaut
2009	A	`conf`	Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. RTSS Damien Hardy, Thomas Piquet, Isabelle Puaut
2009	—	`conf`	WCET Analysis of Multi-Level Set-Associative Data Caches. WCET Benjamin Lesage, Damien Hardy, Isabelle Puaut
2008	B	`conf`	Predictable Code and Data Paging for Real Time Systems. ECRTS Damien Hardy, Isabelle Puaut
2008	J	`jnl`	The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 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
2008	A	`conf`	WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. RTSS Damien Hardy, Isabelle Puaut
2008	J	`jnl`	WCET analysis of multi-level set-associative instruction caches CoRR Damien Hardy, Isabelle Puaut
2007	B	`conf`	Predictable Paging in Real-Time Systems: A Compiler Approach. ECRTS Isabelle Puaut, Damien Hardy
2007	A	`conf`	Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison. DATE Isabelle Puaut, Christophe Pais
2007	B	`conf`	WCET-Directed Dynamic Scratchpad Memory Allocation of Data. ECRTS Jean-François Deverge, Isabelle Puaut
2006	B	`conf`	WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. ECRTS Isabelle Puaut
2005	B	`conf`	A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. ECRTS François Bodin, Isabelle Puaut
2005	B	`conf`	Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison. ECRTS Antonio Martí Campoy, Isabelle Puaut, Ángel Perles-Ivars, José V. Busquets-Mataix
2005	—	`conf`	Safe measurement-based WCET estimation. WCET Jean-François Deverge, Isabelle Puaut
2004	B	`conf`	Static Determination of Probabilistic Execution Times. ECRTS Laurent David, Isabelle Puaut
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	—	`conf`	Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. WCET Mathieu Avila, Maxime Glaizot, Isabelle Puaut
2002	—	`conf`	ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing David Decotigny, Isabelle Puaut
2002	A	`conf`	Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. RTSS Isabelle Puaut, David Decotigny
2002	B	`conf`	Real-Time Performance of Dynamic Memory Allocation Algorithms. ECRTS Isabelle Puaut
2001	B	`conf`	A Modular & Retargetable Framework for Tree-Based WCET Analysis. ECRTS Antoine Colin, Isabelle Puaut
2001	A	`conf`	Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. DSN Pascal Chevochot, Isabelle Puaut
2001	B	`conf`	Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. ECRTS Antoine Colin, Isabelle Puaut
2000	—	`conf`	Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?. IPDPS Workshops Pascal Chevochot, Antoine Colin, David Decotigny, Isabelle Puaut
2000	B	`conf`	Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. RTCSA Pascal Chevochot, Isabelle Puaut
2000	J	`jnl`	Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real Time Syst. Antoine Colin, Isabelle Puaut
1999	C	`conf`	A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications. ISORC Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut
1999	B	`conf`	An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. SRDS Pascal Chevochot, Isabelle Puaut
1999	B	`conf`	Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. RTCSA Pascal Chevochot, Isabelle Puaut
1998	A	`conf`	HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications. ICDCS Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut
1997	J	`jnl`	A Survey of Recoverable Distributed Shared Virtual Memory Systems. IEEE Trans. Parallel Distributed Syst. Christine Morin, Isabelle Puaut
1997	—	`conf`	Improving Reliability of Distributed VoD Servers. ICMCS Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
1997	J	`jnl`	Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. J. Parallel Distributed Comput. Gilbert Cabillic, Isabelle Puaut
1996	B	`conf`	A proposal for Ensuring High Availability of Distributed Multimedia Applications. SRDS Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
1996	—	`conf`	Dealing with Heterogeneity in Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. Euro-Par, Vol. I Gilbert Cabillic, Isabelle Puaut
1996	—	`conf`	Ensuring High Availability of Distributed Multimedia Applications. ICMCS Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre
1995	—	`conf`	A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. FTCS Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut
1995	A	`conf`	Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System: Design, Implementation, and Performance. ICDCS Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
1995	—	`conf`	Isatis: A Customizable Distributed Object-Based Runtime System. OBPDC Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
1995	B	`conf`	The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS Gilbert Cabillic, Gilles Muller, Isabelle Puaut
1994	A	`conf`	A Distributed Garbage Collector for Active Objects. OOPSLA Isabelle Puaut
1994	—	`conf`	A Distributed Garbage Collector for Active Objects. PARLE Isabelle Puaut
1994	A	`conf`	Arche: A Framework for Parallel Object-Oriented Programming Above a Distributed Architecture. ICDCS Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau
1994	B	`conf`	Efficient Treatment of Failures in RPC Systems. SRDS Valérie Issarny, Gilles Muller, Isabelle Puaut
1994	—	`conf`	Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop Ciarán Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut
1992	—	`conf`	Distributed Garbage Collection of Active Objects with No Global Synchronisation. IWMM Isabelle Puaut