


default search action
15th WCET 2015: Lund, Sweden
- Francisco J. Cazorla:

15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, Lund, Sweden, July 7, 2015. 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














