Published in: OASIcs, Volume 72, 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
Phillip Raffeck, Christian Eichler, Peter Wägemann, and Wolfgang Schröder-Preikschat. Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems. In 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019). Open Access Series in Informatics (OASIcs), Volume 72, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{raffeck_et_al:OASIcs.WCET.2019.4, author = {Raffeck, Phillip and Eichler, Christian and W\"{a}gemann, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-118-4}, ISSN = {2190-6807}, year = {2019}, volume = {72}, 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/OASIcs.WCET.2019.4}, URN = {urn:nbn:de:0030-drops-107699}, doi = {10.4230/OASIcs.WCET.2019.4}, annote = {Keywords: WCEC, WCRE, WCET, michroarchitecture analysis, whole-system analysis} }
Published in: OASIcs, Volume 63, 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
Christian Eichler, Tobias Distler, Peter Ulbrich, Peter Wägemann, and Wolfgang Schröder-Preikschat. TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses. In 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018). Open Access Series in Informatics (OASIcs), Volume 63, pp. 6:1-6:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{eichler_et_al:OASIcs.WCET.2018.6, author = {Eichler, Christian and Distler, Tobias and Ulbrich, Peter and W\"{a}gemann, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses}}, booktitle = {18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)}, pages = {6:1--6:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-073-6}, ISSN = {2190-6807}, year = {2018}, volume = {63}, editor = {Brandner, Florian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018.6}, URN = {urn:nbn:de:0030-drops-97528}, doi = {10.4230/OASIcs.WCET.2018.6}, annote = {Keywords: benchmarking real-time-system analyses, task-set generation, whole-system generation, static timing analysis, WCET analysis} }
Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schröder-Preikschat. Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 24:1-24:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{wagemann_et_al:LIPIcs.ECRTS.2018.24, author = {W\"{a}gemann, Peter and Dietrich, Christian and Distler, Tobias and Ulbrich, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems}}, booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}, pages = {24:1--24:25}, 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.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.24}, URN = {urn:nbn:de:0030-drops-89795}, doi = {10.4230/LIPIcs.ECRTS.2018.24}, annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysis} }
Published in: DARTS, Volume 4, Issue 2, Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schröder-Preikschat. Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact). In Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 2, pp. 7:1-7:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{wagemann_et_al:DARTS.4.2.7, author = {W\"{a}gemann, Peter and Dietrich, Christian and Distler, Tobias and Ulbrich, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)}}, pages = {7:1--7:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2018}, volume = {4}, number = {2}, editor = {W\"{a}gemann, Peter and Dietrich, Christian and Distler, Tobias and Ulbrich, Peter and Schr\"{o}der-Preikschat, Wolfgang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.2.7}, URN = {urn:nbn:de:0030-drops-89756}, doi = {10.4230/DARTS.4.2.7}, annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi} }
Published in: OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)
Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, and Wolfgang Schröder-Preikschat. GenE: A Benchmark Generator for WCET Analysis. In 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Open Access Series in Informatics (OASIcs), Volume 47, pp. 33-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{wagemann_et_al:OASIcs.WCET.2015.33, author = {W\"{a}gemann, Peter and Distler, Tobias and H\"{o}nig, Timo and Sieh, Volkmar and Schr\"{o}der-Preikschat, Wolfgang}, title = {{GenE: A Benchmark Generator for WCET Analysis}}, booktitle = {15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)}, pages = {33--43}, 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.33}, URN = {urn:nbn:de:0030-drops-52545}, doi = {10.4230/OASIcs.WCET.2015.33}, annote = {Keywords: WCET, benchmark generation, flow facts, WCET Tool Challenge} }
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
Matthias Schröder. A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract). In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 233-244, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{schroder:OASIcs.CCA.2009.2274, author = {Schr\"{o}der, Matthias}, title = {{A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces}}, booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)}, pages = {233--244}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-12-5}, ISSN = {2190-6807}, year = {2009}, volume = {11}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2274}, URN = {urn:nbn:de:0030-drops-22748}, doi = {10.4230/OASIcs.CCA.2009.2274}, annote = {Keywords: Computable analysis, Qcb-spaces, extendability} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Reinhard Kahle, Peter Schröder-Heister, and Robert F. Stärk. Proof Theory in Computer Science (Dagstuhl Seminar 01411). Dagstuhl Seminar Report 322, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
@TechReport{kahle_et_al:DagSemRep.322, author = {Kahle, Reinhard and Schr\"{o}der-Heister, Peter and St\"{a}rk, Robert F.}, title = {{Proof Theory in Computer Science (Dagstuhl Seminar 01411)}}, pages = {1--18}, ISSN = {1619-0203}, year = {2002}, type = {Dagstuhl Seminar Report}, number = {322}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.322}, URN = {urn:nbn:de:0030-drops-152062}, doi = {10.4230/DagSemRep.322}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Markus Gross, Heinrich Müller, Peter Schröder, and Hans-Peter Seidel. Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 98211). Dagstuhl Seminar Report 212, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)
@TechReport{gross_et_al:DagSemRep.212, author = {Gross, Markus and M\"{u}ller, Heinrich and Schr\"{o}der, Peter and Seidel, Hans-Peter}, title = {{Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 98211)}}, pages = {1--23}, ISSN = {1619-0203}, year = {1998}, type = {Dagstuhl Seminar Report}, number = {212}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.212}, URN = {urn:nbn:de:0030-drops-150983}, doi = {10.4230/DagSemRep.212}, }
Feedback for Dagstuhl Publishing