Publications of Antoine Colin

PhD Theses

1. A. Colin. Estimation de temps d'exécution au pire cas par analyse statique et application aux systèmes d'exploitation temps-réel.  Phd thesis, Université de Rennes I, October 2001. (postscript)

Journals

1. A. Colin, I. 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. (postscript)

International Conferences

1. A. Colin, I. Puaut. A modular and retargetable framework for tree-based WCET analysis.  Proc. of the 13th Euromicro Conference on Real-Time Systems, pages 37--44, Delft, The Netherlands, June 2001. (postscript)
2. A. Colin, I. Puaut. Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.  Proc. of the 13th Euromicro Conference on Real-Time Systems, pages 191--198, Delft, The Netherlands, June 2001. (postscript)

Workshops and Symposiums

1. A. Colin, D. Decotigny, P. Chevochot, I. Puaut. Are COTS suitable for building distributed fault-tolerant real-time systems ?.  Workshop on parallel and distributed real-time systems (WPDRTS'00), LNCS 1800, pages 699--705, Cancun, Mexico, May 2000. (postscript)

National Conferences

1. A. Colin, I. Puaut. Analyse de temps d'exécution au pire cas du système d'exploitation temps-réel RTEMS.  Seconde Conférence Française sur les Systèmes d'Exploitation (CFSE2), pages 73--84, Paris, France, April 2001. (postscript)
2. E. Anceaume, G. Cabillic, P. Chevochot, D. Decotigny, A. Colin, I. Puaut. Un support d'exécution flexible pour applications distribuées temps-réel dur.  Première Conférence Française sur les Systèmes d'Exploitation (CFSE'1), pages 109--120, June 1999. (postscript)

Research reports

1. A. Colin, I. Puaut, C. Rochange, P. Sainrat. Calcul de majorants de pire temps d'exécution : état de l'art.  Research report IRISA, NoPI1461, May 2002. (postscript)
2. A. Colin, I. Puaut. A modular and retargetable framework for tree-based WCET analysis.  Research report IRISA, NoPI1386, March 2001. (postscript)
3. P. Chevochot, I. Puaut, G. Cabillic, A. Colin, D. Decotigny, M. Banâtre. Hades: a distributed system for dependable hard real-time applications built from COTS components.  Research report IRISA, NoPI1357, October 2000. (postscript)
4. A. Colin, I. Puaut. Worst-case timing analysis of the RTEMS real-time operating system.  Research report IRISA, NoPI1277, November 1999. (postscript)
5. A. Colin, I. Puaut. Worst Case Execution Time Analysis for a Processor with Branch Prediction.  Research report IRISA, No1236, March 1999. (postscript)

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will 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.