@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
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