Antoine Colin

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 1

Top Topics

Timing Constraints

Real Time Systems

Top Venues

Publications

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