Publications (Journal)

2024

RTSJ Journal
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS

Gerion Entrup, Andreas Kässens, Björn Fiedler, Daniel LohmannReal-Time SystemsSpringer2024.
PDF 10.1007/s11241-024-09429-1 [BibTex]

×

BibTex Entry

@article{entrup:24:rts,
author = {Gerion Entrup and Andreas Kässens and Björn Fiedler and Daniel Lohmann},
doi = {10.1007/s11241-024-09429-1},
entrysubtype = {Journal},
journaltitle = {Real-Time Systems},
month = {October},
publisher = {Springer},
title = {Applied static analysis and specialization of cross-core syscalls for multi-core {AUTOSAR OS}},
year = {2024},
}

Close

JSA Journal
Analyzing the memory ordering models of the Apple M1

Lars Wrenger, Dominik Töllner, Daniel LohmannJournal of Systems Architecture1492024.
PDF https://doi.org/10.1016/j.sysarc.2024.103102 [BibTex]

×

BibTex Entry

@article{wrenger:24:jsa,
author = {Lars Wrenger and Dominik Töllner and Daniel Lohmann},
date = {2024-04},
doi = {https://doi.org/10.1016/j.sysarc.2024.103102},
entrysubtype = {Journal},
issn = {1383-7621},
journaltitle = {Journal of Systems Architecture},
keywords = {TSO, Memory ordering, Apple M1, ARM},
month = {apr},
pages = {103102},
title = {Analyzing the memory ordering models of the Apple M1},
url = {https://www.sciencedirect.com/science/article/pii/S1383762124000390},
volume = {149},
year = {2024},
}

Close

EMSOFT Journal A
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions

Illia Ostapyshyn, Gabriele Serra, Tim-Marek Thomas, Daniel LohmannIEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsIEEE Computer Society Press2024Accepted.
PDF 10.1109/TCAD.2024.3443773 [BibTex]

×

BibTex Entry

@article{ostapyshyn:24:emsoft,
author = {Ostapyshyn, Illia and Serra, Gabriele and Thomas, Tim-Marek and Lohmann, Daniel},
doi = {10.1109/TCAD.2024.3443773},
entrysubtype = {Journal},
journaltitle = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
note = {Accepted},
publisher = {IEEE Computer Society Press},
title = {KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions},
year = {2024},
}

Close

2022

CACM Journal
'What is the Ideal Operating System?': Technical Perspective

Daniel LohmannCommunications of the ACM65.5Association for Computing Machinery2022.
PDF 10.1145/3524299 [BibTex]

×

BibTex Entry

@article{lohmann:22:cacm,
location = {New York, NY, USA},
author = {Lohmann, Daniel},
doi = {10.1145/3524299},
entrysubtype = {Journal},
issn = {0001-0782},
issue_date = {May 2022},
journaltitle = {Communications of the ACM},
month = {apr},
number = {5},
publisher = {Association for Computing Machinery},
title = { 'What is the Ideal Operating System?': Technical Perspective},
volume = {65},
year = {2022},
}

Close

2020

CACM Journal
A Bibliometric Approach for Detecting the Gender Gap in Computer Science

Sandra Mattauch, Katja Lohmann, Frank Hannig, Daniel Lohmann, Jürgen TeichCommunications of the ACM63.52020.
PDF Video 10.1145/3376901 [BibTex]

×

BibTex Entry

@article{mattauch:20:cacm,
author = {Mattauch, Sandra and Lohmann, Katja and Hannig, Frank and Lohmann, Daniel and Teich, Jürgen},
doi = {10.1145/3376901},
entrysubtype = {Journal},
issn = {0001-0782},
journaltitle = {Communications of the ACM},
keywords = {Gender gap, Computer science, Frauenanteil, MINT, Informatik,},
number = {5},
pages = {39-45},
title = {A Bibliometric Approach for Detecting the Gender Gap in Computer Science},
volume = {63},
year = {2020},
}

Close

2019

EMSOFT Journal A
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries

Andreas Ziegler, Julian Geus, Bernhard Heinloth, Timo Hönig, Daniel LohmannACM Transactions on Embedded Computing Systems18.5sACM Press2019.
PDF Raw Data 10.1145/3358222 [BibTex]

×

BibTex Entry

@article{ziegler:19:emsoft,
acmid = {3358222},
location = {New York, NY, USA},
articleno = {102},
author = {Andreas Ziegler and Julian Geus and Bernhard Heinloth and Timo H{ö}nig and Daniel Lohmann},
doi = {10.1145/3358222},
entrysubtype = {Journal},
issn = {1539-9087},
journaltitle = {ACM Transactions on Embedded Computing Systems},
keywords = {Shared Libraries; Binary Tailoring; Linux},
month = {October},
number = {5s},
numpages = {23},
pages = {102:1–102:23},
publisher = {ACM Press},
title = {Honey, {I} Shrunk the {ELFs}: Lightweight Binary Tailoring of Shared Libraries},
volume = {18},
year = {2019},
}

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

it Journal
Providing Security on Demand Using Invasive Computing

Gabor Drescher, Christoph Erhardt, Felix Freiling, Johannes Götzfried, Daniel Lohmann, Pieter Maene, Tilo Müller, Ingrid Verbauwhede, Andreas Weichslgartner, Stefan Wildermannit - Special issue on Invasive Computingit - Information Technology58.6De Gruyter Oldenbourg2016.
10.1515/itit-2016-0032 [BibTex]

×

BibTex Entry

@article{drescher:16:it-security,
author = {Drescher, Gabor and Erhardt, Christoph and Freiling, Felix and G{ö}tzfried, Johannes and Lohmann, Daniel and Maene, Pieter and M{ü}ller, Tilo and Verbauwhede, Ingrid and Weichslgartner, Andreas and Wildermann, Stefan},
booktitle = {it - Special issue on Invasive Computing},
doi = {10.1515/itit-2016-0032},
entrysubtype = {Journal},
journaltitle = {it - Information Technology},
number = {6},
pages = {1–15},
publisher = {De Gruyter Oldenbourg},
title = {Providing Security on Demand Using Invasive Computing},
volume = {58},
year = {2016},
}

Close

2015

JSA Journal B
Resource Awareness on Heterogeneous MPSoCs for Image Processing

Johny Paul, Walter Stechele, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat, Manfred Kröhnert, Tamim Asfour, Éricles Sousa, Vahid Lari, Frank Hannig, Jürgen Teich, Artjum Grundnitsky, Lars Bauer, Jörg HenkelJournal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.09.002 [BibTex]

×

BibTex Entry

@article{paul:15b:jsa,
acmid = {2852710},
location = {New York, NY, USA},
author = {Johny Paul and Walter Stechele and Benjamin Oechslein and Christoph Erhardt and Jens Schedel and Daniel Lohmann and Wolfgang Schr{ö}der-Preikschat and Manfred Kr{ö}hnert and Tamim Asfour and {É}ricles Sousa and Vahid Lari and Frank Hannig and J{ü}rgen Teich and Artjum Grundnitsky and Lars Bauer and J{ö}rg Henkel},
doi = {10.1016/j.sysarc.2015.09.002},
entrysubtype = {Journal},
issn = {1383-7621},
issue_date = {November 2015},
journaltitle = {Journal of Systems Architecture},
keywords = {Computer vision, Heterogeneous processor, Image processing, Invasive Computing, MPSoC, Resource awareness},
month = {November},
number = {10},
numpages = {13},
pages = {668–680},
publisher = {Elsevier},
title = {Resource Awareness on Heterogeneous {MPSoCs} for Image Processing},
volume = {61},
year = {2015},
}

Close

JSA Journal B
Self-Adaptive Corner Detection on MPSoC Through Resource-Aware Programming

Johny Paul, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Manfred Kröhnert, Daniel Lohmann, Walter Stechele, Tamim Asfour, Wolfgang Schröder-PreikschatJournal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.07.011 [BibTex]

×

BibTex Entry

@article{paul:15:jsa,
acmid = {2852717},
location = {New York, NY, USA},
author = {Johny Paul and Benjamin Oechslein and Christoph Erhardt and Jens Schedel and Manfred Kröhnert and Daniel Lohmann and Walter Stechele and Tamim Asfour and Wolfgang Schr{ö}der-Preikschat},
doi = {10.1016/j.sysarc.2015.07.011},
entrysubtype = {Journal},
issn = {1383-7621},
issue_date = {November 2015},
journaltitle = {Journal of Systems Architecture},
keywords = {Computer vision, Corner detection, Invasive Computing, Resource-aware programming, Self-adaptive algorithms},
month = {November},
number = {10},
numpages = {11},
pages = {520–530},
publisher = {Elsevier},
title = {Self-Adaptive Corner Detection on {MPSoC} Through Resource-Aware Programming},
volume = {61},
year = {2015},
}

Close

it Journal
Multi-layer software reliability for unreliable hardware

Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczykit - Information Technology57.3De Gruyter2015.
10.1515/itit-2014-1081 [BibTex]

×

BibTex Entry

@article{shafique:15:it,
author = {Muhammad Shafique and Philip Axer and Christoph Borchert and Jian{-}Jia Chen and Kuan{-}Hsun Chen and Bj{ö}rn D{ö}bel and Rolf Ernst and Hermann H{ä}rtig and Andreas Heinig and R{ü}diger Kapitza and Florian Kriebel and Daniel Lohmann and Peter Marwedel and Semeen Rehman and Florian Schmoll and Olaf Spinczyk},
category = {ESS, i4, DanceOS},
doi = {10.1515/itit-2014-1081},
entrysubtype = {Journal},
journaltitle = {it - Information Technology},
month = {June},
number = {3},
pages = {170–180},
publisher = {De Gruyter},
title = {Multi-layer software reliability for unreliable hardware},
volume = {57},
year = {2015},
}

Close

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

TAOSD Journal
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family

Daniel Lohmann, Olaf Spinczyk, Wanja Hofer, Wolfgang Schröder-PreikschatTransactions on AOSD IXSpringer-Verlag2012.
PDF 10.1007/978-3-642-35551-6_5 [BibTex]

×

BibTex Entry

@inproceedings{lohmann:12:taosd,
author = {Daniel Lohmann and Olaf Spinczyk and Wanja Hofer and Wolfgang Schr{ö}der-Preikschat},
booktitle = {Transactions on AOSD IX},
category = {L4, DanceOS, InvasIC},
doi = {10.1007/978-3-642-35551-6_5},
editor = {Gary T. Leavens and Shigeru Chiba},
entrysubtype = {Journal},
number = {7271},
pages = {168-215},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {The Aspect-Aware Design and Implementation of the {CiAO} Operating-System Family},
year = {2012},
}

Close

2011

TAOSD Journal
PUMA: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++

Matthias Urban, Daniel Lohmann, Olaf SpinczykTransactions on AOSD VIIISpringer-Verlag2011.
10.1007/978-3-642-22031-9_5 [BibTex]

×

BibTex Entry

@inproceedings{urban:11:taosd,
author = {Matthias Urban and Daniel Lohmann and Olaf Spinczyk},
booktitle = {Transactions on AOSD VIII},
category = {aop-pl, aop-ac++, L4, ESS, FAME-DO},
doi = {10.1007/978-3-642-22031-9_5},
editor = {Christine Schwanninger and Wouter Joosen},
entrysubtype = {Journal},
number = {6580},
pages = {141–162},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {{PUMA}: An Aspect-Oriented Code Analysis and Manipulation Framework for {C} and {C++}},
year = {2011},
}

Close

2010

KnoSys Journal B
AspectC++: An integrated approach for static and dynamic adaptation of system software

Reinhard Tartler, Daniel Lohmann, Fabian Scheler, Olaf SpinczykKnowledge-Based Systems23.72010.
PDF 10.1016/j.knosys.2010.03.002 [BibTex]

×

BibTex Entry

@article{tartler:10:knosys,
author = {Reinhard Tartler and Daniel Lohmann and Fabian Scheler and Olaf Spinczyk},
doi = {10.1016/j.knosys.2010.03.002},
entrysubtype = {Journal},
journaltitle = {Knowledge-Based Systems},
number = {7},
pages = {704–720},
title = {{AspectC++}: An integrated approach for static and dynamic adaptation of system software},
volume = {23},
year = {2010},
}

Close

2007

IFE Journal
Dimensions of Variability in Embedded Operating Systems

Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Olaf SpinczykInformatik - Forschung und Entwicklung22.12007.
PDF 10.1007/s00450-007-0037-x [BibTex]

×

BibTex Entry

@article{schroeder:07:ife,
author = {Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann and Fabian Scheler and Olaf Spinczyk},
doi = {10.1007/s00450-007-0037-x},
entrysubtype = {Journal},
journaltitle = {Informatik - Forschung und Entwicklung},
number = {1},
pages = {5–22},
title = {Dimensions of Variability in Embedded Operating Systems},
volume = {22},
year = {2007},
}

Close

KnoSys Journal B
The Design and Implementation of AspectC++

Olaf Spinczyk, Daniel LohmannKnowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software20.7Elsevier2007.
PDF 10.1016/j.knosys.2007.05.004 [BibTex]

×

BibTex Entry

@article{spinczyk:07:knosys,
author = {Olaf Spinczyk and Daniel Lohmann},
category = {aop-ac++, L4},
doi = {10.1016/j.knosys.2007.05.004},
entrysubtype = {Journal},
journaltitle = {Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software},
nc = {110},
number = {7},
pages = {636–651},
publisher = {Elsevier},
title = {The Design and Implementation of {AspectC++}},
volume = {20},
year = {2007},
}

Close

2006

TAOSD Journal
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects

Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-PreikschatTransactions on AOSD IISpringer-Verlag2006.
PDF 10.1007/11922827_8 [BibTex]

×

BibTex Entry

@inproceedings{lohmann:06:taosd,
author = {Daniel Lohmann and Olaf Spinczyk and Wolfgang Schr{ö}der-Preikschat},
booktitle = {Transactions on AOSD II},
category = {aop-pl, aop-ac++, os-embedded, aop-embedded, L4},
doi = {10.1007/11922827_8},
editor = {Awais Rashid and Mehmet Aksit},
entrysubtype = {Journal},
nc = {100},
number = {4242},
pages = {227–255},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Lean and Efficient System Software Product Lines: Where Aspects Beat Objects},
year = {2006},
}

Close

2005

Journal
AspectC++: An AOP Extension for C++

Olaf Spinczyk, Daniel Lohmann, Matthias UrbanSoftware Developers Journal5.5Software-Sydawnicto Sp. z o. o.2005.
PDF [BibTex]

×

BibTex Entry

@article{spinczyk:05:sdj,
author = {Olaf Spinczyk and Daniel Lohmann and Matthias Urban},
category = {c++, aop-c++, aop-ac++, L4},
entrysubtype = {Journal},
issue = {5},
journaltitle = {Software Developers Journal},
month = {May},
nc = {52},
pages = {68–76},
publisher = {Software-Sydawnicto Sp. z o. o.},
title = {{AspectC++:} An {AOP} Extension for {C++}},
volume = {5},
year = {2005},
}

Close