Publications of Isabelle Puaut

Academic Journals

  • Benjamin Rouxel, Steven Derrien, Isabelle Puaut. Tightening contention delays while scheduling parallel applications on multi-core architectures. ACM Transactions on Embedded Computing Systems. To appear.
  • Damien Hardy, Isabelle Puaut. Static Probabilistic Worst-Case Execution Time Estimation for Architectures with Faulty Instruction Caches. Real-Time Systems Journal. 2015.
  • Damien Hardy, Isabelle Puaut. WCET analysis of instruction cache hierarchies. Journal of Systems Architecture, volume 57, issue 7, pages 677-694, August 2011. Preliminary version (research report, pdf, final version).
  • 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. Embedded Comput. Syst, 7(3), 2008.
  • Antoine Colin, Isabelle Puaut, Chtistine Rochange, Pascal Sainrat. Calcul de majorants de pire temps d’exécution : état de l’art. Techniques et Sciences Informatiques (TSI), 22(5):651-677, 2003.
  • Antoine Colin, Isabelle Puaut. Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real-Time Systems, Special issue on worst-case execution time analysis, 18(2):249-274, April 2000. ps
  • Pascal Chevochot, Isabelle Puaut. Tolérance aux fautes dans les systèmes répartis temps-réel strict. Techniques et Sciences Informatiques (TSI), 18(8):837-870, October 1999.
  • Christine Morin, Isabelle Puaut. A Survey of Recoverable Distributed Shared Memory Systems. IEEE Transactions on Parallel and Distributed Systems, 8(9):959-969, September 1997. ps
  • Gilbert Cabillic, Isabelle Puaut. Stardust: an Environment for Parallel Programming on Networks of Heterogeneous Workstations. Journal of Parallel and Distributed Computing, 40(1):65-80, January 1997. ps

Book Chapters

  • Gilbert Cabillic, Isabelle Puaut. Répartition de charge dans Stardust: un environnement pour l’exécution d’applications parallèles en milieu hétérogène. In Actes de l’école d’été placement dynamique et répartition de charge, Collection didactique INRIA, 1997.
  • Valérie Issarny, Isabelle Puaut. Equilibrage de charge dans les systèmes d’exécution répartis à objets : expérience avec le système Isatis. In Actes de l’école d’été placement dynamique et répartition de charge, Collection didactique INRIA, 1997.
  • Isabelle Puaut, Bruno Rochat. Gestion de la mémoire virtuelle dans Gothic. In Les systèmes distribués : l’expérience du projet Gothic, Chap. 5, pp. 109-146, InterEditions, 1991.

International Conferences and workshops

  • Benjamin Rouxel, Steven Derrien, Isabelle Puaut. Tightening contention delays while scheduling parallel applications on multi-core architectures. EMSOFT 2017. To appear.
  • Viet Anh Nguyen, Damien Hardy, Isabelle Puaut. Cache-Conscious Offline Real-Time Task Scheduling for Multi-Core Processors. ECRTS 2017. pdf
  • Benjamin Rouxel, Isabelle Puaut. STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling. WCET 2017. pdf
  • Damien Hardy, Benjamin Rouxel, Isabelle Puaut. The Heptane Static Worst-Case Execution Time Estimation Tool. WCET 2017. pdf
  • 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. pdf
  • Steven Derrien, Isabelle Puaut, Panayiotis Alefragis, Marcus Bednara, Harald Bucher, Clement 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. pdf
    Damien Hardy, Isabelle Puaut, Yiannakis Sazeides, Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. DATE 2016. pdf
  • Armelle Bonenfant, Fabienne Carrier1, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Hanbing Li, Claire Maiza, Marianne De Michiel, Vincent Mussot, Catherine Parent-Vigouroux, Isabelle Puaut, Pascal Raymond, Erven Rohou, Pascal Sotin, When the worst-case execution time estimation gains from the application semantics. ERTS 2016. pdf
  • Viet Ahn Nguyen, Damien Hardy, Isabelle Puaut, Scheduling of parallel applications on many-core architectures with caches: bridging the gap between
    WCET analysis and schedulability analysis. 9th Junior Workshop on Real Time computing, in conjunction with RTNS 2015, Lille, France, November 2015 pdf
  • Hanbing Li, Isabelle Puaut, Erven Rohou, Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization. RTCSA 2015. pdf
  • Suzana Milutinovic, Jaume Abella, Damien Hardy, Eduardo Quiñones, Isabelle Puaut, Francisco J. Cazorla. Speeding up Static Probabilistic Timing Analysis. 28th GI/ITG International Conference on Architecture of Computing Systems. Porto, Portugal,March 2015 pdf
  • Hanbing Li, Isabelle Puaut, Erven Rohou. Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation. 22nd International Conference on Real-Time and Network Systems (RTNS 2014), Versailles, France, October 2014. pdf
  • Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco Cazorla. On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. In Proc. of the 16th Euromicro Conference on Real-Time Systems, Madrid, Spain, July 2014. pdf
  • André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut. A Formally Verified WCET Estimation Tool. 14th International Workshop on. Worst-Case Execution Time Analysis (WCET 2013), in conjunction with ECRTS 2014, Madrid, Spain, July 2014. pdf
  • Damien Hardy, Isabelle Puaut. Static Probabilistic Worst-Case Execution Time Estimation for Architectures with Faulty Instruction Caches. 21th International Conference on Real-Time and Network Systems (RTNS 2013), Nice, France, October 2013. pdf
  • Dumitru Potop-Butucaru, Isabelle Puaut. Integrated Worst-Case Execution Time Estimation of Multicore Applications. 13th International Workshop on. Worst-Case Execution Time Analysis (WCET 2013), in conjunction with ECRTS 2013, Paris, France, July 2013. pdf
  • Benjamin Lesage, Isabelle Puaut, André Seznec. PRETI: Partitioned REal-TIme shared caches for mixed-criticality real-time systems. 20th International Conference on Real-Time and Network Systems (RTNS 2012), Pont à Mousson, France, November 2012. pdf
  • Brice Berna, Isabelle Puaut. PDPA: Period Driven Task and Cache Partitioning Algorithm for Multi-core Systems. 20th International Conference on Real-Time and Network Systems (RTNS 2012), Pont à Mousson, France, November 2012. pdf
  • José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut. An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling, 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12), June 2012. pdf
  • José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut. Preemption Delay Analysis for Floating Non-Preemptive Region Scheduling, Design, Automation and Test in Europe 2012 (DATE 2012), pages 497-502 pdf
  • Damien Hardy, Benjamin Lesage, Isabelle Puaut. Scalable Fixed-Point Free Instruction Cache Analysis. In Proc. of the 2011 IEEE 32nd Real-Time Systems Symposium, pages 204-213, December 2011. pdf
  • Adnan Bouakaz, Isabelle Puaut, Erven Rohou. Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation. In Proc. of the 17th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS). Chicago, USA, April 2011. pdf
  • Benjamin Lesage, Damien Hardy, Isabelle Puaut. Shared Data Conflicts Reduction for WCET Computation in Multicore Architectures. In Proc. of the 18th International Conference on Real-Time and Network Systems (RTNS), Toulouse, France, November 2010. pdf
  • Damien Hardy, Thomas Piquet, Isabelle Puaut. Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. In Proc. of the 30th IEEE Real-Time Systems Symposium, Washington, D.C, USA, December 2009. pdf
  • Damien Hardy, Isabelle Puaut. Estimation of cache-related migration delays for multi-core processors with shared instruction caches. In Proc. of the 17th International Conference on Real-Time and Network Systems (RTNS), Paris, France, October 2009. pdf
  • Benjamin Lesage, Damien Hardy, Isabelle Puaut. WCET analysis of multi-level set-associative data caches. In Proc. of the 9th International Workshop on worst-case execution time analysis, in conjunction with the 14th Euromicro Conference on Real-Time Systems, Dublin, Ireland, July 2009. pdf
  • Damien Hardy, Isabelle Puaut. WCET analysis of multi-level non-inclusive set-associative instruction caches. In Proc. of the 29th IEEE Real-Time Systems Symposium, Barcelona, Spain, December 2008. pdf
  • Damien Hardy, Isabelle Puaut. Predictable code and data paging for real-time systems. In Proc. of the 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic, July 2008. pdf
  • Isabelle Puaut, Damien Hardy. Predictable paging in real-time systems: a compiler approach. In Proc. of the 19th Euromicro Conference on Real-Time Systems, Pisa, Italy, July 2007. pdf
  • Jean-François Deverge, Isabelle Puaut. WCET-directed dynamic scratchpad memory allocation of data. In Proc. of the 19th Euromicro Conference on Real-Time Systems, Pisa, Italy, July 2007. pdf
  • Isabelle Puaut, Christophe Pais. Scratchpad memories vs locked caches in hard real-time systems, a quantitative comparison. In Design Automation and Test Europe (DATE), Nice, France, April 2007. pdf
  • Isabelle Puaut. WCET-Centric Software-controlled Instruction Caches for Hard Real-Time Systems. In Proc. of the 18th Euromicro Conference on Real-Time Systems, Dresden, Germany, July 2006. pdf
  • Alexis Arnaud, Isabelle Puaut. Dynamic Instruction Cache Locking in Hard Real-Time Systems. In Proc. of the 14th International Conference on Real-Time and Network Systems (RNTS), Poitiers, France, May 2006. pdf
  • François Bodin, Isabelle Puaut. A WCET-oriented static branch prediction scheme for real-time systems. In Proc. of the 17th Euromicro Conference on Real-Time Systems, Palma de Mallorca, Spain, July 2005. pdf
  • Antonio Marti Campoy, Isabelle Puaut, A. Perles Ivars, J.V. Busquets Mataix. Cache contents selection for statically-locked instruction caches: an algorithm comparison. In Proc. of the 17th Euromicro Conference on Real-Time Systems, Palma de Mallorca, Spain, July 2005. pdf
  • Laurent David, Isabelle Puaut. Static Determination of Probabilistic Execution Times. In Proc. of the 16th Euromicro Conference on Real-Time Systems, Pages 223-230, Catania, Sicily, Italy, July 2004. pdf
  • Mathieu Avila, Maxime Glaizot, Isabelle Puaut. Impact of automatic gain time identification on tree-based static WCET analysis. In Proc. of the 3rd International Workshop on worst-case execution time analysis, in conjunction with the 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2003. pdf
  • Antoine Arnaud, Isabelle Puaut. Towards a predictable and high performance use of instruction caches in hard real-time systems. In Proc. of the work-in-progress session of the 15th Euromicro Conference on Real-Time Systems, Pages 61-64, Porto, Portugal, July 2003. pdf
  • Isabelle Puaut, David Decotigny. Low-Complexity Algorithms for Static Cache Locking in Multitasking Hard Real-Time Systems. In Proc. of the 23rd IEEE International Real-Time Systems Symposium, Austin, TX, USA, December 2002. ps
  • Isabelle Puaut. Real-Time Performance of Dynamic Memory Allocation Algorithms. In Proc. of the 14th Euromicro Conference on Real-Time Systems, Pages 41-49, Vienna, Austria, June 2002. ps
  • Isabelle Puaut. Cache Analysis vs Static Cache Locking for Schedulability Analysis in Multitasking Real-Time Systems. In Proc. of the 2nd International Workshop on worst-case execution time analysis, in conjunction with the 14th Euromicro Conference on Real-Time Systems, Vienna, Austria, June 2002. ps
  • David Decotigny, Isabelle Puaut. Artisst: An extensible and modular simulation tool for real-time systems. In Proc. of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2002), Pages 365-372, April 2002. ps
  • Pascal Chevochot, Isabelle Puaut. Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components. In Proc. of the International Conference on Dependable Systems and Networks (DSN’01), Pages 304-313, Goteborg, Sweden, July 2001. ps
  • Antoine Colin, Isabelle Puaut. A modular and retargetable framework for tree-based WCET analysis. In Proc. of the 13th Euromicro Conference on Real-Time Systems, Pages 37-44, Delft, The Netherlands, June 2001. ps
  • Antoine Colin, Isabelle Puaut. Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. In Proc. of the 13th Euromicro Conference on Real-Time Systems, Pages 191-198, Delft, The Netherlands, June 2001. ps
  • Pascal Chevochot, Isabelle Puaut. Holistic Schedulability Analysis of a Fault-Tolerant Real-Time Distributed Run-time Support. In Proc. of the 7th International Conference on Real-Time Computing Systems and Applications (RTCSA’00), Pages 355-362, Cheju Island, South Korea, December 2000. ps
  • Antoine Colin, David Decotigny, Pascal Chevochot, Isabelle Puaut. Are COTS suitable for building distributed fault-tolerant real-time systems?. In Workshop on parallel and distributed real-time systems (WPDRTS’00), LNCS 1800, Pages 699-705, Cancun, Mexico, May 2000. ps
  • Pascal Chevochot, Isabelle Puaut. Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies. In Proc. of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA’99), Pages 356-363, Hong-Kong, China, December 1999. details ps
  • Pascal Chevochot, Isabelle Puaut. An approach for fault-tolerance in hard real-time distributed systems. In Proc. 18th IEEE Symposium on Reliable Distributed Systems (SRDS’99) (short paper), Pages 292-293, Lausanne, Switzerland, October 1999. ps
  • Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut. A flexible run-time support for distributed dependable hard real-time applications. In Proc. of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’99), Pages 310-319, St Malo, France, May 1999. ps
  • Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut. Hades: A Middleware Support for Distributed Safety-Critical Real-Time Applications. In Proceedings of the 18th International conference on distributed Computing Systems (ICDCS’98), Pages 344-351, Amsterdam, The Netherlands, May 1998. ps
  • Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre. Improving Reliability of Video on Demand Servers. In Proc. of the 4th International Conference on Mulimedia Computing and Systems, Ottawa, Canada, June 1997. ps
  • Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre. A proposal for ensuring high availability of distributed multimedia applications. In Proc. of the 15th International Symposium on Reliable Distributed Systems, October 1996.
  • Gilbert Cabillic, Isabelle Puaut. Dealing with Heterogeneity in Stardust: an Environment for Parallel Programming on Networks of Heterogeneous Workstations. In Proc. of the Europar’96 conference, LNCS 1123, Pages 114-119, Lyon, France, August 1996. ps
  • Manuel Billot, Valérie Issarny, Isabelle Puaut, Michel Banâtre. Ensuring High Availability of Distributed Multimedia Applications. In Proc. of the 3rd International Conference on Mulimedia Compuing and Systems, Hiroshima, Japan, June 1996.
  • Gilbert Cabillic, Gilles Muller, Isabelle Puaut. The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. In Proc. of the 14th International Symposium on Reliable Distributed Systems, Pages 96-105, Bad Neuenahr, Germany, September 1995. ps
  • Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau. Isatis: A Customizable Distributed Object-Based Runtime System. In Proc. of the 1995 French-Japanese workshop on object-based parallel and distributed computation (OBPDC’95), LNCS 1107, Tokyo, Japan, June 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. In Proc. of the 15th International Conference on Distributed Computing Systems, Pages 279-286, Vancouver, Canada, June 1995.
  • Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut. A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. In Proc. of the 25th International Symposium on Fault-Tolerant Computing Systems, Pages 289-298, June 1995.
  • Valérie Issarny, Gilles Muller, Isabelle Puaut. Efficient Treatment of Failures in RPC Systems. In Proc. of the 13th International Symposium on Reliable Distributed Systems, Pages 170-180, Dana Point, USA, October 1994.
  • Isabelle Puaut. A Distributed Garbage Collector for Active Objects. In Proc. of the 1994 Conference on Object-Oriented Programming Systems, Languages and Application (OOPSLA’94), Pages 113-128, Portland, Oregon, October 1994.
  • Ciaran Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut. Toward safe and efficient customization in distributed systems. In Proc. of the 6th ACM SIGOPS European Workshop – Matching Operating Systems to Application Needs, Pages 57-61, Warden, Germany, September 1994.
  • Isabelle Puaut. A Distributed Garbage Collector for Active Objects. In Proc. of the 1994 Conference on Parallel Architectures and Languages Europe (PARLE’94), Pages 539-552, Athens, Greece, July 1994.
  • 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. In Proc. of the 14th International Conference on Distributed Computing Systems, Pages 510-517, Poznan, Poland, June 1994.
  • 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. In Cabernet Workshop, Dublin, Ireland, March 1994.
  • Michel Banâtre, Yasmina Belhamissi, Isabelle Puaut. Some Features of Gothic: a Distributed Object-Based System. In 1992 International Workshop on Object-Orientation in Operating Systems (I-WOOOS ’92), Pages 117-123, Paris, France, September 1992.
  • Isabelle Puaut. Distributed Garbage Collection of Active Objects with No Global synchronisation. In Proc. of the 1992 International Workshop on Memory Management (IWMM’92), LNCS 637, Pages 148-164, Saint Malo, France, September 1992.
  • Isabelle Puaut, Jean-Paul Routeau. Supporting an object-based system: experience with the Mach micro-kernel. In ERCIM Workshop on Distributed Systems, Lisbon, Portugal, November 1991.
  • Isabelle Puaut, Michel Banâtre, Jean-Paul Routeau. Early Experiences with the Gothic Distributed Operating System. In Proc. of the Symposium on Experiences with Distributed and Multiprocessor Systems (SEDMS II), Pages 271-282, Atlanta, Georgia, March 1991.

National Conferences

  • Isabelle Puaut, Alexis Arnaud, David Decotigny. Analyse de performance de méthodes de verrouillage statique de caches dans les systèmes temps-réel strict. In Proc. of the 12th International Conference on Real-Time Systems (RTS’04), March 2004. pdf
  • Davis Decotigny, Isabelle Puaut. Artisst: An extensible framework for the simulation of real-time systems. In Proc. of the 10th International Conference on Real-Time Systems (RTS’02), March 2002. pdf
  • Pascal Chevochot, Isabelle Puaut. Evaluation du silence sur défaillance d’un exécutif temps-réel construit à base de composants COTS. In Seconde Conférence Française sur les Systèmes d’Exploitation, Pages 61-72, Paris, France, April 2001. ps
  • Antoine Colin, Isabelle Puaut. Analyse de temps d’exécution au pire cas du système d’exploitation temps-réel RTEMS. In Seconde Conférence Française sur les Systèmes d’Exploitation (CFSE2), Pages 73-84, Paris, France, April 2001. ps
  • Pascal Chevochot, Isabelle Puaut. Conception de systèmes distribués temps-réel strict tolérants aux fautes avec du matériel “sur étagère”. In Proc. of the 9th International Conference on Real-Time Systems (RTS’01), Pages 209-226, March 2001. ps
  • Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, David Decotigny, Antoine Colin, Isabelle Puaut. Un support d’exécution flexible pour applications distribuées temps-réel dur. In Première Conférence Française sur les Systèmes d’Exploitation (CFSE’1), Pages 109-120, June 1999. ps
  • Pascal Chevochot, Isabelle Puaut. La réplication hors-ligne comme approche flexible pour la tolérance aux fautes des applications temps-réel dur. In Première Conférence Française sur les Systèmes d’Exploitation (CFSE’1), Pages 145-156, June 1999. ps

Research Reports

  • Isabelle Puaut, Alexis Arnaud, David Decotigny. Performance analysis of static cache locking in multitasking hard real-time systems. Research Report IRISA, No 1568, October 2003. ps
  • Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat. Calcul de majorants de pire temps d’exécution : état de l’art. Research Report IRISA, No 1461, May 2002. ps
  • Isabelle Puaut. Real-time performance of dynamic memory allocation algorithms. Research Report IRISA, No 1429, January 2002. ps
  • David Decotigny, Isabelle Puaut. Artisst: An Extensible and Modular Simulation Tool for Real-Time Systems. Research Report IRISA, No 1423, November 2001. ps
  • Antoine Colin, Isabelle Puaut. A modular and retargetable framework for tree-based WCET analysis. Research Report IRISA, No 1386, March 2001. ps
  • Pascal Chevochot, Isabelle Puaut. Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components. Research Report IRISA, No 1370, December 2000. ps
  • Pascal Chevochot, Isabelle Puaut, Gilbert Cabillic, Antoine Colin, David Decotigny, Michel Banâtre. Hades: a distributed system for dependable hard real-time applications built from COTS components. Research Report IRISA, No 1357, October 2000. ps
  • Antoine Colin, Isabelle Puaut. Worst-case timing analysis of the RTEMS real-time operating system. Research Report IRISA, No 1277, November 1999. ps
  • Pascal Chevochot, Isabelle Puaut. An approach for fault-tolerance in hard real-time distributed systems. Research Report IRISA, No 1257, July 1999. ps
  • Antoine Colin, Isabelle Puaut. Worst Case Execution Time Analysis for a Processor with Branch Prediction. Research Report IRISA, No 1236, March 1999. ps
  • Emmanuelle Anceaume, Isabelle Puaut. Performance evaluation of clock synchronization algorithms. Research Report INRIA, No 3526, October 1998. ps
  • Pascal Chevochot, Isabelle Puaut. Tolérance aux fautes dans les systèmes d’exploitation temps réel à sûreté critique. Research Report IRISA, No 1142, November 1997. ps
  • Emmanuelle Anceaume, Isabelle Puaut. A Taxonomy of Clock Synchronization Algorithms. Research Report IRISA, No 1103, July 1997. ps
  • Gilbert Cabillic, Thierry Priol, Isabelle Puaut. MYOAN: an Implementation of the KOAN Shared Virtual Memory on the Intel Paragon. Research Report INRIA, No 2258, April 1994.

Thesis

  • Isabelle Puaut. Supports d’exécution à temps de réponse contraint tolérants aux fautes. Habilitation à diriger des recherches Université de Rennes I, November 2001. pdf
  • Isabelle Puaut. Gestion d’objets actifs dans les systèmes distribués : problématique et mise en oeuvre. PhD Thesis Université de Rennes I, January 1993.

Fancy publications

  • Isabelle Puaut. Picture of Lucifer (sculpture by Abbé Fouré, Rothéneuf, near Saint Malo, France). In Croyances et légendes de la mer,. Claude Arz, Le Télégramme, éditions, 2010, Page 42. The picture. The whole book.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder.

Comments are closed