A tool for automatic flow analysis of C-programs for WCET calculation

This publication has 8 references indexed in Scilit:

• Worst-case execution-time analysis for embedded real-time systems
  International Journal on Software Tools for Technology Transfer, 2003
• Tighter timing predictions by automatic detection and exploitation of value-dependent constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Bounding loop iterations for timing analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modeling complex flows for worst-case execution time analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Accurate static branch prediction by value range propagation
  Published by Association for Computing Machinery (ACM) ,1995
• Counting solutions to Presburger formulas
  Published by Association for Computing Machinery (ACM) ,1994
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 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