7. WCET 2007: Pisa, Italy

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