Worst-Case Execution Time and Energy Analysis

This publication has 68 references indexed in Scilit:

• A Contribution to Branch Prediction Modeling in WCET Analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Worst-case execution time analysis for dynamic branch predictors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• WCET analysis of probabilistic hard real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the false path problem in hard real-time programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Retargetable static timing analysis for embedded software
  Published by Association for Computing Machinery (ACM) ,2001
• Wattch
  Published by Association for Computing Machinery (ACM) ,2000
• Worst Case Execution Time Analysis for a Processor with Branch Prediction
  Real-Time Systems, 2000
• Refining data flow information using infeasible paths
  Published by Springer Nature ,1997
• Bounding worst-case instruction cache performance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986