default search action
Isabelle Puaut
Person information
- affiliation: IRISA Rennes
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c78]Abderaouf Nassim Amalou, Elisa Fromont, Isabelle Puaut:
Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers. CC 2024: 227-237 - [c77]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: 258-269 - [c76]Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou:
EarlyBird: Energy belongs to those who wake up early. RTCSA 2024: 1-10 - [c75]Hugo Reymond, Abderaouf Nassim Amalou, Isabelle Puaut:
WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors Using Explainable ML. WCET 2024: 1:1-1:14 - [c74]Isabelle Puaut:
Machine Learning for Timing Analysis: The Good, the Bad and the Ugly (Invited Talk). WCET 2024: 7:1-7:1 - 2023
- [c73]Abderaouf N. Amalou, Elisa Fromont, Isabelle Puaut:
CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers. ECRTS 2023: 7:1-7:20 - 2022
- [c72]Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut:
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. ECRTS 2022: 18:1-18:24 - [c71]Abderaouf N. Amalou, Élisa Fromont, Isabelle Puaut:
CATREEN: Context-Aware Code Timing Estimation with Stacked Recurrent Networks. ICTAI 2022: 571-576 - [c70]Valentin Pasquale, Isabelle Puaut:
Winston: Revisiting iterative compilation for WCET minimization. RTNS 2022: 151-161 - [c69]Théo Degioanni, Isabelle Puaut:
StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks. WCET 2022: 1:1-1:13 - 2021
- [c68]Abderaouf N. Amalou, Isabelle Puaut, Gilles Muller:
WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA 2021: 31-40 - 2020
- [c67]Nicolas Bellec, Simon Rokicki, Isabelle Puaut:
Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems. ECRTS 2020: 8:1-8:22
2010 – 2019
- 2019
- [j13]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): 521-533 (2019) - [j12]Isabelle Puaut:
Guest editorial: special issue on the Real-Time Systems Symposium 2017. Real Time Syst. 55(3): 639-640 (2019) - [j11]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): 810-849 (2019) - [c66]Renato Mancuso, Heechul Yun, Isabelle Puaut:
Impact of DM-LRU on WCET: A Static Analysis Approach. ECRTS 2019: 17:1-17:25 - [c65]Benjamin Rouxel, Stefanos Skalistis, Steven Derrien, Isabelle Puaut:
Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures. ECRTS 2019: 25:1-25:24 - [c64]Mickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien:
Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation. RTSS 2019: 133-145 - [c63]Martin Schoeberl, Benjamin Rouxel, Isabelle Puaut:
A time-predictable branch predictor. SAC 2019: 607-616 - 2018
- [c62]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: 925-930 - [c61]Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien:
Fine-Grain Iterative Compilation for WCET Estimation. WCET 2018: 9:1-9:12 - 2017
- [j10]Benjamin Rouxel, Steven Derrien, Isabelle Puaut:
Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures. ACM Trans. Embed. Comput. Syst. 16(5s): 164:1-164:20 (2017) - [c60]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: 286-289 - [c59]Viet Anh Nguyen, Damien Hardy, Isabelle Puaut:
Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors. ECRTS 2017: 14:1-14:22 - [c58]Sébastien Martinez, Damien Hardy, Isabelle Puaut:
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention. RTNS 2017: 188-197 - [c57]Benjamin Rouxel, Isabelle Puaut:
STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. WCET 2017: 1:1-1:12 - [c56]Damien Hardy, Benjamin Rouxel, Isabelle Puaut:
The Heptane Static Worst-Case Execution Time Estimation Tool. WCET 2017: 8:1-8:12 - [c55]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: 9:1-9:13 - 2016
- [j9]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): 2014-2018 (2016) - [c54]Damien Hardy, Isabelle Puaut, Yiannakis Sazeides:
Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. DATE 2016: 91-96 - [c53]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: 262-272 - 2015
- [j8]Damien Hardy, Isabelle Puaut:
Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. Real Time Syst. 51(2): 128-152 (2015) - [c52]Suzana Milutinovic, Jaume Abella, Damien Hardy, Eduardo Quiñones, Isabelle Puaut, Francisco J. Cazorla:
Speeding up Static Probabilistic Timing Analysis. ARCS 2015: 236-247 - [c51]Hanbing Li, Isabelle Puaut, Erven Rohou:
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. RTCSA 2015: 217-226 - 2014
- [c50]Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla:
On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. ECRTS 2014: 266-275 - [c49]Hanbing Li, Isabelle Puaut, Erven Rohou:
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. RTNS 2014: 97 - [c48]André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut:
A Formally Verified WCET Estimation Tool. WCET 2014: 11-20 - 2013
- [c47]Damien Hardy, Isabelle Puaut:
Static probabilistic worst case execution time estimation for architectures with faulty instruction caches. RTNS 2013: 35-44 - [c46]Dumitru Potop-Butucaru, Isabelle Puaut:
Integrated Worst-Case Execution Time Estimation of Multicore Applications. WCET 2013: 21-31 - 2012
- [c45]José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut:
Preemption delay analysis for floating non-preemptive region scheduling. DATE 2012: 497-502 - [c44]Benjamin Lesage, Isabelle Puaut, André Seznec:
PRETI: partitioned real-time shared cache for mixed-criticality real-time systems. RTNS 2012: 171-180 - [c43]Brice Berna, Isabelle Puaut:
PDPA: period driven task and cache partitioning algorithm for multi-core systems. RTNS 2012: 181-189 - [c42]José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut:
An improved preemption delay upper bound for floating non-preemptive region. SIES 2012: 57-66 - 2011
- [j7]Damien Hardy, Isabelle Puaut:
WCET analysis of instruction cache hierarchies. J. Syst. Archit. 57(7): 677-694 (2011) - [c41]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: 223-232 - [c40]Damien Hardy, Benjamin Lesage, Isabelle Puaut:
Scalable Fixed-Point Free Instruction Cache Analysis. RTSS 2011: 204-213 - 2010
- [j6]Isabelle Puaut:
Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009). Real Time Syst. 46(1): 1-2 (2010)
2000 – 2009
- 2009
- [c39]Damien Hardy, Thomas Piquet, Isabelle Puaut:
Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. RTSS 2009: 68-77 - [c38]Benjamin Lesage, Damien Hardy, Isabelle Puaut:
WCET Analysis of Multi-Level Set-Associative Data Caches. WCET 2009 - 2008
- [j5]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): 36:1-36:53 (2008) - [c37]Damien Hardy, Isabelle Puaut:
Predictable Code and Data Paging for Real Time Systems. ECRTS 2008: 266-275 - [c36]Damien Hardy, Isabelle Puaut:
WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches. RTSS 2008: 456-466 - [i1]Damien Hardy, Isabelle Puaut:
WCET analysis of multi-level set-associative instruction caches. CoRR abs/0807.0993 (2008) - 2007
- [c35]Isabelle Puaut, Christophe Pais:
Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison. DATE 2007: 1484-1489 - [c34]Isabelle Puaut, Damien Hardy:
Predictable Paging in Real-Time Systems: A Compiler Approach. ECRTS 2007: 169-178 - [c33]Jean-François Deverge, Isabelle Puaut:
WCET-Directed Dynamic Scratchpad Memory Allocation of Data. ECRTS 2007: 179-190 - 2006
- [c32]Isabelle Puaut:
WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. ECRTS 2006: 217-226 - 2005
- [c31]François Bodin, Isabelle Puaut:
A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. ECRTS 2005: 33-40 - [c30]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: 49-56 - [c29]Jean-François Deverge, Isabelle Puaut:
Safe measurement-based WCET estimation. WCET 2005 - 2004
- [c28]Laurent David, Isabelle Puaut:
Static Determination of Probabilistic Execution Times. ECRTS 2004: 223-230 - 2003
- [j4]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): 651-677 (2003) - [c27]Mathieu Avila, Maxime Glaizot, Isabelle Puaut:
Impact of Automatic Gain Time Identification on Tree-Based Static WCET Analysis. WCET 2003: 71-74 - 2002
- [c26]Isabelle Puaut:
Real-Time Performance of Dynamic Memory Allocation Algorithms. ECRTS 2002: 41-49 - [c25]David Decotigny, Isabelle Puaut:
ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 365-374 - [c24]Isabelle Puaut, David Decotigny:
Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. RTSS 2002: 114-123 - 2001
- [c23]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: 304-313 - [c22]Antoine Colin, Isabelle Puaut:
A Modular & Retargetable Framework for Tree-Based WCET Analysis. ECRTS 2001: 37-44 - [c21]Antoine Colin, Isabelle Puaut:
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. ECRTS 2001: 191-198 - 2000
- [j3]Antoine Colin, Isabelle Puaut:
Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real Time Syst. 18(2/3): 249-274 (2000) - [c20]Pascal Chevochot, Antoine Colin, David Decotigny, Isabelle Puaut:
Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?. IPDPS Workshops 2000: 699-705 - [c19]Pascal Chevochot, Isabelle Puaut:
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. RTCSA 2000: 355-362
1990 – 1999
- 1999
- [c18]Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut:
A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications. ISORC 1999: 310- - [c17]Pascal Chevochot, Isabelle Puaut:
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. RTCSA 1999: 356-363 - [c16]Pascal Chevochot, Isabelle Puaut:
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems. SRDS 1999: 292-293 - 1998
- [c15]Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut:
HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications. ICDCS 1998: 344-351 - 1997
- [j2]Gilbert Cabillic, Isabelle Puaut:
Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. J. Parallel Distributed Comput. 40(1): 65-80 (1997) - [j1]Christine Morin, Isabelle Puaut:
A Survey of Recoverable Distributed Shared Virtual Memory Systems. IEEE Trans. Parallel Distributed Syst. 8(9): 959-969 (1997) - [c14]Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre:
Improving Reliability of Distributed VoD Servers. ICMCS 1997: 253-260 - 1996
- [c13]Gilbert Cabillic, Isabelle Puaut:
Dealing with Heterogeneity in Stardust: An Environment for Parallel Programming on Networks of Heterogeneous Workstations. Euro-Par, Vol. I 1996: 114-119 - [c12]Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre:
Ensuring High Availability of Distributed Multimedia Applications. ICMCS 1996: 566-571 - [c11]Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre:
A proposal for Ensuring High Availability of Distributed Multimedia Applications. SRDS 1996: 220-227 - 1995
- [c10]Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut:
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. FTCS 1995: 289-298 - [c9]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: 279-286 - [c8]Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau:
Isatis: A Customizable Distributed Object-Based Runtime System. OBPDC 1995: 219-237 - [c7]Gilbert Cabillic, Gilles Muller, Isabelle Puaut:
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS 1995: 96-105 - 1994
- [c6]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: 510-517 - [c5]Isabelle Puaut:
A Distributed Garbage Collector for Active Objects. OOPSLA 1994: 113-128 - [c4]Isabelle Puaut:
A Distributed Garbage Collector for Active Objects. PARLE 1994: 539-552 - [c3]Ciarán Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut:
Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop 1994: 57-61 - [c2]Valérie Issarny, Gilles Muller, Isabelle Puaut:
Efficient Treatment of Failures in RPC Systems. SRDS 1994: 170-180 - 1992
- [c1]Isabelle Puaut:
Distributed Garbage Collection of Active Objects with No Global Synchronisation. IWMM 1992: 148-164
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint