WCET Determination: References and Links
References
Patrick Cousot and Radhia Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs
by Construction or Approximation of Fixpoints. In Proceedings of the 4th
ACM Symposium on Principles of Programming Languages, 1977. Christian Ferdinand.
Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universität
des Saarlandes, 1997. Christian Ferdinand, Florian Martin,
and Reinhard Wilhelm. Applying Compiler Techniques to Cache Behavior Prediction. In
Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for
Real-Time Systems, 1997. Christian Ferdinand, Florian Martin,
Reinhard Wilhelm, and Martin Alt. Cache Behavior Prediction by Abstract Interpretation.
Science of Computer Programming, Elsevier, 1998. Marc Langenbach. CRL - A Uniform
Representation for Control Flow. Technical report, Universität des Saarlandes, 1998. Florian Martin. PAG - an efficient
program analyzer generator. International Journal on Software Tools for Technology
Transfer, 2(1), 1998. Florian Martin. Generation of
Program Analyzers. PhD Thesis, Universität des Saarlandes, 1999. Florian Martin, Martin Alt, Reinhard
Wilhelm, and Christian Ferdinand. Analysis of Loops. In Kai Kosmikies, editor,
Proceedings of the 7th International Conference on Compiler Construction,
volume 1383 of Lecture Notes in Computer Science, Springer-Verlag, 1998. Flemming Nielson, Hanne Riis Nielson,
and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999. P. Puschner and C. Koza. Computing
Maximum Task Execution Times with Linear Programming Techniques. Technical Report,
Technische Universität Wien, Institut für Technische Informatik, Vienna, 1995. Chang Yun Park and Alan C. Shaw.
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
IEEE Computer, 24(5), 1991. Jörn Schneider and Christian
Ferdinand. Pipeline Behavior Prediction for Superscalar Processors. Technical Report
A/02/99, Universität des Saarlandes, 1999. Martin Sicks. Adreßbestimmung
zur Vorhersage des Verhaltens von Daten-Caches. Diploma Thesis, Universität des
Saarlandes, 1997. Henrik Theiling. Extracting Safe
and Precise Control Flow from Binaries. In Proceedings of the 7th Conference on
Real-Time Computing Systems and Applications, Cheju-do, South Korea, December 2000. Henrik Theiling. Generating Decision
Trees for Decoding Binaries. In Proceedings of the ACM SIGPLAN Workshop on Language,
Compiler and Tools for Embedded Systems, Snowbird, Utah, USA, June 2001.
|
