Abstract is missing.
- Frontmatter, Table of Contents, Preface, Workshop Organization [doi]
- OASIcs, Volume 30, WCET'13, Complete Volume [doi]
- Evaluation of resource arbitration methods for multi-core real-time systemsTimon Kelter, Tim Harde, Peter Marwedel, Heiko Falk. 1-10 [doi]
- Automatic WCET Analysis of Real-Time Parallel ApplicationsHaluk Ozaktas, Christine Rochange, Pascal Sainrat. 11-20 [doi]
- Integrated Worst-Case Execution Time Estimation of Multicore ApplicationsDumitru Potop-Butucaru, Isabelle Puaut. 21-31 [doi]
- Program Semantics in Model-Based WCET Analysis: A State of the Art PerspectiveMihail Asavoae, Claire Maiza, Pascal Raymond. 32-41 [doi]
- Multi-architecture Value Analysis for Machine CodeHugues Cassé, Florian Birée, Pascal Sainrat. 42-52 [doi]
- The Auspicious Couple: Symbolic Execution and WCET AnalysisArmin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr. 53-63 [doi]
- Upper-bounding Program Execution Time with Extreme Value TheoryFrancisco J. Cazorla, Tullio Vardanega, Eduardo Quiñones, Jaume Abella. 64-76 [doi]
- PRADA: Predictable Allocations by Deferred ActionsFlorian Haupenthal, Jörg Herter. 77-86 [doi]
- Static analysis of WCET in a satellite software subsystemJorge Garrido, Juan Zamorano, Juan Antonio de la Puente. 87-96 [doi]
- Applying Measurement-Based Probabilistic Timing Analysis to Buffer ResourcesLeonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla. 97-108 [doi]