OASIcs, Volume 30, WCET 2013

• Claire Maiza OASIcs, Volume 30, WCET'13, Complete Volume 10.4230/OASIcs.WCET.2013
• Claire Maiza Frontmatter, Table of Contents, Preface, Workshop Organization 10.4230/OASIcs.WCET.2013.i
• Timon Kelter, Tim Harde, Peter Marwedel, and Heiko Falk Evaluation of resource arbitration methods for multi-core real-time systems 10.4230/OASIcs.WCET.2013.1
• Haluk Ozaktas, Christine Rochange, and Pascal Sainrat Automatic WCET Analysis of Real-Time Parallel Applications 10.4230/OASIcs.WCET.2013.11
• Dumitru Potop-Butucaru and Isabelle Puaut Integrated Worst-Case Execution Time Estimation of Multicore Applications 10.4230/OASIcs.WCET.2013.21
• Mihail Asavoae, Claire Maiza, and Pascal Raymond Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective 10.4230/OASIcs.WCET.2013.32
• Hugues Cassé, Florian Birée, and Pascal Sainrat Multi-architecture Value Analysis for Machine Code 10.4230/OASIcs.WCET.2013.42
• Armin Biere, Jens Knoop, Laura Kovács, and Jakob Zwirchmayr The Auspicious Couple: Symbolic Execution and WCET Analysis 10.4230/OASIcs.WCET.2013.53
• Francisco J. Cazorla, Tullio Vardanega, Eduardo Quiñones, and Jaume Abella Upper-bounding Program Execution Time with Extreme Value Theory 10.4230/OASIcs.WCET.2013.64
• Florian Haupenthal and Jörg Herter PRADA: Predictable Allocations by Deferred Actions 10.4230/OASIcs.WCET.2013.77
• Jorge Garrido, Juan Zamorano, and Juan A. de la Puente Static analysis of WCET in a satellite software subsystem 10.4230/OASIcs.WCET.2013.87
• Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones, and Francisco J. Cazorla Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources 10.4230/OASIcs.WCET.2013.97