Reliable and Precise WCET Determination for a Real-Life Processor

This publication has 9 references indexed in Scilit:

• Extracting safe and precise control flow from binaries
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Generating Decision Trees for Decoding Binaries
  Published by Association for Computing Machinery (ACM) ,2001
• Pipeline behavior prediction for superscalar processors by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1999
• Principles of Program Analysis
  Published by Springer Nature ,1999
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• Analysis of loops
  Published by Springer Nature ,1998
• On predicting data cache behavior for real-time systems
  Published by Springer Nature ,1998
• Experiments with a program timing tool based on source-level timing schema
  Computer, 1991
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977