Isabelle Puaut

80
Documents

Publications

Publications

Image document

Automatic Extraction of Timing Models for WCET Estimation From a High-Level Synthesis Flow

Thomas Feuilletin , Dylan Leothaud , Simon Rokicki , Steven Derrien , Isabelle Puaut
DATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy
Communication dans un congrès hal-05365718 v1
Image document

Area Efficient Speculative Loop Pipelining for High-Level Synthesis

Dylan Leothaud , Simon Rokicki , Steven Derrien , Isabelle Puaut
DATE 2026 - Design, Automation and Test in Europe Conference, Apr 2026, Verona, Italy
Communication dans un congrès hal-05365717 v1
Image document

Marmot: Extraction of Fine-Grain Memory Access Profiles for real-time software

Hector Chabot , Isabelle Puaut , Thomas Carle , Hugues Cassé
RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems, Nov 2024, Porto, Portugal. pp.117-141, ⟨10.1145/3696355.3696360⟩
Communication dans un congrès hal-04782265 v1
Image document

Nothing is Unreachable: Automated Synthesis of Robust Code-Reuse Gadget Chains for Arbitrary Exploitation Primitives

Nicolas Bailluet , Emmanuel Fleury , Isabelle Puaut , Erven Rohou
USENIX Security 2025 - 34th USENIX Security Symposium, Aug 2025, Seattle, WA, United States. pp.1-18
Communication dans un congrès hal-05193528 v1
Image document

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.
DSD 2025 - 28th Euromicro Conference on Digital System Design, Sep 2025, Salerno, Italy. pp.1-10, ⟨10.1109/DSD67783.2025.00091⟩
Communication dans un congrès hal-05340384 v1
Image document

EarlyBird: Energy belongs to those who wake up early

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.
RTCSA 2024 - 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2024, Sokcho, South Korea. pp.1-10, ⟨10.1109/RTCSA62462.2024.00011⟩
Communication dans un congrès hal-04663862 v1
Image document

WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors using Explainable ML

Hugo Reymond , Abderaouf Nassim Amalou , Isabelle Puaut
WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Thomas Carle, Jul 2024, Lille, France. pp.1:1-1:14, ⟨10.4230/OASIcs.WCET.2024.1⟩
Communication dans un congrès hal-04646477 v1
Image document

Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers

Abderaouf Nassim Amalou , Elisa Fromont , Isabelle Puaut
CC 2024 - ACM SIGPLAN 33rd International Conference on Compiler Construction, Gabriel Rodríguez, Mar 2024, Edimbourg, United Kingdom. pp.227-237, ⟨10.1145/3640537.3641572⟩
Communication dans un congrès hal-04406073 v2
Image document

SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.
IEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Mar 2024, Edinburgh, United Kingdom. pp.258-269, ⟨10.1109/CGO57630.2024.10444789⟩
Communication dans un congrès hal-04345348 v2
Image document

CATREEN : Context-Aware Code Timing Estimation with Stacked Recurrent Networks

Abderaouf Amalou , Elisa Fromont , Isabelle Puaut
ICTAI 2022 - 34th IEEE International Conference on Tools with Artificial Intelligence, Oct 2022, Virtually, China. pp.1-6, ⟨10.1109/ICTAI56018.2022.00090⟩
Communication dans un congrès hal-03890057 v2
Image document

CAWET: Context-Aware Worst-Case Execution Time Estimation Using Transformers

Abderaouf N Amalou , Elisa Fromont , Isabelle Puaut
ECRTS 2023 - 35th Euromicro Conference on Real-Time Systems, Jul 2023, Vienne, Austria. pp.7:1--7:20, ⟨10.4230/LIPIcs.ECRTS.2023.7⟩
Communication dans un congrès hal-04148587 v1
Image document

StAMP: Static Analysis of Memory access Profiles for real-time tasks

Théo Degioanni , Isabelle Puaut
WCET 2022 - 20th International Workshop on Worst-Case Execution Time Analysis, Jul 2022, Modena, Italy. ⟨10.4230/OASIcs.WCET.2022.1⟩
Communication dans un congrès hal-03723457 v1
Image document

Winston: Revisiting iterative compilation for WCET minimization

Valentin Pasquale , Isabelle Puaut
RTNS 2022 - 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris, France. pp.1-11, ⟨10.1145/3534879.3534899⟩
Communication dans un congrès hal-03673668 v1
Image document

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

Nicolas Bellec , Guillaume Hiet , Simon Rokicki , Frédéric Tronel , Isabelle Puaut
ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩
Communication dans un congrès hal-03641576 v1
Image document

WE-HML: hybrid WCET estimation using machine learning for architectures with caches

Abderaouf Nassim Amalou , Isabelle Puaut , Gilles Muller
RTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10
Communication dans un congrès hal-03280177 v1
Image document

Attack detection through monitoring of timing deviations in embedded real-time systems

Nicolas Bellec , Simon Rokicki , Isabelle Puaut
ECRTS 2020 - 32nd Euromicro Conference on Real-Time Systems, Jul 2020, Modena, Italy. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2020.8⟩
Communication dans un congrès hal-02559549 v1
Image document

Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation

Mickaël Dardaillon , Stefanos Skalistis , Isabelle Puaut , Steven Derrien
RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong Kong, China. pp.1-13
Communication dans un congrès hal-02286164 v1
Image document

Impact of DM-LRU on WCET: A Static Analysis Approach

Renato Mancuso , Heechul Yun , Isabelle Puaut
ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-25, ⟨10.4230/LIPIcs.ECRTS.2019.17⟩
Communication dans un congrès hal-02190255 v1
Image document

Hiding Communication Delays in Contention-Free Execution for SPM-Based Multi-Core Architectures

Benjamin Rouxel , Stefanos Skalistis , Steven Derrien , Isabelle Puaut
ECRTS 2019 - 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2019.25⟩
Communication dans un congrès hal-02190271 v1
Image document

A Time-predictable Branch Predictor

Martin Schoeberl , Benjamin Rouxel , Isabelle Puaut
SAC 2019 - 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-10, ⟨10.1145/3297280.3297337⟩
Communication dans un congrès hal-01976187 v1
Image document

Fine-Grain Iterative Compilation for WCET Estimation

Isabelle Puaut , Mickaël Dardaillon , Christoph Cullmann , Gernot Gebhard , Steven Derrien
WCET 2018 - 18th International Workshop on Worst-Case Execution Time Analysis, Jul 2018, Barcelona, Spain. pp.1-12, ⟨10.4230/OASIcs.WCET.2018.9⟩
Communication dans un congrès hal-01889944 v1
Image document

Using Polyhedral Techniques to Tighten WCET Estimates of Optimized Code: A Case Study with Array Contraction

Thomas Lefeuvre , Emin Koray Kasnakli , Imen Fassi , Isabelle Puaut , Christoph Cullmann et al.
DATE 2018 - Design Automation and Test Europe, Mar 2018, Dresden, Germany. pp.925-930, ⟨10.23919/DATE.2018.8342142⟩
Communication dans un congrès hal-01815499 v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès hal-01590442 v1
Image document

Tightening contention delays while scheduling parallel applications on multi-core architectures

Benjamin Rouxel , Steven Derrien , Isabelle Puaut
International Conference on Embedded Software (EMSOFT), 2017, Oct 2017, Seoul, South Korea. pp.20, ⟨10.1145/3126496⟩
Communication dans un congrès hal-01590508 v1
Image document

The Heptane Static Worst-Case Execution Time Estimation Tool

Damien Hardy , Benjamin Rouxel , Isabelle Puaut
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.12, ⟨10.4230/OASIcs.WCET.2017.8⟩
Communication dans un congrès hal-01590444 v1
Image document

STR2RTS: Refactored StreamIT benchmarks into statically analyzable parallel benchmarks for WCET estimation & real-time scheduling

Benjamin Rouxel , Isabelle Puaut
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/OASIcs.WCET.2017.1⟩
Communication dans un congrès hal-01590446 v1
Image document

WCET-aware parallelization of model-based applications for multi-cores: The ARGO approach

Steven Derrien , Isabelle Puaut , Panayiotis Alefragis , Marcus Bednara , Harald Bucher et al.
Design Automation and Test in Europe (DATE), 2017, Mar 2017, Lausanne, Switzerland. pp.286 - 289, ⟨10.23919/DATE.2017.7927000⟩
Communication dans un congrès hal-01590418 v1
Image document

Cache-conscious offline real-time task scheduling for multi-core processors

Viet Anh Anh Nguyen , Damien Hardy , Isabelle Puaut
29th Euromicro Conference on Real-Time Systems (ECRTS17), Jun 2017, Dubrovnik, Croatia. ⟨10.4230/LIPIcs.ECRTS.2017.14⟩
Communication dans un congrès hal-01590421 v1
Image document

Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention

Sebastien Martinez , Damien Hardy , Isabelle Puaut
International Conference on Real-Time Networks and Systems (RTNS), 2017, Oct 2017, Grenoble, France. ⟨10.1145/3139258.3139263⟩
Communication dans un congrès hal-01590532 v1
Image document

Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults

Damien Hardy , Isabelle Puaut , Yiannakis Sazeides
Design, Automation and Test in Europe, Mar 2016, Dresden, Germany
Communication dans un congrès hal-01259493 v1
Image document

When the worst-case execution time estimation gains from the application semantics

Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz et al.
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Communication dans un congrès hal-01235781 v1

Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems

Syed Aftab Rashid , Geoffrey Nelissen , Damien Hardy , Benny Akesson , Isabelle Puaut et al.
28th Euromicro Conference on Real-Time Systems (ECRTS), Jul 2016, Toulouse, France. ⟨10.1109/ECRTS.2016.25⟩
Communication dans un congrès hal-01393220 v1
Image document

Scheduling of parallel applications on many-core architectures with caches: bridging the gap between WCET analysis and schedulability analysis

Viet Anh Nguyen , Damien Hardy , Isabelle Puaut
9th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2015), Nov 2015, Lille, France
Communication dans un congrès hal-01236191 v1
Image document

Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization

Hanbing Li , Isabelle Puaut , Erven Rohou
21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2015, Hong-Kong, China. pp.10
Communication dans un congrès hal-01177902 v1

Speeding up Static Probabilistic Timing Analysis

Milutinovic Suzana , Jaume Abella , Damien Hardy , Eduardo Quinones , Isabelle Puaut et al.
ARCS 2015 - International Conference on Architecture of Computing Systems, Mar 2015, Porto, Portugal. pp.236-247, ⟨10.1007/978-3-319-16086-3_19⟩
Communication dans un congrès hal-01235544 v1

On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques

Jaume Abella , Damien Hardy , Isabelle Puaut , Eduardo Quinones , Francisco J. Cazorla
26th Euromicro Conference on Real-Time Systems, Jul 2014, Madrid, Spain
Communication dans un congrès hal-01086875 v1
Image document

Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation

Hanbing Li , Isabelle Puaut , Erven Rohou
RTNS - 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659805⟩
Communication dans un congrès hal-01072138 v1

A Formally Verified WCET Estimation Tool

André Oliveira Maroneze , Sandrine Blazy , David Pichardie , Isabelle Puaut
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. ⟨10.4230/OASIcs.WCET.2014.11⟩
Communication dans un congrès hal-01087194 v1

Static probabilistic Worst Case Execution Time Estimation for architectures with Faulty Instruction Caches

Damien Hardy , Isabelle Puaut
21st International Conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. ⟨10.1145/2516821.2516842⟩
Communication dans un congrès hal-00862604 v1

Integrated Worst-Case Execution Time Estimation of Multicore Applications

Dumitru Potop-Butucaru , Isabelle Puaut
13th International Workshop on Worst-Case Execution Time Analysis, Jul 2013, Paris, France. pp.21-31, ⟨10.4230/OASIcs.WCET.2013.i⟩
Communication dans un congrès hal-00909330 v1
Image document

PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.

Benjamin Lesage , Isabelle Puaut , André Seznec
RTNS - 20th International Conference on Real-Time and Network Systems - 2012, Nov 2012, Pont à Mousson, France. pp.10
Communication dans un congrès hal-00661687 v1

An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Jun 2012, Karlsruhe, Germany
Communication dans un congrès hal-00737580 v1

PDPA: Period Driven Task and Cache Partitioning Algorithm for Mumti-core Systems

Brice Berna , Isabelle Puaut
20th International Conference on Real-Time and Network Systems (RTNS 2012), Nov 2012, Pont à Mousson, France
Communication dans un congrès hal-00737591 v1

Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut
Design, Automation and Test in Europe 2012 (DATE 2012), Mar 2012, Dresden, Germany. pp.497-502
Communication dans un congrès hal-00737577 v1
Image document

Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation

Adnan Bouakaz , Isabelle Puaut , Erven Rohou
The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Marco Caccamo, Apr 2011, Chicago, United States
Communication dans un congrès inria-00589690 v1
Image document

Scalable Fixed-Point Free Instruction Cache Analysis

Damien Hardy , Benjamin Lesage , Isabelle Puaut
The 32nd IEEE Real-Time Systems Symposium (RTSS 2011), Nov 2011, Vienne, Austria
Communication dans un congrès inria-00638698 v1
Image document

Shared Data Caches Conflicts Reduction for WCET Computation in Multi-Core Architectures.

Benjamin Lesage , Damien Hardy , Isabelle Puaut
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.2283
Communication dans un congrès inria-00531214 v1
Image document

Estimation of Cache Related Migration Delays for Multi-Core Processors with Shared Instruction Caches

Damien Hardy , Isabelle Puaut
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.45-54
Communication dans un congrès inria-00441959 v1
Image document

WCET ANALYSIS OF MULTI-LEVEL SET-ASSOCIATIVE DATA CACHES

Benjamin Lesage , Damien Hardy , Isabelle Puaut
9th Intl. Workshop on Worst-Case Execution Time WCET Analysis, Jun 2009, Dublin, Ireland. pp.2283
Communication dans un congrès inria-00531218 v1

A Recoverable Distributed Shared Memory integrating Coherence and Recoverability

Anne-Marie Kermarrec , Gilbert Cabillic , Alain Gefflaut , Christine Morin , Isabelle Puaut
Proceedings of the 25th International Symposium on Fault Tolerant Computer Systems, 1995, Pasadena, CA, USA, United States. pp.289--298
Communication dans un congrès hal-01271171 v1
Image document

Using machine learning for timing analysis: where do we stand?

Abderaouf Nassim Amalou , Isabelle Puaut
Real-Time Systems, 2025, 61 (2), pp.300-305. ⟨10.1007/s11241-025-09442-y⟩
Article dans une revue hal-05092607 v1
Image document

Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications

Simon Reder , Fabian Kempf , Harald Bucher , Jurgen Becker , Panayiotis Alefragis et al.
Journal of Aerospace Information Systems, 2019, 16 (11), pp.521-533. ⟨10.2514/1.I010749⟩
Article dans une revue hal-02383381 v1
Image document

Cache-conscious Off-Line Real-Time Scheduling for Multi-Core Platforms: Algorithms and Implementation

Viet Anh Nguyen , Damien Hardy , Isabelle Puaut
Real-Time Systems, In press, pp.1-37. ⟨10.4230/LIPIcs.ECRTS.2017.14⟩
Article dans une revue hal-02044110 v1
Image document

Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures

Benjamin Rouxel , Steven Derrien , Isabelle Puaut
ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.1 - 20. ⟨10.1145/3126496⟩
Article dans une revue hal-01655383 v1

Static Probabilistic Worst Case Execution Time Estimation for Architectures with Faulty Instruction Caches

Damien Hardy , Isabelle Puaut
Real-Time Systems, 2015, 51, pp.25. ⟨10.1007/s11241-014-9212-x⟩
Article dans une revue hal-01086884 v1

WCET analysis of instruction cache hierarchies

Damien Hardy , Isabelle Puaut
Journal of Systems Architecture, 2011, 57 (7), ⟨10.1016/j.sysarc.2010.08.007⟩
Article dans une revue istex hal-00639454 v1

Guest editorial: special issue of the Euromicro Conference on Real-Time Systems (ECRTS 2009)

Isabelle Puaut
Real-Time Systems, 2010, 46 (1), pp.1-2. ⟨10.1007/s11241-010-9099-0⟩
Article dans une revue inria-00589341 v1

Méthodes d'analyse statique de pire temps d'exécution de programmes

Isabelle Puaut , Alexis Arnaud
Interstices, 2005
Article dans une revue inria-00000958 v1

A Survey of Recoverable Distributed Shared Memory Systems

Christine Morin , Isabelle Puaut
IEEE Transactions on Parallel and Distributed Systems, 1997, 8 (9), pp.959--969
Article dans une revue hal-01271118 v1
Image document

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.
ACACES 2025 - 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2025, Salerno, Italy. 2025
Poster de conférence hal-05340610 v1
Image document

Machine learning for timing estimation

Abderaouf Nassim Amalou , Elisa Fromont , Isabelle Puaut
D3 - Architecture séminaire: PhD days / Journées doctorants – 2022, Nov 2022, Rennes, France
Poster de conférence hal-04260161 v1
Image document

Memory Allocation in Intermittent Computing

Hugo Reymond , Isabelle Puaut , Erven Rohou , Sébastien Faucou , Jean-Luc Béchennec et al.
COMPAS'2022, Jul 2022, Amiens, France
Poster de conférence hal-04385204 v1
Image document

The INRIA ZEP project: NVRAM and Harvesting for Zero Power Computations

Gautier Berthou , Arnaud Carer , Kevin Marquet , Ivan Miro-Panades , Davide Pala et al.
NVMW 2018 - 10th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1
Poster de conférence hal-01941766 v1
Image document

Machine Learning for Timing Analysis: The Good, the Bad and the Ugly

Isabelle Puaut
Thomas Carle. WCET 2024 - 22nd International Workshop on Worst-Case Execution Time Analysis, Jul 2024, Lille, France. Open Access Series in Informatics (OASIcs), Open Access Series in Informatics (OASIcs), pp.1-1, 2024, Workshop on Worst-Case Execution Time Analysis (WCET). ⟨10.4230/OASIcs.WCET.2024.7⟩
Document associé à des manifestations scientifiques hal-04672502 v1
Image document

Integrated Worst-Case Response Time Evaluation of Multicore Non-Preemptive Applications

Dumitru Potop-Butucaru , Isabelle Puaut
[Research Report] RR-8234, INRIA. 2013
Rapport (rapport de recherche) hal-00787931 v1
Image document

Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling

José Marinho , Vincent Nélis , Stefan M. Petters , Isabelle Puaut
2011
Rapport hal-00649039 v1
Image document

Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches

Damien Hardy , Thomas Piquet , Isabelle Puaut
[Research Report] RR-6907, INRIA. 2009
Rapport (rapport de recherche) inria-00380298 v1
Image document

WCET analysis of multi-level set-associative instruction caches

Damien Hardy , Isabelle Puaut
[Research Report] RR-6574, INRIA. 2008
Rapport (rapport de recherche) inria-00286358 v2
Image document

Scratchpad memories vs locked caches in hard real-time systems: a qualitative and quantitative comparison

Isabelle Puaut , Christophe Pais
[Research Report] PI 1818, 2006, pp.22
Rapport (rapport de recherche) inria-00105010 v1
Image document

Performance Evaluation of Clock Synchronization Algorithms

Emmanuelle Anceaume , Isabelle Puaut
[Research Report] RR-3526, INRIA. 1998
Rapport (rapport de recherche) inria-00073159 v1
Image document

A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications

Emmanuelle Anceaume , Gilbert Cabillic , Pascal Chevochot , Isabelle Puaut
[Research Report] RR-3564, INRIA. 1998
Rapport (rapport de recherche) inria-00073119 v1
Image document

Hades: A Middleware Support for Distributed Safety-Critical Real-Time Applications

Emmanuelle Anceaume , Gilbert Cabillic , Pascal Chevochot , Isabelle Puaut
[Research Report] RR-3280, INRIA. 1997
Rapport (rapport de recherche) inria-00073408 v1

A survey of recoverable distributed shared memory systems

Christine Morin , Isabelle Puaut
[Research Report] PI-975, IRISA. 1995
Rapport (rapport de recherche) hal-01276681 v1
Image document

A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

Anne-Marie Kermarrec , Gilbert Cabillic , Alain Gefflaut , Christine Morin , Isabelle Puaut
[Research Report] RR-2481, INRIA. 1995
Rapport (rapport de recherche) inria-00074193 v1
Image document

MYOAN : an implementation of the KOAN shared virtual memory on the Intel paragon

Gilbert Cabillic , Thierry Priol , Isabelle Puaut
[Research Report] RR-2258, INRIA. 1994
Rapport (rapport de recherche) inria-00074413 v1
Image document

A distributed garbage collector for active objects

Isabelle Puaut
[Research Report] RR-2134, INRIA. 1993
Rapport (rapport de recherche) inria-00074538 v1
Image document

Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07)

Isabelle Puaut , Nicolas Navet , Françoise Simonot-Lion
Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4
Ouvrages inria-00168530 v1