OASIcs, Volume 10
WCET 2009, June 30, 2009, Trinity College, Dublin, Ireland
Editors: Niklas Holsti
Published in: OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Niklas Holsti, Jan Gustafsson, Linus Källberg, and Björn Lisper. Analysing Switch-Case Code with Abstract Execution. In 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Open Access Series in Informatics (OASIcs), Volume 47, pp. 85-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{holsti_et_al:OASIcs.WCET.2015.85, author = {Holsti, Niklas and Gustafsson, Jan and K\"{a}llberg, Linus and Lisper, Bj\"{o}rn}, title = {{Analysing Switch-Case Code with Abstract Execution}}, booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)}, pages = {85--94}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-95-8}, ISSN = {2190-6807}, year = {2015}, volume = {47}, editor = {Cazorla, Francisco J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.85}, URN = {urn:nbn:de:0030-drops-52598}, doi = {10.4230/OASIcs.WCET.2015.85}, annote = {Keywords: ynamic control flow, indexed branch, machine-code analysis, WCET analysis} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. i-iv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter Puschner, and Reinhard Wilhelm. Teaching WCET Analysis in Academia and Industry: A Panel Discussion. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Clément Ballabriga, Hugues Cassé, and Marianne De Michiel. A Generic Framework for Blackbox Components in WCET Computation. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, and Linus Källberg. ALF - A Language for WCET Flow Analysis. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Claire Burguière, Jan Reineke, and Sebastian Altmeyer. Cache-Related Preemption Delay Computation for Set-Associative Caches - Pitfalls and Solutions. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Benedikt Huber and Martin Schoeberl. Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Paul Keim, Amanda Noyes, Andrew Ferguson, Joshua Neal, and Christopher Healy. Extending the Path Analysis Technique to Obtain a Soft WCET. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, and Markus Schordan. From Trusted Annotations to Verified Knowledge. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Martin Schoeberl and Peter Puschner. Is Chip-Multiprocessing the End of Real-Time Scheduling?. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Jörg Herter and Jan Reineke. Making Dynamic Memory Allocation Static to Support WCET Analysis. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Petru Eles. Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Jan Reineke and Rathijit Sen. Sound and Efficient WCET Analysis in the Presence of Timing Anomalies. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@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-dev.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} }
Feedback for Dagstuhl Publishing