@Proceedings{wilhelm:OASIcs.WCET.2005,
title = {{OASIcs, Volume 1, WCET 2005, Complete Volume}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {1--48},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005},
URN = {urn:nbn:de:0030-drops-35637},
doi = {10.4230/OASIcs.WCET.2005},
annote = {Keywords: OASIcs, Volume 1, WCET 2005, Complete Volume}
}
@InProceedings{wilhelm:OASIcs.WCET.2005.817,
author = {Wilhelm, Reinhard},
title = {{2005 WCET Preface -- Message from the Workshop Chair}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {i--vi},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.817},
URN = {urn:nbn:de:0030-drops-8171},
doi = {10.4230/OASIcs.WCET.2005.817},
annote = {Keywords: Real time systems, timing analysis, embedded systems}
}
@InProceedings{stachulat_et_al:OASIcs.WCET.2005.813,
author = {Stachulat, Jan and Schliecker, Simon and Ivers, Matthias and Ernst, Rolf},
title = {{Analysis of Memory Latencies in Multi-Processor Systems}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {33--36},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.813},
URN = {urn:nbn:de:0030-drops-8130},
doi = {10.4230/OASIcs.WCET.2005.813},
annote = {Keywords: Multi-processor Performance Analysis, Memory Access Latency, Worst Case Execution Time}
}
@InProceedings{kirner_et_al:OASIcs.WCET.2005.815,
author = {Kirner, Raimund and Puschner, Peter},
title = {{Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {41--45},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.815},
URN = {urn:nbn:de:0030-drops-8154},
doi = {10.4230/OASIcs.WCET.2005.815},
annote = {Keywords: Worst-Case Execution Time, WCET, Code Annotations, Path Information, Compiler, Real-Time}
}
@InProceedings{souyris_et_al:OASIcs.WCET.2005.810,
author = {Souyris, Jean and Le Pavec, Erwan and Himbert, Guillaume and Borios, Guillaume and J\'{e}gu, Victor and Heckmann, Reinhold},
title = {{Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {21--24},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2008},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.810},
URN = {urn:nbn:de:0030-drops-8103},
doi = {10.4230/OASIcs.WCET.2005.810},
annote = {Keywords: }
}
@InProceedings{wilhelm:OASIcs.WCET.2005.814,
author = {Wilhelm, Stephan},
title = {{Efficient Analysis of Pipeline Models for WCET Computation}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {37--40},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.814},
URN = {urn:nbn:de:0030-drops-8149},
doi = {10.4230/OASIcs.WCET.2005.814},
annote = {Keywords: Worst-case execution time prediction, pipeline analysis, timing anomalies, binary decision diagrams}
}
@InProceedings{ermedahl_et_al:OASIcs.WCET.2005.811,
author = {Ermedahl, Andreas and Gustafsson, Jan and Lisper, Bj\"{o}rn},
title = {{Experiences from Industrial WCET Analysis Case Studies}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {25--28},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.811},
URN = {urn:nbn:de:0030-drops-8118},
doi = {10.4230/OASIcs.WCET.2005.811},
annote = {Keywords: }
}
@InProceedings{chen_et_al:OASIcs.WCET.2005.816,
author = {Chen, Ting and Mitra, Tulika and Roychoudhury, Abhik and Suhendra, Vivy},
title = {{Exploiting Branch Constraints without Exhaustive Path Enumeration}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {46--49},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.816},
URN = {urn:nbn:de:0030-drops-8163},
doi = {10.4230/OASIcs.WCET.2005.816},
annote = {Keywords: WCET, infeasible path, branch constraints}
}
@InProceedings{betts_et_al:OASIcs.WCET.2005.807,
author = {Betts, Adam and Berant, Guillem},
title = {{Issues using the Nexus Interface for Measurement-Based WCET Analysis}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {9--12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.807},
URN = {urn:nbn:de:0030-drops-8076},
doi = {10.4230/OASIcs.WCET.2005.807},
annote = {Keywords: Nexus interface, Measurememt-Based WCET analysis}
}
@InProceedings{deverge_et_al:OASIcs.WCET.2005.808,
author = {Deverge, Jean-Fran\c{c}ois and Puaut, Isabelle},
title = {{Safe measurement-based WCET estimation}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {13--16},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.808},
URN = {urn:nbn:de:0030-drops-8089},
doi = {10.4230/OASIcs.WCET.2005.808},
annote = {Keywords: Real-Time, Timing Analysis, Test-Case generation, Processor Architecture}
}
@InProceedings{petersson_et_al:OASIcs.WCET.2005.812,
author = {Petersson, Samuel and Ermedahl, Andreas and Pettersson, Anders and Sundmark, Daniel and Holsti, Niklas},
title = {{Using a WCET Analysis Tool in Real-Time Systems Education}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {29--32},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.812},
URN = {urn:nbn:de:0030-drops-8126},
doi = {10.4230/OASIcs.WCET.2005.812},
annote = {Keywords: }
}
@InProceedings{williams:OASIcs.WCET.2005.809,
author = {Williams, Nicky},
title = {{WCET measurement using modified path testing}},
booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
pages = {17--20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-24-8},
ISSN = {2190-6807},
year = {2007},
volume = {1},
editor = {Wilhelm, Reinhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2005.809},
URN = {urn:nbn:de:0030-drops-8094},
doi = {10.4230/OASIcs.WCET.2005.809},
annote = {Keywords: WCET measurement, automatic generation of test inputs, path coverage, PathCrawler}
}
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