2003 |
11 | EE | 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 | EE | 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 | EE | Antoine Colin,
Guillem Bernat:
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.
ECRTS 2002: 50- |
7 | EE | 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 | EE | Antoine Colin,
Isabelle Puaut:
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.
ECRTS 2001: 191-198 |
5 | EE | Antoine Colin,
Isabelle Puaut:
A Modular & Retargetable Framework for Tree-Based WCET Analysis.
ECRTS 2001: 37-44 |
2000 |
4 | EE | 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 |