@Proceedings{vardanega:OASIcs.WCET.2012,
title = {{OASIcs, Volume 23, WCET'12, Complete Volume}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
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},
URN = {urn:nbn:de:0030-drops-35928},
doi = {10.4230/OASIcs.WCET.2012},
annote = {Keywords: \lbrackSpecial-Purpose and Application-Based Systems\rbrack: Real-time and embedded systems, \lbrackPerformance of systems\rbrack: Modelling techniques, Performance attribute Software/Program Verification, Testing and Debugging, \lbrackSoftware Engineering\rbrack: Software Architectures – Domain-specific architectures, Patterns}
}
@InProceedings{vardanega:OASIcs.WCET.2012.i,
author = {Vardanega, Tullio},
title = {{Frontmatter, Table of Contents, Preface, Workshop Organization, List of Authors}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {i--xi},
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.i},
URN = {urn:nbn:de:0030-drops-35625},
doi = {10.4230/OASIcs.WCET.2012.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization, List of Authors}
}
@InProceedings{cassez_et_al:OASIcs.WCET.2012.1,
author = {Cassez, Franck and Hansen, Ren\'{e} Rydhof and Olesen, Mads Chr.},
title = {{What is a Timing Anomaly?}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {1--12},
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.1},
URN = {urn:nbn:de:0030-drops-35521},
doi = {10.4230/OASIcs.WCET.2012.1},
annote = {Keywords: Timing anomalies, worst case execution time (WCET), abstractions}
}
@InProceedings{abdelmaksoud_et_al:OASIcs.WCET.2012.13,
author = {Abdel Maksoud, Mohamed and Reineke, Jan},
title = {{An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {13--24},
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.13},
URN = {urn:nbn:de:0030-drops-35536},
doi = {10.4230/OASIcs.WCET.2012.13},
annote = {Keywords: Empirical evaluation, architecture complexity effect, WCET analysis precision, WCET analysis performance, PowerPC 7448, Load-Store Unit}
}
@InProceedings{wegener:OASIcs.WCET.2012.25,
author = {Wegener, Simon},
title = {{Computing Same Block Relations for Relational Cache Analysis}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {25--37},
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.25},
URN = {urn:nbn:de:0030-drops-35544},
doi = {10.4230/OASIcs.WCET.2012.25},
annote = {Keywords: Cache Analysis, WCET Analysis, Real-time Systems, Static Program Analysis, Abstract Interpretation}
}
@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}
}
@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}
}
@InProceedings{mittermayr_et_al:OASIcs.WCET.2012.59,
author = {Mittermayr, Robert and Blieberger, Johann},
title = {{Timing Analysis of Concurrent Programs}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {59--68},
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.59},
URN = {urn:nbn:de:0030-drops-35570},
doi = {10.4230/OASIcs.WCET.2012.59},
annote = {Keywords: Worst-case execution time analysis (WCET), Concurrency, Thread Synchronization, Kronecker Algebra, Program Analysis}
}
@InProceedings{baldovin_et_al:OASIcs.WCET.2012.69,
author = {Baldovin, Andrea and Mezzetti, Enrico and Vardanega, Tullio},
title = {{A Time-composable Operating System}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {69--80},
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.69},
URN = {urn:nbn:de:0030-drops-35589},
doi = {10.4230/OASIcs.WCET.2012.69},
annote = {Keywords: Real-time Operating System, Timing composability, ARINC}
}
@InProceedings{garrido_et_al:OASIcs.WCET.2012.81,
author = {Garrido, Jorge and Brosnan, Daniel and de la Puente, Juan A. and Alonso, Alejandro and Zamorano, Juan},
title = {{Analysis of WCET in an experimental satellite software development}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {81--90},
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.81},
URN = {urn:nbn:de:0030-drops-35592},
doi = {10.4230/OASIcs.WCET.2012.81},
annote = {Keywords: Real-time systems, embedded systems, timing analysis, WCET calculation}
}
@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}
}
@InProceedings{marref:OASIcs.WCET.2012.103,
author = {Marref, Amine},
title = {{Evolutionary Techniques for Parametric WCET Analysis}},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis},
pages = {103--115},
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.103},
URN = {urn:nbn:de:0030-drops-35611},
doi = {10.4230/OASIcs.WCET.2012.103},
annote = {Keywords: Real-time systems, parametric worst-case execution-time analysis, end- to-end testing, genetic programming}
}
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