 | 2003 |
|---|
| 11 |       | Antoine Colin,
Stefan M. Petters:
Experimental Evaluation of Code Properties for WCET Analysis.
RTSS 2003: 190-199 |
| 10 |  | Guillem Bernat,
Antoine Colin,
Stefan M. Petters:
pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems.
WCET 2003: 21-38 |
| 9 | | Antoine Colin,
Isabelle Puaut,
Christine Rochange,
Pascal Sainrat:
Calcul de majorants de pire temps d'exécution : état de l'art.
Technique et Science Informatiques 22(5): 651-677 (2003) |
| 2002 |
|---|
| 8 | | Antoine Colin,
Guillem Bernat:
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.
ECRTS 2002: 50- |
| 7 | | Guillem Bernat,
Antoine Colin,
Stefan M. Petters:
WCET Analysis of Probabilistic Hard Real-Time System.
IEEE Real-Time Systems Symposium 2002: 279-288 |
| 2001 |
|---|
| 6 | | Antoine Colin,
Isabelle Puaut:
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.
ECRTS 2001: 191-198 |
| 5 | | Antoine Colin,
Isabelle Puaut:
A Modular & Retargetable Framework for Tree-Based WCET Analysis.
ECRTS 2001: 37-44 |
| 2000 |
|---|
| 4 | | 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 |
| 3 | | Antoine Colin,
Isabelle Puaut:
Worst Case Execution Time Analysis for a Processor with Branch Prediction.
Real-Time Systems 18(2/3): 249-274 (2000) |
| 1997 |
|---|
| 2 | | Antoine Colin:
Relative Resolvents and Partition Tables in Galois Group Computations.
ISSAC 1997: 78-84 |
| 1995 |
|---|
| 1 | | Antoine Colin:
Formal Computation of Galois Groups with Relative Resolvents.
AAECC 1995: 169-182 |
