OASIcs, Volume 47, WCET 2015

• Francisco J. Cazorla OASIcs, Volume 47, WCET'15, Complete Volume 10.4230/OASIcs.WCET.2015
• Francisco J. Cazorla Front Matter, Table of Contents, Preface, Workshop Organization 10.4230/OASIcs.WCET.2015.i
• Hugues Cassé, Haluk Ozaktas, and Christine Rochange A Framework to Quantify the Overestimations of Static WCET Analysis 10.4230/OASIcs.WCET.2015.1
• Marco Ziccardi, Alessandro Cornaglia, Enrico Mezzetti, and Tullio Vardanega Software-enforced Interconnect Arbitration for COTS Multicores 10.4230/OASIcs.WCET.2015.11
• Mahdi Eslamimehr and Hesam Samimi Timing Analysis of Event-Driven Programs with Directed Testing 10.4230/OASIcs.WCET.2015.21
• Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, and Wolfgang Schröder-Preikschat GenE: A Benchmark Generator for WCET Analysis 10.4230/OASIcs.WCET.2015.33
• Boris Dreyer, Christian Hochberger, Simon Wegener, and Alexander Weiss Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation 10.4230/OASIcs.WCET.2015.45
• Clément Ballabriga, Julien Forget, and Giuseppe Lipari Context-sensitive Parametric WCET Analysis 10.4230/OASIcs.WCET.2015.55
• Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, and Christine Rochange WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon? 10.4230/OASIcs.WCET.2015.65
• Georg Wassen and Stefan Lankes Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System 10.4230/OASIcs.WCET.2015.75
• Niklas Holsti, Jan Gustafsson, Linus Källberg, and Björn Lisper Analysing Switch-Case Code with Abstract Execution 10.4230/OASIcs.WCET.2015.85
• Jordy Ruiz and Hugues Cassé Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs 10.4230/OASIcs.WCET.2015.95