Abstract is missing.
- A Framework for Static Analysis of VHDL CodeMarc Schlickling, Markus Pister. [doi]
- Analysis of path exclusion at the machine code levelIngmar Stein, Florian Martin. [doi]
- Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET AnalysisDaniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane. [doi]
- Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache ModelsStephan Wilhelm, Björn Wachter. [doi]
- Timing Analysis of Body Area Network ApplicationsLiang Yun, Abhik Roychoudhury, Tulika Mitra. [doi]
- Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant AnalysisAndreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper. [doi]
- Analysing Switch-Case Tables by Partial EvaluationNiklas Holsti. [doi]
- Data-Flow Based Detection of Loop BoundsChristoph Cullmann, Florian Martin. [doi]
- Automatic Amortised Worst-Case Execution Time AnalysisChristoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon. [doi]
- WCET Analysis: The Annotation Language ChallengeRaimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel. [doi]
- WCET 2007 - Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008Jan Gustafsson. [doi]
- Measurements or Static Analysis or Both?Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser. [doi]
- Clustering Worst-Case Execution Times for Software ComponentsJohan Fredriksson, Thomas Nolte, Andreas Ermedahl, Mikael Nolin. [doi]
- WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) AnalysisChristine Rochange. [doi]