@Proceedings{cazorla:OASIcs.WCET.2015,
title = {{OASIcs, Volume 47, WCET'15, Complete Volume}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015},
URN = {urn:nbn:de:0030-drops-52652},
doi = {10.4230/OASIcs.WCET.2015},
annote = {Keywords: Performance Analysis and Design Aids – Worst-case Analysis, Performance Analysis and Design Aids, Software/Program Verification, Testing and Debugging Special-Purpose and Application-Based Systems – Real-Time and Embedded Systems, Performance of Systems, Computers in other systems – Real time, Real t}
}
@InProceedings{cazorla:OASIcs.WCET.2015.i,
author = {Cazorla, Francisco J.},
title = {{Front Matter, Table of Contents, Preface, Workshop Organization}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {i--xiv},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.i},
URN = {urn:nbn:de:0030-drops-52501},
doi = {10.4230/OASIcs.WCET.2015.i},
annote = {Keywords: Front Matter, Table of Contents, Preface, Workshop Organization}
}
@InProceedings{casse_et_al:OASIcs.WCET.2015.1,
author = {Cass\'{e}, Hugues and Ozaktas, Haluk and Rochange, Christine},
title = {{A Framework to Quantify the Overestimations of Static WCET Analysis}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {1--10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.1},
URN = {urn:nbn:de:0030-drops-52517},
doi = {10.4230/OASIcs.WCET.2015.1},
annote = {Keywords: Static WCET analysis, uncertainty, overestimation, cache analysis}
}
@InProceedings{ziccardi_et_al:OASIcs.WCET.2015.11,
author = {Ziccardi, Marco and Cornaglia, Alessandro and Mezzetti, Enrico and Vardanega, Tullio},
title = {{Software-enforced Interconnect Arbitration for COTS Multicores}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {11--20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.11},
URN = {urn:nbn:de:0030-drops-52526},
doi = {10.4230/OASIcs.WCET.2015.11},
annote = {Keywords: Multicore, Resource Arbitration, Interference, Mixed-Criticality}
}
@InProceedings{eslamimehr_et_al:OASIcs.WCET.2015.21,
author = {Eslamimehr, Mahdi and Samimi, Hesam},
title = {{Timing Analysis of Event-Driven Programs with Directed Testing}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {21--31},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.21},
URN = {urn:nbn:de:0030-drops-52535},
doi = {10.4230/OASIcs.WCET.2015.21},
annote = {Keywords: worst-case execution time, timing analysis, event-driven, directed testing}
}
@InProceedings{wagemann_et_al:OASIcs.WCET.2015.33,
author = {W\"{a}gemann, Peter and Distler, Tobias and H\"{o}nig, Timo and Sieh, Volkmar and Schr\"{o}der-Preikschat, Wolfgang},
title = {{GenE: A Benchmark Generator for WCET Analysis}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {33--43},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.33},
URN = {urn:nbn:de:0030-drops-52545},
doi = {10.4230/OASIcs.WCET.2015.33},
annote = {Keywords: WCET, benchmark generation, flow facts, WCET Tool Challenge}
}
@InProceedings{dreyer_et_al:OASIcs.WCET.2015.45,
author = {Dreyer, Boris and Hochberger, Christian and Wegener, Simon and Weiss, Alexander},
title = {{Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {45--54},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.45},
URN = {urn:nbn:de:0030-drops-52555},
doi = {10.4230/OASIcs.WCET.2015.45},
annote = {Keywords: Hybrid Worst-Case Execution Time (WCET) Estimation for Multicore Processors, Real-time Systems}
}
@InProceedings{ballabriga_et_al:OASIcs.WCET.2015.55,
author = {Ballabriga, Cl\'{e}ment and Forget, Julien and Lipari, Giuseppe},
title = {{Context-sensitive Parametric WCET Analysis}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {55--64},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.55},
URN = {urn:nbn:de:0030-drops-52569},
doi = {10.4230/OASIcs.WCET.2015.55},
annote = {Keywords: Parametric, WCET, Real-time, Static analysis}
}
@InProceedings{altmeyer_et_al:OASIcs.WCET.2015.65,
author = {Altmeyer, Sebastian and Lisper, Bj\"{o}rn and Maiza, Claire and Reineke, Jan and Rochange, Christine},
title = {{WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {65--74},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.65},
URN = {urn:nbn:de:0030-drops-52574},
doi = {10.4230/OASIcs.WCET.2015.65},
annote = {Keywords: mixed criticality, WCET analysis, confidence in WCET estimates}
}
@InProceedings{wassen_et_al:OASIcs.WCET.2015.75,
author = {Wassen, Georg and Lankes, Stefan},
title = {{Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {75--84},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.75},
URN = {urn:nbn:de:0030-drops-52584},
doi = {10.4230/OASIcs.WCET.2015.75},
annote = {Keywords: Hard Real-Time System, High-Performance Computing, Non-uniform Memory Access, Bare-Metal Execution}
}
@InProceedings{holsti_et_al:OASIcs.WCET.2015.85,
author = {Holsti, Niklas and Gustafsson, Jan and K\"{a}llberg, Linus and Lisper, Bj\"{o}rn},
title = {{Analysing Switch-Case Code with Abstract Execution}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {85--94},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.85},
URN = {urn:nbn:de:0030-drops-52598},
doi = {10.4230/OASIcs.WCET.2015.85},
annote = {Keywords: ynamic control flow, indexed branch, machine-code analysis, WCET analysis}
}
@InProceedings{ruiz_et_al:OASIcs.WCET.2015.95,
author = {Ruiz, Jordy and Cass\'{e}, Hugues},
title = {{Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs}},
booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
pages = {95--104},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-95-8},
ISSN = {2190-6807},
year = {2015},
volume = {47},
editor = {Cazorla, Francisco J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.95},
URN = {urn:nbn:de:0030-drops-52604},
doi = {10.4230/OASIcs.WCET.2015.95},
annote = {Keywords: WCET, infeasible paths, SMT, machine code}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing