Published in: OASIcs, Volume 55, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, and Simon Wegener. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. In 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016). Open Access Series in Informatics (OASIcs), Volume 55, pp. 2:1-2:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{falk_et_al:OASIcs.WCET.2016.2, author = {Falk, Heiko and Altmeyer, Sebastian and Hellinckx, Peter and Lisper, Bj\"{o}rn and Puffitsch, Wolfgang and Rochange, Christine and Schoeberl, Martin and S{\o}rensen, Rasmus Bo and W\"{a}gemann, Peter and Wegener, Simon}, title = {{TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research}}, booktitle = {16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)}, pages = {2:1--2:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-025-5}, ISSN = {2190-6807}, year = {2016}, volume = {55}, editor = {Schoeberl, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2016.2}, URN = {urn:nbn:de:0030-drops-68958}, doi = {10.4230/OASIcs.WCET.2016.2}, annote = {Keywords: Benchmark, WCET analysis, real-time systems} }
Published in: OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, and Christine Rochange. WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. In 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Open Access Series in Informatics (OASIcs), Volume 47, pp. 65-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{altmeyer_et_al:OASIcs.WCET.2015.65, author = {Altmeyer, Sebastian and Lisper, Bj\"{o}rn and Maiza, Claire and Reineke, Jan and Rochange, Christine}, title = {{WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?}}, booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)}, pages = {65--74}, 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.65}, URN = {urn:nbn:de:0030-drops-52574}, doi = {10.4230/OASIcs.WCET.2015.65}, annote = {Keywords: mixed criticality, WCET analysis, confidence in WCET estimates} }
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 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Björn Lisper. Principles for Value Annotation Languages. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{lisper:OASIcs.WCET.2014.1, author = {Lisper, Bj\"{o}rn}, title = {{Principles for Value Annotation Languages}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {1--10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-69-9}, ISSN = {2190-6807}, year = {2014}, volume = {39}, editor = {Falk, Heiko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.1}, URN = {urn:nbn:de:0030-drops-45996}, doi = {10.4230/OASIcs.WCET.2014.1}, annote = {Keywords: Real-Time System, WCET analysis, Flow Fact, Assertion} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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-dev.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} }
Published in: OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012)
Andreas Gustavsson, Jan Gustafsson, and Björn Lisper. Toward Static Timing Analysis of Parallel Software. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 38-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gustavsson_et_al:OASIcs.WCET.2012.38, author = {Gustavsson, Andreas and Gustafsson, Jan and Lisper, Bj\"{o}rn}, title = {{Toward Static Timing Analysis of Parallel Software}}, booktitle = {12th International Workshop on Worst-Case Execution Time Analysis}, pages = {38--47}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-41-5}, ISSN = {2190-6807}, year = {2012}, volume = {23}, editor = {Vardanega, Tullio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.38}, URN = {urn:nbn:de:0030-drops-35552}, doi = {10.4230/OASIcs.WCET.2012.38}, annote = {Keywords: Parallelism, BCET, WCET, Static analysis, Abstract interpretation} }
Published in: OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012)
Björn Lisper. Towards Parallel Programming Models for Predictability. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 48-58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lisper:OASIcs.WCET.2012.48, author = {Lisper, Bj\"{o}rn}, title = {{Towards Parallel Programming Models for Predictability}}, booktitle = {12th International Workshop on Worst-Case Execution Time Analysis}, pages = {48--58}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-41-5}, ISSN = {2190-6807}, year = {2012}, volume = {23}, editor = {Vardanega, Tullio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2012.48}, URN = {urn:nbn:de:0030-drops-35565}, doi = {10.4230/OASIcs.WCET.2012.48}, annote = {Keywords: Real-Time System, WCET analysis, Parallel Program, Data Parallelism} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. i-ix, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Gernot Gebhard. Timing Anomalies Reloaded. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Enrico Mezzetti, Marco Panunzio, and Tullio Vardanega. Bounding the Effects of Resource Access Protocols on Cache Behavior. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 11-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Daniel Grund and Jan Reineke. Toward Precise PLRU Cache Analysis. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 23-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Stephan Wilhelm and Christoph Cullmann. Integrating Abstract Caches with Symbolic Pipeline Analysis. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 36-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
David Griffin and Alan Burns. Realism in Statistical Analysis of Worst Case Execution Times. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 44-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Adam Betts, Nicholas Merriam, and Guillem Bernat. Hybrid measurement-based WCET analysis at the source level using object-level traces. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 54-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Stefan Stattelmann and Florian Martin. On the Use of Context Information for Precise Measurement-Based Execution Time Estimation. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 64-76, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
Feedback for Dagstuhl Publishing