OASIcs, Volume 6, WCET 2007

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