Antoine Colin

13 papers A 2B 6Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2018 B conf
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
ECRTS
Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
2014 B conf
PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis.
ECRTS
Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quiñones, Antoine Colin, Francisco J. Cazorla
2003 J jnl
Calcul de majorants de pire temps d'exécution : état de l'art.
Tech. Sci. Informatiques
Antoine Colin, Isabelle Puaut, Christine Rochange, Pascal Sainrat
2003 A conf
Experimental Evaluation of Code Properties for WCET Analysis.
RTSS
Antoine Colin, Stefan M. Petters
2003 — conf
pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems.
WCET
Guillem Bernat, Antoine Colin, Stefan M. Petters
2002 B conf
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.
ECRTS
Antoine Colin, Guillem Bernat
2002 A conf
WCET Analysis of Probabilistic Hard Real-Time System.
RTSS
Guillem Bernat, Antoine Colin, Stefan M. Petters
2001 B conf
A Modular & Retargetable Framework for Tree-Based WCET Analysis.
ECRTS
Antoine Colin, Isabelle Puaut
2001 B conf
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.
ECRTS
Antoine Colin, Isabelle Puaut
2000 — conf
Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?.
IPDPS Workshops
Pascal Chevochot, Antoine Colin, David Decotigny, Isabelle Puaut
2000 J jnl
Worst Case Execution Time Analysis for a Processor with Branch Prediction.
Real Time Syst.
Antoine Colin, Isabelle Puaut
1997 B conf
Relative Resolvents and Partition Tables in Galois Group Computations.
ISSAC
Antoine Colin
1995 — conf
Formal Computation of Galois Groups with Relative Resolvents.
AAECC
Antoine Colin