7. WCET 2007: Pisa, Italy

Christine Rochange (Ed.): 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007. Dagstuhl Seminar Proceedings 07002 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 BibTeX

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