|
Search the dblp DataBase
Antoine Colin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Antoine Colin
Formal Computation of Galois Groups with Relative Resolvents. [Citation Graph (0, 0)][DBLP] AAECC, 1995, pp:169-182 [Conf]
- Antoine Colin, Guillem Bernat
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP] ECRTS, 2002, pp:50-0 [Conf]
- Antoine Colin, Isabelle Puaut
A Modular & Retargetable Framework for Tree-Based WCET Analysis. [Citation Graph (0, 0)][DBLP] ECRTS, 2001, pp:37-44 [Conf]
- Antoine Colin, Isabelle Puaut
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. [Citation Graph (0, 0)][DBLP] ECRTS, 2001, pp:191-198 [Conf]
- Pascal Chevochot, Antoine Colin, David Decotigny, Isabelle Puaut
Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?. [Citation Graph (0, 0)][DBLP] IPDPS Workshops, 2000, pp:699-705 [Conf]
- Antoine Colin
Relative Resolvents and Partition Tables in Galois Group Computations. [Citation Graph (0, 0)][DBLP] ISSAC, 1997, pp:78-84 [Conf]
- Guillem Bernat, Antoine Colin, Stefan M. Petters
WCET Analysis of Probabilistic Hard Real-Time System. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 2002, pp:279-288 [Conf]
- Antoine Colin, Stefan M. Petters
Experimental Evaluation of Code Properties for WCET Analysis. [Citation Graph (0, 0)][DBLP] RTSS, 2003, pp:190-199 [Conf]
- Guillem Bernat, Antoine Colin, Stefan M. Petters
pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP] WCET, 2003, pp:21-38 [Conf]
- Antoine Colin, Isabelle Puaut
Worst Case Execution Time Analysis for a Processor with Branch Prediction. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 2000, v:18, n:2/3, pp:249-274 [Journal]
- Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
Calcul de majorants de pire temps d'exécution : état de l'art. [Citation Graph (0, 0)][DBLP] Technique et Science Informatiques, 2003, v:22, n:5, pp:651-677 [Journal]
Search in 0.004secs, Finished in 0.005secs
|