@Proceedings{holsti:OASIcs.WCET.2009,
title = {{OASIcs, Volume 10, WCET'09, Complete Volume}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2012},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009},
URN = {urn:nbn:de:0030-drops-35729},
doi = {10.4230/OASIcs.WCET.2009},
annote = {Keywords: Performance of Systems, Software/Program Verification}
}
@InProceedings{holsti:OASIcs.WCET.2009.2295,
author = {Holsti, Niklas},
title = {{WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {i--iv},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2295},
URN = {urn:nbn:de:0030-drops-22958},
doi = {10.4230/OASIcs.WCET.2009.2295},
annote = {Keywords: Worst-case execution time, WCET analysis, real-time systems, scheduling}
}
@InProceedings{holsti_et_al:OASIcs.WCET.2009.2278,
author = {Holsti, Niklas and Bernat, Guillem and Ferdinand, Christian and Puschner, Peter and Wilhelm, Reinhard},
title = {{Teaching WCET Analysis in Academia and Industry: A Panel Discussion}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--4},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2278},
URN = {urn:nbn:de:0030-drops-22780},
doi = {10.4230/OASIcs.WCET.2009.2278},
annote = {Keywords: WCET analysis, teaching, courses}
}
@InProceedings{ballabriga_et_al:OASIcs.WCET.2009.2290,
author = {Ballabriga, Cl\'{e}ment and Cass\'{e}, Hugues and De Michiel, Marianne},
title = {{A Generic Framework for Blackbox Components in WCET Computation}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2290},
URN = {urn:nbn:de:0030-drops-22907},
doi = {10.4230/OASIcs.WCET.2009.2290},
annote = {Keywords: WCET analysis, components, COTS, XML}
}
@InProceedings{gustafsson_et_al:OASIcs.WCET.2009.2279,
author = {Gustafsson, Jan and Ermedahl, Andreas and Lisper, Bj\"{o}rn and Sandberg, Christer and K\"{a}llberg, Linus},
title = {{ALF - A Language for WCET Flow Analysis}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2279},
URN = {urn:nbn:de:0030-drops-22791},
doi = {10.4230/OASIcs.WCET.2009.2279},
annote = {Keywords: WCET analysis, flow analysis, ALF WCET analysis, flow analysis, ALF}
}
@InProceedings{burguiere_et_al:OASIcs.WCET.2009.2285,
author = {Burgui\`{e}re, Claire and Reineke, Jan and Altmeyer, Sebastian},
title = {{Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2285},
URN = {urn:nbn:de:0030-drops-22856},
doi = {10.4230/OASIcs.WCET.2009.2285},
annote = {Keywords: WCET analysis, caches, set-associative, preemption, CRPD}
}
@InProceedings{huber_et_al:OASIcs.WCET.2009.2281,
author = {Huber, Benedikt and Schoeberl, Martin},
title = {{Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2281},
URN = {urn:nbn:de:0030-drops-22810},
doi = {10.4230/OASIcs.WCET.2009.2281},
annote = {Keywords: WCET analysis, model checking, IPET, Java, JOP, UPPAAL}
}
@InProceedings{keim_et_al:OASIcs.WCET.2009.2292,
author = {Keim, Paul and Noyes, Amanda and Ferguson, Andrew and Neal, Joshua and Healy, Christopher},
title = {{Extending the Path Analysis Technique to Obtain a Soft WCET}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2292},
URN = {urn:nbn:de:0030-drops-22922},
doi = {10.4230/OASIcs.WCET.2009.2292},
annote = {Keywords: WCET analysis, soft real-time, path-based, distribution}
}
@InProceedings{prantl_et_al:OASIcs.WCET.2009.2282,
author = {Prantl, Adrian and Knoop, Jens and Kirner, Raimund and Kadlec, Albrecht and Schordan, Markus},
title = {{From Trusted Annotations to Verified Knowledge}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2282},
URN = {urn:nbn:de:0030-drops-22828},
doi = {10.4230/OASIcs.WCET.2009.2282},
annote = {Keywords: WCET analysis, annotations, binary tightening, binary widening, model checking, CBMC}
}
@InProceedings{schoeberl_et_al:OASIcs.WCET.2009.2288,
author = {Schoeberl, Martin and Puschner, Peter},
title = {{Is Chip-Multiprocessing the End of Real-Time Scheduling?}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2288},
URN = {urn:nbn:de:0030-drops-22885},
doi = {10.4230/OASIcs.WCET.2009.2288},
annote = {Keywords: WCET analysis, multicore, chip multiprocessing, memory access scheduling}
}
@InProceedings{herter_et_al:OASIcs.WCET.2009.2284,
author = {Herter, J\"{o}rg and Reineke, Jan},
title = {{Making Dynamic Memory Allocation Static to Support WCET Analysis}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2284},
URN = {urn:nbn:de:0030-drops-22846},
doi = {10.4230/OASIcs.WCET.2009.2284},
annote = {Keywords: WCET analysis, dynamic memory allocation, heap}
}
@InProceedings{eles:OASIcs.WCET.2009.2287,
author = {Eles, Petru},
title = {{Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2287},
URN = {urn:nbn:de:0030-drops-22875},
doi = {10.4230/OASIcs.WCET.2009.2287},
annote = {Keywords: WCET analysis, multiprocessor, SoC, system scheduling}
}
@InProceedings{reineke_et_al:OASIcs.WCET.2009.2289,
author = {Reineke, Jan and Sen, Rathijit},
title = {{Sound and Efficient WCET Analysis in the Presence of Timing Anomalies}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2289},
URN = {urn:nbn:de:0030-drops-22894},
doi = {10.4230/OASIcs.WCET.2009.2289},
annote = {Keywords: WCET analysis, timing anomalies, domino effect}
}
@InProceedings{hansen_et_al:OASIcs.WCET.2009.2291,
author = {Hansen, Jeffery and Hissam, Scott and Moreno, Gabriel A.},
title = {{Statistical-Based WCET Estimation and Validation}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2291},
URN = {urn:nbn:de:0030-drops-22916},
doi = {10.4230/OASIcs.WCET.2009.2291},
annote = {Keywords: WCET analysis, measurement-based, extreme value theory, EVT, Gumbel}
}
@InProceedings{lesage_et_al:OASIcs.WCET.2009.2283,
author = {Lesage, Benjamin and Hardy, Damien and Puaut, Isabelle},
title = {{WCET Analysis of Multi-Level Set-Associative Data Caches}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2283},
URN = {urn:nbn:de:0030-drops-22837},
doi = {10.4230/OASIcs.WCET.2009.2283},
annote = {Keywords: WCET analysis, data cache, multi-level, set-associative}
}
@InProceedings{plazar_et_al:OASIcs.WCET.2009.2286,
author = {Plazar, Sascha and Lokuciejewski, Paul and Marwedel, Peter},
title = {{WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2286},
URN = {urn:nbn:de:0030-drops-22860},
doi = {10.4230/OASIcs.WCET.2009.2286},
annote = {Keywords: WCET analysis, cache partitioning}
}
@InProceedings{nenova_et_al:OASIcs.WCET.2009.2280,
author = {Nenova, Stefana and K\"{a}stner, Daniel},
title = {{Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
pages = {1--11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Holsti, Niklas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2280},
URN = {urn:nbn:de:0030-drops-22807},
doi = {10.4230/OASIcs.WCET.2009.2280},
annote = {Keywords: WCET estimation, architecture exploration WCET estimation, architecture exploration}
}
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