8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{kirner:OASIcs.WCET.2008, title = {{OASIcs, Volume 8, WCET'08, Complete Volume}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2012}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008}, URN = {urn:nbn:de:0030-drops-35701}, doi = {10.4230/OASIcs.WCET.2008}, annote = {Keywords: Performance of Systems, Software/Program Verification} }
8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kirner:OASIcs.WCET.2008.1671, author = {Kirner, Raimund}, title = {{WCET 2008 Abstracts Collection -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {i--x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1671}, URN = {urn:nbn:de:0030-drops-16712}, doi = {10.4230/OASIcs.WCET.2008.1671}, annote = {Keywords: Worst-case execution time, real-time systems, timing analysis} }
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, and Markus Schordan. WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{holsti_et_al:OASIcs.WCET.2008.1663, author = {Holsti, Niklas and Gustafsson, Jan and Bernat, Guillem and Ballabriga, Cl\'{e}ment and Bonenfant, Armelle and Bourgade, Roman and Cass\'{e}, Hugues and Cordes, Daniel and Kadlec, Albrecht and Kirner, Raimund and Knoop, Jens and Lokuciejewski, Paul and Merriam, Nicholas and de Michiel, Marianne and Prantl, Adrian and Rieder, Bernhard and Rochange, Christine and Sainrat, Pascal and Schordan, Markus}, title = {{WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1663}, URN = {urn:nbn:de:0030-drops-16637}, doi = {10.4230/OASIcs.WCET.2008.1663}, annote = {Keywords: WCET analysis, benchmark} }
David Hickey, Diarmuid Early, and Michel Schellekens. A tool for average and worst-case execution time analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hickey_et_al:OASIcs.WCET.2008.1668, author = {Hickey, David and Early, Diarmuid and Schellekens, Michel}, title = {{A tool for average and worst-case execution time analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1668}, URN = {urn:nbn:de:0030-drops-16680}, doi = {10.4230/OASIcs.WCET.2008.1668}, annote = {Keywords: Tool, static timing, worst-case, average-case, execution time} }
Olivier Gilles and Jérôme Hugues. Applying WCET Analysis at Architectural Level. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gilles_et_al:OASIcs.WCET.2008.1665, author = {Gilles, Olivier and Hugues, J\'{e}r\^{o}me}, title = {{Applying WCET Analysis at Architectural Level}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1665}, URN = {urn:nbn:de:0030-drops-16653}, doi = {10.4230/OASIcs.WCET.2008.1665}, annote = {Keywords: WCET, AADL, Bound-T, Ocarina} }
Niklas Holsti. Computing time as a program variable: a way around infeasible paths. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{holsti:OASIcs.WCET.2008.1660, author = {Holsti, Niklas}, title = {{Computing time as a program variable: a way around infeasible paths}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1660}, URN = {urn:nbn:de:0030-drops-16608}, doi = {10.4230/OASIcs.WCET.2008.1660}, annote = {Keywords: WCET, flow analysis, infeasible paths, dependency analysis} }
Clément Ballabriga and Hugues Cassé. Improving the WCET computation time by IPET using control flow graph partitioning. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{ballabriga_et_al:OASIcs.WCET.2008.1670, author = {Ballabriga, Cl\'{e}ment and Cass\'{e}, Hugues}, title = {{Improving the WCET computation time by IPET using control flow graph partitioning}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1670}, URN = {urn:nbn:de:0030-drops-16701}, doi = {10.4230/OASIcs.WCET.2008.1670}, annote = {Keywords: Static analysis, SESE regions, ILP} }
Michael Zolda. INFER: Interactive Timing Profiles based on Bayesian Networks. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{zolda:OASIcs.WCET.2008.1669, author = {Zolda, Michael}, title = {{INFER: Interactive Timing Profiles based on Bayesian Networks}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1669}, URN = {urn:nbn:de:0030-drops-16695}, doi = {10.4230/OASIcs.WCET.2008.1669}, annote = {Keywords: Bayesian networks, embedded systems, hardware modeling, measurement-based execution time analysis, software modeling, probabilistic modeling, profilin} }
Jan Gustafsson and Andreas Ermedahl. Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gustafsson_et_al:OASIcs.WCET.2008.1658, author = {Gustafsson, Jan and Ermedahl, Andreas}, title = {{Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1658}, URN = {urn:nbn:de:0030-drops-16585}, doi = {10.4230/OASIcs.WCET.2008.1658}, annote = {Keywords: Worst-Case Execution Time (WCET) analysis, flow analysis} }
Peter Puschner and Martin Schoeberl. On Composable System Timing, Task Timing, and WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{puschner_et_al:OASIcs.WCET.2008.1662, author = {Puschner, Peter and Schoeberl, Martin}, title = {{On Composable System Timing, Task Timing, and WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1662}, URN = {urn:nbn:de:0030-drops-16622}, doi = {10.4230/OASIcs.WCET.2008.1662}, annote = {Keywords: Real-time systems, timing analysis, WCET analysis, predictable timing, composability} }
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, and Jens Knoop. Towards a Common WCET Annotation Language: Essential Ingredients. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kirner_et_al:OASIcs.WCET.2008.1657, author = {Kirner, Raimund and Kadlec, Albrecht and Prantl, Adrian and Schordan, Markus and Knoop, Jens}, title = {{Towards a Common WCET Annotation Language: Essential Ingredients}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1657}, URN = {urn:nbn:de:0030-drops-16575}, doi = {10.4230/OASIcs.WCET.2008.1657}, annote = {Keywords: Worst-case execution time (WCET) analysis, annotation languages, WCET annotation language challenge} }
Stefan Bygde and Björn Lisper. Towards an Automatic Parametric WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bygde_et_al:OASIcs.WCET.2008.1659, author = {Bygde, Stefan and Lisper, Bj\"{o}rn}, title = {{Towards an Automatic Parametric WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1659}, URN = {urn:nbn:de:0030-drops-16592}, doi = {10.4230/OASIcs.WCET.2008.1659}, annote = {Keywords: WCET, Flow Analysis, Parametric, Symbolic} }
Amine Marref and Guillem Bernat. Towards Predicated WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{marref_et_al:OASIcs.WCET.2008.1667, author = {Marref, Amine and Bernat, Guillem}, title = {{Towards Predicated WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1667}, URN = {urn:nbn:de:0030-drops-16670}, doi = {10.4230/OASIcs.WCET.2008.1667}, annote = {Keywords: WCET Analysis, Implicit-Path Enumeration-Technique, Constraint-Logic Programming, Static Analysis} }
Jack Whitham and Neil Audsley. Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{whitham_et_al:OASIcs.WCET.2008.1666, author = {Whitham, Jack and Audsley, Neil}, title = {{Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1666}, URN = {urn:nbn:de:0030-drops-16666}, doi = {10.4230/OASIcs.WCET.2008.1666}, annote = {Keywords: WCET superscalar cpu virtual traces} }
Adrian Prantl, Markus Schordan, and Jens Knoop. TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{prantl_et_al:OASIcs.WCET.2008.1661, author = {Prantl, Adrian and Schordan, Markus and Knoop, Jens}, title = {{TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1661}, URN = {urn:nbn:de:0030-drops-16611}, doi = {10.4230/OASIcs.WCET.2008.1661}, annote = {Keywords: Worst-case execution time (WCET) analysis, Tool Chain, Flow Constraints, Source-To-Source} }
Sebastian Altmeyer and Gernot Gebhard. WCET Analysis for Preemptive Scheduling. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{altmeyer_et_al:OASIcs.WCET.2008.1664, author = {Altmeyer, Sebastian and Gebhard, Gernot}, title = {{WCET Analysis for Preemptive Scheduling}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1664}, URN = {urn:nbn:de:0030-drops-16644}, doi = {10.4230/OASIcs.WCET.2008.1664}, annote = {Keywords: WCET, Preemption} }
Feedback for Dagstuhl Publishing