


default search action
15th WCET 2015: Lund, Sweden
- Francisco J. Cazorla:
15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden. OASIcs 47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-95-8 - Front Matter, Table of Contents, Preface, Workshop Organization. i-xiv
- Hugues Cassé, Haluk Ozaktas, Christine Rochange:
A Framework to Quantify the Overestimations of Static WCET Analysis. 1-10 - Marco Ziccardi, Alessandro Cornaglia, Enrico Mezzetti
, Tullio Vardanega
:
Software-enforced Interconnect Arbitration for COTS Multicores. 11-20 - Mahdi Eslamimehr, Hesam Samimi:
Timing Analysis of Event-Driven Programs with Directed Testing. 21-31 - Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, Wolfgang Schröder-Preikschat:
GenE: A Benchmark Generator for WCET Analysis. 33-43 - Boris Dreyer
, Christian Hochberger, Simon Wegener
, Alexander Weiss:
Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation. 45-54 - Clément Ballabriga, Julien Forget
, Giuseppe Lipari:
Context-sensitive Parametric WCET Analysis. 55-64 - Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange:
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. 65-74 - Georg Wassen, Stefan Lankes
:
Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System. 75-84 - Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper:
Analysing Switch-Case Code with Abstract Execution. 85-94 - Jordy Ruiz, Hugues Cassé:
Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs. 95-104

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.