Publications (Artifact)

2026

ECRTS Artifact B
HyperSSE: Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems (Artifact)

Andreas Kässens, Mareike Burg, Daniel LohmannDagstuhl Artifacts Series12.2Schloss Dagstuhl – Leibniz-Zentrum für Informatik2026.
Raw Data 10.4230/DARTS.12.2.2 [BibTex]

BibTex Entry

@inproceedings{kaessens:26:darts,
location = {Dagstuhl, Germany},
author = {Andreas Kässens and Mareike Burg and Daniel Lohmann},
date = {2026-07-02},
doi = {10.4230/DARTS.12.2.2},
entrysubtype = {Artifact},
journaltitle = {Dagstuhl Artifacts Series},
number = {2},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum f{ü}r Informatik},
title = {{HyperSSE:} Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems (Artifact)},
volume = {12},
year = {2026},
}

2021

LCTES Artifact A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]

BibTex Entry

@article{pusz:21:lctes-ae,
location = {New York, NY, USA},
author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
doi = {10.5281/zenodo.4698901},
entrysubtype = {Artifact},
month = {June},
publisher = {ACM Press},
title = {Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
venue = {Virtual Conference},
year = {2021},
}

2018

Artifact
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)

Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-PreikschatDagstuhl Artifacts Series4.2Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018.
10.4230/DARTS.4.2.7 [BibTex]

BibTex Entry

@article{waegemann:18:darts,
location = {Dagstuhl, Germany},
annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi},
author = {Peter W{ä}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr{ö}der-Preikschat},
doi = {10.4230/DARTS.4.2.7},
entrysubtype = {Artifact},
issn = {2509-8195},
journaltitle = {Dagstuhl Artifacts Series},
number = {2},
pages = {7:1–7:4},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
title = {{Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)}},
urn = {urn:nbn:de:0030-drops-89756},
volume = {4},
year = {2018},
}