@Proceedings{lisper:OASIcs.WCET.2010,
title = {{OASIcs, Volume 15, WCET'10, Complete Volume}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2012},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010},
URN = {urn:nbn:de:0030-drops-35771},
doi = {10.4230/OASIcs.WCET.2010},
annote = {Keywords: Performance of Systems, Software/Program Verification, Computers in Other Systems}
}
@InProceedings{lisper:OASIcs.WCET.2010.i,
author = {Lisper, Bj\"{o}rn},
title = {{Frontmatter, Preface, Table of Contents, Workshop Organization}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {i--ix},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.i},
URN = {urn:nbn:de:0030-drops-28195},
doi = {10.4230/OASIcs.WCET.2010.i},
annote = {Keywords: Frontmatter, Preface, Table of Contents, Workshop Organization}
}
@InProceedings{gebhard:OASIcs.WCET.2010.1,
author = {Gebhard, Gernot},
title = {{Timing Anomalies Reloaded}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {1--10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.1},
URN = {urn:nbn:de:0030-drops-28201},
doi = {10.4230/OASIcs.WCET.2010.1},
annote = {Keywords: Timing Anomalies, Domino Effects, MRU Replacement Policy, LEON2}
}
@InProceedings{mezzetti_et_al:OASIcs.WCET.2010.11,
author = {Mezzetti, Enrico and Panunzio, Marco and Vardanega, Tullio},
title = {{Bounding the Effects of Resource Access Protocols on Cache Behavior}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {11--22},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.11},
URN = {urn:nbn:de:0030-drops-28217},
doi = {10.4230/OASIcs.WCET.2010.11},
annote = {Keywords: Resource access protocols, cache, worst-case response time}
}
@InProceedings{grund_et_al:OASIcs.WCET.2010.23,
author = {Grund, Daniel and Reineke, Jan},
title = {{Toward Precise PLRU Cache Analysis}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {23--35},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.23},
URN = {urn:nbn:de:0030-drops-28226},
doi = {10.4230/OASIcs.WCET.2010.23},
annote = {Keywords: Cache Analysis, PLRU Replacement, PLRU Tree}
}
@InProceedings{wilhelm_et_al:OASIcs.WCET.2010.36,
author = {Wilhelm, Stephan and Cullmann, Christoph},
title = {{Integrating Abstract Caches with Symbolic Pipeline Analysis}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {36--43},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36},
URN = {urn:nbn:de:0030-drops-28235},
doi = {10.4230/OASIcs.WCET.2010.36},
annote = {Keywords: WCET analysis, cache analysis, pipeline analysis}
}
@InProceedings{griffin_et_al:OASIcs.WCET.2010.44,
author = {Griffin, David and Burns, Alan},
title = {{Realism in Statistical Analysis of Worst Case Execution Times}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {44--53},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.44},
URN = {urn:nbn:de:0030-drops-28245},
doi = {10.4230/OASIcs.WCET.2010.44},
annote = {Keywords: WCET, Extreme value statistics, Gumbel distribution}
}
@InProceedings{betts_et_al:OASIcs.WCET.2010.54,
author = {Betts, Adam and Merriam, Nicholas and Bernat, Guillem},
title = {{Hybrid measurement-based WCET analysis at the source level using object-level traces}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {54--63},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.54},
URN = {urn:nbn:de:0030-drops-28255},
doi = {10.4230/OASIcs.WCET.2010.54},
annote = {Keywords: WCET analysis, hybrid analysis, trace}
}
@InProceedings{stattelmann_et_al:OASIcs.WCET.2010.64,
author = {Stattelmann, Stefan and Martin, Florian},
title = {{On the Use of Context Information for Precise Measurement-Based Execution Time Estimation}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {64--76},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.64},
URN = {urn:nbn:de:0030-drops-28269},
doi = {10.4230/OASIcs.WCET.2010.64},
annote = {Keywords: WCET analysis, trace, execution time measurement}
}
@InProceedings{huber_et_al:OASIcs.WCET.2010.77,
author = {Huber, Benedikt and Puschner, Peter},
title = {{A Code Policy Guaranteeing Fully Automated Path Analysis}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {77--88},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.77},
URN = {urn:nbn:de:0030-drops-28274},
doi = {10.4230/OASIcs.WCET.2010.77},
annote = {Keywords: WCET analysis, path analysis, single-path code, SSA form}
}
@InProceedings{souyris:OASIcs.WCET.2010.89,
author = {Souyris, Jean},
title = {{WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {89--89},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.89},
URN = {urn:nbn:de:0030-drops-28284},
doi = {10.4230/OASIcs.WCET.2010.89},
annote = {Keywords: WCET analysis, avionics software, safety-critical system}
}
@InProceedings{rochange_et_al:OASIcs.WCET.2010.90,
author = {Rochange, Christine and Bonenfant, Armelle and Sainrat, Pascal and Gerdes, Mike and Wolf, Julian and Ungerer, Theo and Petrov, Zlatko and Mikulu, Frantisek},
title = {{WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {90--100},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.90},
URN = {urn:nbn:de:0030-drops-28298},
doi = {10.4230/OASIcs.WCET.2010.90},
annote = {Keywords: WCET analysis, multicore, timing predictability}
}
@InProceedings{gustavsson_et_al:OASIcs.WCET.2010.101,
author = {Gustavsson, Andreas and Ermedahl, Andreas and Lisper, Bj\"{o}rn and Pettersson, Paul},
title = {{Towards WCET Analysis of Multicore Architectures Using UPPAAL}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {101--112},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.101},
URN = {urn:nbn:de:0030-drops-28304},
doi = {10.4230/OASIcs.WCET.2010.101},
annote = {Keywords: WCET, Multicore, Parallel, Thread Synchronization, Model-Checking, UPPAAL}
}
@InProceedings{dalsgaard_et_al:OASIcs.WCET.2010.113,
author = {Dalsgaard, Andreas E. and Olesen, Mads Chr. and Toft, Martin and Hansen, Ren\'{e} Rydhof and Larsen, Kim Guldstrand},
title = {{METAMOC: Modular Execution Time Analysis using Model Checking}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {113--123},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.113},
URN = {urn:nbn:de:0030-drops-28319},
doi = {10.4230/OASIcs.WCET.2010.113},
annote = {Keywords: WCET analysis, timed automata, model checking, UPPAAL}
}
@InProceedings{herter_et_al:OASIcs.WCET.2010.124,
author = {Herter, J\"{o}rg and Altmeyer, Sebastian},
title = {{Precomputing Memory Locations for Parametric Allocations}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {124--135},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.124},
URN = {urn:nbn:de:0030-drops-28320},
doi = {10.4230/OASIcs.WCET.2010.124},
annote = {Keywords: WCET analysis, cache analysis, dynamic/static memory allocation}
}
@InProceedings{gustafsson_et_al:OASIcs.WCET.2010.136,
author = {Gustafsson, Jan and Betts, Adam and Ermedahl, Andreas and Lisper, Bj\"{o}rn},
title = {{The M\"{a}lardalen WCET Benchmarks: Past, Present And Future}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
pages = {136--146},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-21-7},
ISSN = {2190-6807},
year = {2010},
volume = {15},
editor = {Lisper, Bj\"{o}rn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.136},
URN = {urn:nbn:de:0030-drops-28336},
doi = {10.4230/OASIcs.WCET.2010.136},
annote = {Keywords: WCET analysis, benchmark}
}
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