Bernhard Heinloth
Bernhard Heinloth
Friedrich-Alexander-University Erlangen-Nuremberg, Department of Computer Science 4
Verified email at cs.fau.de
Title
Cited by
Cited by
Year
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
A Kurmus, R Tartler, D Dorneanu, B Heinloth, V Rothberg, A Ruprecht, ...
NDSS, 2013
642013
Automatic {OS} Kernel {TCB} Reduction by Leveraging Compile-Time Configurability
R Tartler, A Kurmus, B Heinloth, V Rothberg, A Ruprecht, D Dorneanu, ...
Presented as part of the Eighth Workshop on Hot Topics in System Dependability, 2012
202012
Automatic feature selection in large-scale system-software product lines
A Ruprecht, B Heinloth, D Lohmann
ACM SIGPLAN Notices 50 (3), 39-48, 2014
72014
INTspect: Interrupt Latencies in the Linux Kernel
B Herzog, L Gerhorst, B Heinloth, S Reif, T Hönig, W Schröder-Preikschat
2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 83-90, 2018
22018
Cocoon: Custom-Fitted Kernel Compiled on Demand
B Heinloth, M Ammon, DT Nguyen, T Hönig, V Sieh, ...
Proceedings of the 10th Workshop on Programming Languages and Operating …, 2019
2019
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries
A Ziegler, J Geus, B Heinloth, T Hönig, D Lohmann
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019
2019
Automatic Tailoring of the Multi-Purpose Linux Operating System on Embedded Devices
B Heinloth
2014
An Energy-Neutral, WiFi-Connected Room Display with Hand-Crank–Based Energy Harvesting
P Wägemann, F Harbecke, B Heinloth, H Hofmeier, ...
The system can't perform the operation now. Try again later.
Articles 1–8