Publications (Journal)

2023

ACCESS Journal
Evaluation and Refinement of an Explicit Virtual-Memory Primitive

Yannick Loeck, Christian DietrichIEEE Access112023.
10.1109/ACCESS.2023.3338149 [BibTex]

🗙

BibTex Entry

@article{loeck:23:access,
author = {Loeck, Yannick and Dietrich, Christian},
doi = {10.1109/ACCESS.2023.3338149},
entrysubtype = {Journal},
journaltitle = {IEEE Access},
month = {December},
number = {},
pages = {136855-136868},
title = {Evaluation and Refinement of an Explicit Virtual-Memory Primitive},
volume = {11},
year = {2023},
}

Close

2017

TECS Journal A
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness

Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, Wolfgang Schröder-PreikschatACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [BibTex]

🗙

BibTex Entry

@inbook{schuster:17:emsoft,
acmid = {3126503},
location = {New York, NY, USA},
articleno = {180},
author = {Schuster, Simon and Ulbrich, Peter and Stilkerich, Isabella and Dietrich, Christian and Schröder-Preikschat, Wolfgang},
doi = {10.1145/3126503},
entrysubtype = {Journal},
issn = {1539-9087},
issue = {5s},
issue_date = {October 2017},
journaltitle = {ACM Transactions on Embedded Computing Systems},
month = {September},
numpages = {19},
pages = {180:1–180:19},
publisher = {ACM},
title = {Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness},
volume = {16},
year = {2017},
}

Close

TECS Journal A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]

🗙

BibTex Entry

@article{dietrich:17:tecs,
location = {New York, NY, USA},
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
doi = {10.1145/2950053},
entrysubtype = {Journal},
journaltitle = {ACM Transactions on Embedded Computing Systems},
number = {2},
pages = {35:1–35:25},
publisher = {ACM Press},
title = {Global Optimization of Fixed-Priority Real-Time Systems by {RTOS}-Aware Control-Flow Analysis},
volume = {16},
year = {2017},
}

Close

2016

SQJ Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-PreikschatSoftware Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]

🗙

BibTex Entry

@article{hoffmann:16:sqj,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schröder-Preikschat},
doi = {10.1007/s11219-014-9260-4},
entrysubtype = {Journal},
issue = {1},
journaltitle = {Software Quality Journal},
publisher = {Springer US},
title = {Experiences with Software-based Soft-Error Mitigation using {AN}-Codes},
volume = {24},
year = {2016},
}

Close

2015

OSR Journal
The dataref versuchung

Christian Dietrich, Daniel LohmannACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]

🗙

BibTex Entry

@article{dietrich:15:acmosr,
location = {New York, NY, USA},
author = {Christian Dietrich and Daniel Lohmann},
doi = {10.1145/2723872.2723880},
entrysubtype = {Journal},
journaltitle = {ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental Artifacts},
numpages = {10},
pages = {51–60},
publisher = {ACM Press},
title = {The {dataref} {versuchung}},
year = {2015},
}

Close

2012

STTT Journal B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software

Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel LohmannInternational Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]

🗙

BibTex Entry

@article{tartler:12:sttt,
location = {Heidelberg, Germany},
author = {Reinhard Tartler and Julio Sincero and Christian Dietrich and Wolfgang Schröder-Preikschat and Daniel Lohmann},
category = {L4, InvasIC},
doi = {10.1007/s10009-012-0225-2},
entrysubtype = {Journal},
journaltitle = {International Journal on Software Tools for Technology Transfer (STTT)},
month = {February},
number = {5},
pages = {531-551},
publisher = {Springer-Verlag},
title = {Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software},
volume = {14},
year = {2012},
}

Close

OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]

🗙

BibTex Entry

@article{tartler:12:acmosr,
acmid = {2094095},
location = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
doi = {10.1145/2094091.2094095},
entrysubtype = {Journal},
issn = {0163-5980},
issue_date = {December 2011},
journaltitle = {ACM SIGOPS Operating Systems Review},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
month = {January},
number = {3},
numpages = {5},
pages = {10–14},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
volume = {45},
year = {2012},
}

Close