OASIcs, Volume 39
WCET 2014, July 8, 2014, Ulm, Germany
Editors: Heiko Falk
Published in: OASIcs, Volume 114, 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)
Kateryna Muts and Heiko Falk. Clustering Solutions of Multiobjective Function Inlining Problem. In 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023). Open Access Series in Informatics (OASIcs), Volume 114, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{muts_et_al:OASIcs.WCET.2023.4, author = {Muts, Kateryna and Falk, Heiko}, title = {{Clustering Solutions of Multiobjective Function Inlining Problem}}, booktitle = {21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-293-8}, ISSN = {2190-6807}, year = {2023}, volume = {114}, editor = {W\"{a}gemann, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.4}, URN = {urn:nbn:de:0030-drops-184332}, doi = {10.4230/OASIcs.WCET.2023.4}, annote = {Keywords: Clustering, multiobjective optimization, compiler, hard real-time system} }
Published in: OASIcs, Volume 114, 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)
Shashank Jadhav and Heiko Falk. Efficient and Effective Multi-Objective Optimization for Real-Time Multi-Task Systems. In 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023). Open Access Series in Informatics (OASIcs), Volume 114, pp. 5:1-5:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{jadhav_et_al:OASIcs.WCET.2023.5, author = {Jadhav, Shashank and Falk, Heiko}, title = {{Efficient and Effective Multi-Objective Optimization for Real-Time Multi-Task Systems}}, booktitle = {21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)}, pages = {5:1--5:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-293-8}, ISSN = {2190-6807}, year = {2023}, volume = {114}, editor = {W\"{a}gemann, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.5}, URN = {urn:nbn:de:0030-drops-184340}, doi = {10.4230/OASIcs.WCET.2023.5}, annote = {Keywords: Real-time systems, Multi-objective optimization, Metaheuristic algorithms, Compilers, Design space reduction} }
Published in: OASIcs, Volume 114, 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)
Shashank Jadhav and Heiko Falk. Towards Multi-Objective Dynamic SPM Allocation. In 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023). Open Access Series in Informatics (OASIcs), Volume 114, pp. 6:1-6:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{jadhav_et_al:OASIcs.WCET.2023.6, author = {Jadhav, Shashank and Falk, Heiko}, title = {{Towards Multi-Objective Dynamic SPM Allocation}}, booktitle = {21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)}, pages = {6:1--6:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-293-8}, ISSN = {2190-6807}, year = {2023}, volume = {114}, editor = {W\"{a}gemann, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.6}, URN = {urn:nbn:de:0030-drops-184353}, doi = {10.4230/OASIcs.WCET.2023.6}, annote = {Keywords: Multi-objective optimization, Embedded systems, Compilers, Dynamic SPM allocation, Metaheuristic algorithms} }
Published in: OASIcs, Volume 114, 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)
Simon Wegener, Kris K. Nikov, Jose Nunez-Yanez, and Kerstin Eder. EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications. In 21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023). Open Access Series in Informatics (OASIcs), Volume 114, pp. 9:1-9:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{wegener_et_al:OASIcs.WCET.2023.9, author = {Wegener, Simon and Nikov, Kris K. and Nunez-Yanez, Jose and Eder, Kerstin}, title = {{EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications}}, booktitle = {21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023)}, pages = {9:1--9:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-293-8}, ISSN = {2190-6807}, year = {2023}, volume = {114}, editor = {W\"{a}gemann, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2023.9}, URN = {urn:nbn:de:0030-drops-184380}, doi = {10.4230/OASIcs.WCET.2023.9}, annote = {Keywords: Energy Modelling, Static Analysis, Gaisler LEON3, ARM Cortex-M0} }
Published in: OASIcs, Volume 103, 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022)
Hazem Abaza, Zain Alabedin Haj Hammadeh, and Daniel Lüdtke. DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution. In 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022). Open Access Series in Informatics (OASIcs), Volume 103, pp. 3:1-3:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{abaza_et_al:OASIcs.WCET.2022.3, author = {Abaza, Hazem and Haj Hammadeh, Zain Alabedin and L\"{u}dtke, Daniel}, title = {{DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution}}, booktitle = {20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022)}, pages = {3:1--3:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-244-0}, ISSN = {2190-6807}, year = {2022}, volume = {103}, editor = {Ballabriga, Cl\'{e}ment}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2022.3}, URN = {urn:nbn:de:0030-drops-166256}, doi = {10.4230/OASIcs.WCET.2022.3}, annote = {Keywords: Real-Time, WCET, Symbolic execution} }
Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Dominic Oehlert, Selma Saidi, and Heiko Falk. Compiler-based Extraction of Event Arrival Functions for Real-Time Systems Analysis. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 4:1-4:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{oehlert_et_al:LIPIcs.ECRTS.2018.4, author = {Oehlert, Dominic and Saidi, Selma and Falk, Heiko}, title = {{Compiler-based Extraction of Event Arrival Functions for Real-Time Systems Analysis}}, booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}, pages = {4:1--4:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-075-0}, ISSN = {1868-8969}, year = {2018}, volume = {106}, editor = {Altmeyer, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.4}, URN = {urn:nbn:de:0030-drops-89985}, doi = {10.4230/LIPIcs.ECRTS.2018.4}, annote = {Keywords: compiler, real-time, event arrival functions, extraction} }
Published in: LIPIcs, Volume 76, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017)
Dominic Oehlert, Arno Luppold, and Heiko Falk. Bus-Aware Static Instruction SPM Allocation for Multicore Hard Real-Time Systems. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 76, pp. 1:1-1:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{oehlert_et_al:LIPIcs.ECRTS.2017.1, author = {Oehlert, Dominic and Luppold, Arno and Falk, Heiko}, title = {{Bus-Aware Static Instruction SPM Allocation for Multicore Hard Real-Time Systems}}, booktitle = {29th Euromicro Conference on Real-Time Systems (ECRTS 2017)}, pages = {1:1--1:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-037-8}, ISSN = {1868-8969}, year = {2017}, volume = {76}, editor = {Bertogna, Marko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2017.1}, URN = {urn:nbn:de:0030-drops-71604}, doi = {10.4230/LIPIcs.ECRTS.2017.1}, annote = {Keywords: Compiler, Optimization, WCET, Real-Time, Multicore} }
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 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Proceedings{falk:OASIcs.WCET.2014, title = {{OASIcs, Volume 39, WCET'14, Complete Volume}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, 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}, URN = {urn:nbn:de:0030-drops-46115}, doi = {10.4230/OASIcs.WCET.2014}, annote = {Keywords: Performance Analysis and Design Aids, Real-time and embedded systems, Software/Program Verification} }
Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. i-xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{falk:OASIcs.WCET.2014.i, author = {Falk, Heiko}, title = {{Frontmatter, Contents, Welcome, List of Authors, Committee}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {i--xii}, 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.i}, URN = {urn:nbn:de:0030-drops-45980}, doi = {10.4230/OASIcs.WCET.2014.i}, annote = {Keywords: Frontmatter, Contents, Welcome, List of Authors, Committee} }
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 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
André Maroneze, Sandrine Blazy, David Pichardie, and Isabelle Puaut. A Formally Verified WCET Estimation Tool. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 11-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{maroneze_et_al:OASIcs.WCET.2014.11, author = {Maroneze, Andr\'{e} and Blazy, Sandrine and Pichardie, David and Puaut, Isabelle}, title = {{A Formally Verified WCET Estimation Tool}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {11--20}, 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.11}, URN = {urn:nbn:de:0030-drops-46003}, doi = {10.4230/OASIcs.WCET.2014.11}, annote = {Keywords: Formal Verification, CompCert C Compiler, WCET Estimation} }
Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Luca Santinelli, Jérôme Morio, Guillaume Dufour, and Damien Jacquemart. On the Sustainability of the Extreme Value Theory for WCET Estimation. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 21-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{santinelli_et_al:OASIcs.WCET.2014.21, author = {Santinelli, Luca and Morio, J\'{e}r\^{o}me and Dufour, Guillaume and Jacquemart, Damien}, title = {{On the Sustainability of the Extreme Value Theory for WCET Estimation}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {21--30}, 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.21}, URN = {urn:nbn:de:0030-drops-46013}, doi = {10.4230/OASIcs.WCET.2014.21}, annote = {Keywords: Extreme Value Theory, Worst-Case Execution Time, Probabilistic Worst-Case Execution Time, Dependence, Stationarity} }
Published in: OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014)
Gabriel Fernandez, Jaume Abella, Eduardo Quiñones, Christine Rochange, Tullio Vardanega, and Francisco J. Cazorla. Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 31-42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{fernandez_et_al:OASIcs.WCET.2014.31, author = {Fernandez, Gabriel and Abella, Jaume and Qui\~{n}ones, Eduardo and Rochange, Christine and Vardanega, Tullio and Cazorla, Francisco J.}, title = {{Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art}}, booktitle = {14th International Workshop on Worst-Case Execution Time Analysis}, pages = {31--42}, 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.31}, URN = {urn:nbn:de:0030-drops-46027}, doi = {10.4230/OASIcs.WCET.2014.31}, annote = {Keywords: Contention, Multicores, WCET Analysis} }
Feedback for Dagstuhl Publishing