References of rts-journal.ps.gz

[AFMW96]

Martin Alt, Christian Ferdinand, Florian Martin, and Reinhard Wilhelm.
Cache Behavior Prediction by Abstract Interpretation.
In Proceedings of SAS'96, Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science, pages 52--66. Springer-Verlag, September 1996.

[AM95]

Martin Alt and Florian Martin.
Generation of Efficient Interprocedural Analyzers with PAG.
In Proceedings of SAS'95, Static Analysis Symposium, volume 983 of Lecture Notes in Computer Science, pages 33--50. Springer-Verlag, September 1995.

[ASU86]

A.V. Aho, R. Sethi, and J.D. Ullman.
Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.

[CC77]

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, pages 238--252, January 1977.

[CF98]

Reinhard Wilhelm. Christian Ferdinand.
On Predicting Data Cache Behavior for Real-Time Systems..
In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Montreal, Canada, June 1998.

[EEA98]

Jakob Engblom, Andreas Ermedahl, and Peter Altenbernd.
Facilitating worst-case execution time analysis for optimized code.
In The 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, June 1998.

[EG97]

Andreas Ermedahl and Jan Gustafsson.
Deriving annotations for tight calculation of execution time.
In In Proceedings of Euro-Par '97, LNCS 1300, pages 1298--1307, Passau, Germany, August 1997.

[Fer97]

Christian Ferdinand.
Cache Behavior Prediction for Real-Time Systems.
PhD Thesis, Universität des Saarlandes, September 1997.

[FMW97]

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, pages 37--46, June 1997.

[FMWA98]

Christian Ferdinand, Florian Martin, Reinhard Wilhelm, and Martin Alt.
Cache Behavior Prediction by Abstract Interpretation.
Science of Computer Programming, Elsevier, 1998.

[LBJ⁺95]

Sung-Soo Lim, Young Hyun Bae, Gye Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sang Kim.
An Accurate Worst Case Timing Analysis for RISC Processors.
IEEE Transactions on Software Engineering, 21(7):593--604, July 1995.

[LHKM98]

Sung-Soo Lim, Jung Hee Han, Jihong Kim, and Sang Lyul Min.
A Worst Case Timing Analysis Technique for Multi-Issue Machines.
In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 334--345, Madrid, Spain, December 1998.

[LM95]

Yau-Tsun Steven Li and Sharad Malik.
Performance Analysis of Embedded Software Using Implicit Path Enumeration.
In Proceedings of the 32nd ACM/IEEE Design Automation Conference, pages 456--461, June 1995.

[LMW95]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software.
In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 298--307, December 1995.

[LMW96]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches.
In Proceedings of the 17th IEEE Real-Time Systems Symposium, December 1996.

[Mar98]

Florian Martin.
PAG---an efficient program analyzer generator.
International Journal on Software Tools for Technology Transfer, 2(1), 1998.

[Mar99]

Florian Martin.
Generation of Program Analyzers. PhD thesis, Universität des Saarlandes, 1999. to appear.

[MAWF98]

Florian Martin, Martin Alt, Reinhard Wilhelm, and Christian Ferdinand.
Analysis of Loops.
In Kai Koskimies, editor, Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science. Springer, March/April 1998.

[MWH94]

Frank Mueller, David B. Whalley, and Marion Harmon.
Predicting Instruction Cache Behavior.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994.

[NNH99]

Flemming Nielson, Hanne Riis Nielson, and Chris Hankin.
Principles of Program Analysis. Springer-Verlag, 1999.

[OS97]

Greger Ottoson and Mikael Sjödin.
Worst-Case Execution Time Analysis for Modern Hardware Architectures.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, pages 47--55, June 1997.

[Sch96]

Alexander Schrijver.
Theory of Linear and Integer Programming. John Wiley \& Sons Ltd., 1996.

[Sch98]

Jörn Schneider.
Statische Pipeline-Analyse für Echtzeitsysteme.
Diploma Thesis, Universität des Saarlandes, October 1998.

[SF99]

Jörn Schneider and Christian Ferdinand.
Pipeline behaviour prediction for superscalar processors by abstract interpretation.
In In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, July 1999.

[Sic97]

Martin Sicks.
Adre\ss bestimmung zur Vorhersage des Verhaltens von Daten-Caches.
Diploma Thesis, Universität des Saarlandes, 1997.

[Sta96]

John A. Stankovic.
Real-Time and Embedded Systems. ACM 50th Anniversary Report on Real-Time Computing Research, 1996. http://www-ccs.cs.umass.edu/sdcr/rt.ps.

[TF98]

Henrik Theiling and Christian Ferdinand.
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.
In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 144--153, Madrid, Spain, December 1998.

[TG98]

Caroline Tice and Susan L. Graham.
OPTVIEW: A New Approach for Examining Optimized Code.
In Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, Montreal, June 1998.

[TMA97]

Stephan Thesing, Florian Martin, and Martin Alt.
PAG Manual. Fachbereich 14, Universität des Saarlandes, May 1997.

[WM95]

Reinhard Wilhelm and Dieter Maurer.
Compiler Design. International Computer Science Series. Addison--Wesley, 1995. Second Printing.

Visited: