@Proceedings{rochange:OASIcs.WCET.2007,
title = {{OASIcs, Volume 6, WCET'07, Complete Volume}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2012},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007},
URN = {urn:nbn:de:0030-drops-35684},
doi = {10.4230/OASIcs.WCET.2007},
annote = {Keywords: Performance of Systems, Software/Program Verification}
}
@InProceedings{rochange:OASIcs.WCET.2007.1238,
author = {Rochange, Christine},
title = {{WCET 2007 Abstracts Collection -- 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {i--x},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1238},
URN = {urn:nbn:de:0030-drops-12387},
doi = {10.4230/OASIcs.WCET.2007.1238},
annote = {Keywords: Worst-case execution time, real-time systems, timing analysis}
}
@InProceedings{gustafsson:OASIcs.WCET.2007.1198,
author = {Gustafsson, Jan},
title = {{WCET 2007 -- Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--2},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1198},
URN = {urn:nbn:de:0030-drops-11988},
doi = {10.4230/OASIcs.WCET.2007.1198},
annote = {Keywords: }
}
@InProceedings{schlickling_et_al:OASIcs.WCET.2007.1189,
author = {Schlickling, Marc and Pister, Markus},
title = {{A Framework for Static Analysis of VHDL Code}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1189},
URN = {urn:nbn:de:0030-drops-11891},
doi = {10.4230/OASIcs.WCET.2007.1189},
annote = {Keywords: Timing Analysis, Worst-Case Execution Time, VHDL, Static Analysis}
}
@InProceedings{holsti:OASIcs.WCET.2007.1195,
author = {Holsti, Niklas},
title = {{Analysing Switch-Case Tables by Partial Evaluation}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1195},
URN = {urn:nbn:de:0030-drops-11954},
doi = {10.4230/OASIcs.WCET.2007.1195},
annote = {Keywords: WCET, switch-case, partial evaluation}
}
@InProceedings{stein_et_al:OASIcs.WCET.2007.1196,
author = {Stein, Ingmar and Martin, Florian},
title = {{Analysis of path exclusion at the machine code level}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1196},
URN = {urn:nbn:de:0030-drops-11964},
doi = {10.4230/OASIcs.WCET.2007.1196},
annote = {Keywords: Flow-constraint, control flow graph, path exclusion}
}
@InProceedings{herrmann_et_al:OASIcs.WCET.2007.1186,
author = {Herrmann, Christoph A. and Bonenfant, Armelle and Hammond, Kevin and Jost, Steffen and Loidl, Hans-Wolfgang and Pointon, Robert},
title = {{Automatic Amortised Worst-Case Execution Time Analysis}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1186},
URN = {urn:nbn:de:0030-drops-11868},
doi = {10.4230/OASIcs.WCET.2007.1186},
annote = {Keywords: Amortisation, functional programming, performance measurement, static analysis, type and effect systems, worst-case execution time}
}
@InProceedings{fredriksson_et_al:OASIcs.WCET.2007.1185,
author = {Fredriksson, Johan and Nolte, Thomas and Ermedahl, Andreas and Nolin, Mikael},
title = {{Clustering Worst-Case Execution Times for Software Components}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--7},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1185},
URN = {urn:nbn:de:0030-drops-11852},
doi = {10.4230/OASIcs.WCET.2007.1185},
annote = {Keywords: Worst-case execution time, Software components, Reuse, Analysis}
}
@InProceedings{cullmann_et_al:OASIcs.WCET.2007.1193,
author = {Cullmann, Christoph and Martin, Florian},
title = {{Data-Flow Based Detection of Loop Bounds}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1193},
URN = {urn:nbn:de:0030-drops-11934},
doi = {10.4230/OASIcs.WCET.2007.1193},
annote = {Keywords: WCET analysis, loop bound detection, flow analysis}
}
@InProceedings{sundmark_et_al:OASIcs.WCET.2007.1191,
author = {Sundmark, Daniel and Petterson, Anders and Sandberg, Christer and Ermedahl, Andreas and Thane, Henrik},
title = {{Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1191},
URN = {urn:nbn:de:0030-drops-11914},
doi = {10.4230/OASIcs.WCET.2007.1191},
annote = {Keywords: Testing, Real-time systems, WCET analysis, data flow}
}
@InProceedings{ermedahl_et_al:OASIcs.WCET.2007.1194,
author = {Ermedahl, Andreas and Sandberg, Christer and Gustafsson, Jan and Bygde, Stefan and Lisper, Bj\"{o}rn},
title = {{Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1194},
URN = {urn:nbn:de:0030-drops-11946},
doi = {10.4230/OASIcs.WCET.2007.1194},
annote = {Keywords: WCET analysis, loop-bound analysis, program slicing, abstract interpretation, invariant analysis}
}
@InProceedings{petters_et_al:OASIcs.WCET.2007.1188,
author = {Petters, Stefan M. and Zadarnowski, Patryk and Heiser, Gernot},
title = {{Measurements or Static Analysis or Both?}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--7},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1188},
URN = {urn:nbn:de:0030-drops-11886},
doi = {10.4230/OASIcs.WCET.2007.1188},
annote = {Keywords: Measurement based Approach, Static Analysis, Cache Analysis, Proof, Overestimation}
}
@InProceedings{yun_et_al:OASIcs.WCET.2007.1192,
author = {Yun, Liang and Roychoudhury, Abhik and Mitra, Tulika},
title = {{Timing Analysis of Body Area Network Applications}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1192},
URN = {urn:nbn:de:0030-drops-11924},
doi = {10.4230/OASIcs.WCET.2007.1192},
annote = {Keywords: WCET analysis of Peripherals, Body Area Network applications}
}
@InProceedings{wilhelm_et_al:OASIcs.WCET.2007.1190,
author = {Wilhelm, Stephan and Wachter, Bj\"{o}rn},
title = {{Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1190},
URN = {urn:nbn:de:0030-drops-11904},
doi = {10.4230/OASIcs.WCET.2007.1190},
annote = {Keywords: WCET, worst-case execution time, hard real-time, embedded systems, abstract interpretation, pipeline analysis, cache analysis, symbolic state traversal BDD}
}
@InProceedings{kirner_et_al:OASIcs.WCET.2007.1197,
author = {Kirner, Raimund and Knoop, Jens and Prantl, Adrian and Schordan, Markus and Wenzel, Ingomar},
title = {{WCET Analysis: The Annotation Language Challenge}},
booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)},
pages = {1--17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-05-7},
ISSN = {2190-6807},
year = {2007},
volume = {6},
editor = {Rochange, Christine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1197},
URN = {urn:nbn:de:0030-drops-11974},
doi = {10.4230/OASIcs.WCET.2007.1197},
annote = {Keywords: Worst-case execution time analysis, WCET, path description, annotation language challenge, expressiveness, convenience}
}
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