12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. i-xi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Franck Cassez, René Rydhof Hansen, and Mads Chr. Olesen. What is a Timing Anomaly?. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Mohamed Abdel Maksoud and Jan Reineke. An Empirical Evaluation of the Influence of the Load-Store Unit on WCET Analysis. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 13-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Simon Wegener. Computing Same Block Relations for Relational Cache Analysis. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 25-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
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.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} }
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.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} }
Robert Mittermayr and Johann Blieberger. Timing Analysis of Concurrent Programs. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 59-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Andrea Baldovin, Enrico Mezzetti, and Tullio Vardanega. A Time-composable Operating System. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 69-80, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Jorge Garrido, Daniel Brosnan, Juan A. de la Puente, Alejandro Alonso, and Juan Zamorano. Analysis of WCET in an experimental satellite software development. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 81-90, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
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.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} }
Amine Marref. Evolutionary Techniques for Parametric WCET Analysis. In 12th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 23, pp. 103-115, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@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.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} }
Feedback for Dagstuhl Publishing