@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},
} 
@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},
} @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},
} 
@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},
} 
@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},
} 
@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},
} @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},
} Permalink: /p/publications-journal