7. WCET 2007:
Pisa, Italy
Christine Rochange (Ed.):
7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007.
OASICS 6 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 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.

Last update Wed May 22 16:49:57 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page