Antoine Colin

According to our database1, Antoine Colin authored at least 13 papers between 1995 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2014
PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2003
Calcul de majorants de pire temps d'exécution : état de l'art.
Tech. Sci. Informatiques, 2003

pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Experimental Evaluation of Code Properties for WCET Analysis.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002
WCET Analysis of Probabilistic Hard Real-Time System.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

A Modular & Retargetable Framework for Tree-Based WCET Analysis.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000
Worst Case Execution Time Analysis for a Processor with Branch Prediction.
Real Time Syst., 2000

Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?.
Proceedings of the Parallel and Distributed Processing, 2000

1997
Relative Resolvents and Partition Tables in Galois Group Computations.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1995
Formal Computation of Galois Groups with Relative Resolvents.
Proceedings of the Applied Algebra, 1995


  Loading...