Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Benedikt Huber, Stefan Hepp, and Martin Schoeberl. Scope-Based Method Cache Analysis. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 73-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{huber_et_al:OASIcs.WCET.2014.73, author = {Huber, Benedikt and Hepp, Stefan and Schoeberl, Martin}, title = {{Scope-Based Method Cache Analysis}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {73--82}, 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.73}, URN = {urn:nbn:de:0030-drops-46066}, doi = {10.4230/OASIcs.WCET.2014.73}, annote = {Keywords: Real-Time Systems, Cache Analysis, Time-predictable Computer Architecture} }
Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Daniel Prokesch, Benedikt Huber, and Peter Puschner. Towards Automated Generation of Time-Predictable Code. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 103-112, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{prokesch_et_al:OASIcs.WCET.2014.103, author = {Prokesch, Daniel and Huber, Benedikt and Puschner, Peter}, title = {{Towards Automated Generation of Time-Predictable Code}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {103--112}, 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.103}, URN = {urn:nbn:de:0030-drops-46090}, doi = {10.4230/OASIcs.WCET.2014.103}, annote = {Keywords: Single-Path, Graph Transformation, Predictable Code, Compiler} }
Published in: OASIcs, Volume 23, 12th International Workshop on Worst-Case Execution Time Analysis (2012)
Benedikt Huber, Daniel Prokesch, and Peter Puschner. A Formal Framework for Precise Parametric WCET Formulas. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 91-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{huber_et_al:OASIcs.WCET.2012.91, author = {Huber, Benedikt and Prokesch, Daniel and Puschner, Peter}, title = {{A Formal Framework for Precise Parametric WCET Formulas}}, booktitle = {12th International Workshop on Worst-Case Execution Time Analysis}, pages = {91--102}, 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.91}, URN = {urn:nbn:de:0030-drops-35608}, doi = {10.4230/OASIcs.WCET.2012.91}, annote = {Keywords: Worst-case execution time analysis, parametric WCET analysis, path expressions, frequency expressions, algebraic framework} }
Published in: OASIcs, Volume 15, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Benedikt Huber and Peter Puschner. A Code Policy Guaranteeing Fully Automated Path Analysis. In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). Open Access Series in Informatics (OASIcs), Volume 15, pp. 77-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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-dev.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} }
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} }
Feedback for Dagstuhl Publishing