Segui
Daniel Lohmann
Daniel Lohmann
Leibniz Universität Hannover, Institute for Systems Engineering
Email verificata su sra.uni-hannover.de - Home page
Titolo
Citata da
Citata da
Anno
Feature consistency in compile-time-configurable system software: facing the linux 10,000 feature problem
R Tartler, D Lohmann, J Sincero, W Schröder-Preikschat
Proceedings of the Sixth European Conference on Computer Systems (EUROSYS …, 2011
2302011
A quantitative analysis of aspects in the eCos kernel
D Lohmann, F Scheler, R Tartler, O Spinczyk, W Schröder-Preikschat
ACM SIGOPS Operating Systems Review 40 (4), 191-204, 2006
1792006
DistRM: Distributed resource management for on-chip many-core systems
S Kobbe, L Bauer, D Lohmann, W Schröder-Preikschat, J Henkel
Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011
1732011
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
A Kurmus, R Tartler, D Dorneanu, B Heinloth, V Rothberg, A Ruprecht, ...
NDSS, 2013
1222013
Design and architectures for dependable embedded systems
J Henkel, L Bauer, J Becker, O Bringmann, U Brinkschulte, S Chakraborty, ...
Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011
1202011
A robust approach for variability extraction from the Linux build system
C Dietrich, R Tartler, W Schröder-Preikschat, D Lohmann
Proceedings of the 16th International Software Product Line Conference …, 2012
1152012
FAIL*: An open and versatile fault-injection framework for the assessment of software-implemented hardware fault tolerance
H Schirmeier, M Hoffmann, C Dietrich, M Lenz, D Lohmann, O Spinczyk
2015 11th european dependable computing conference (edcc), 245-255, 2015
1112015
The design and implementation of AspectC++
O Spinczyk, D Lohmann
Knowledge-Based Systems 20 (7), 636-651, 2007
1112007
Configuration coverage in the analysis of large-scale system software
R Tartler, D Lohmann, C Dietrich, C Egger, J Sincero
Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011
1102011
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems.
D Lohmann, W Hofer, W Schröder-Preikschat, J Streicher, O Spinczyk
USENIX Annual Technical Conference, 2009
1092009
Look mum, no VM exits!(almost)
R Ramsauer, J Kiszka, D Lohmann, W Mauerer
arXiv preprint arXiv:1705.06932, 2017
1002017
Static analysis of variability in system software: The 90,000# ifdefs issue
R Tartler, C Dietrich, J Sincero, W Schröder-Preikschat, D Lohmann
2014 USENIX Annual Technical Conference (USENIX ATC 14), 421-432, 2014
95*2014
AspectC++: an AOP Extension for C++
O Spinczyk, D Lohmann, M Urban
Software Developer’s Journal 5 (68-76), 2005
922005
Practical hardening of crash-tolerant systems
M Correia, DG Ferro, FP Junqueira, M Serafini
Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX …, 2012
782012
Sloth: Threads as interrupts
W Hofer, D Lohmann, F Scheler, W Schröder-Preikschat
2009 30th IEEE Real-Time Systems Symposium, 204-213, 2009
742009
OctoPOS: A parallel operating system for invasive computing
B Oechslein, J Schedel, J Kleinöder, L Bauer, J Henkel, D Lohmann, ...
Proceedings of the International Workshop on Systems for Future Multi-Core …, 2011
722011
Generic advice: On the combination of AOP with generative programming in AspectC++
D Lohmann, G Blaschke, O Spinczyk
Generative Programming and Component Engineering: Third International …, 2004
712004
Efficient extraction and analysis of preprocessor-based variability
J Sincero, R Tartler, D Lohmann, W Schröder-Preikschat
Proceedings of the ninth international conference on Generative programming …, 2010
692010
Fail∗: Towards a versatile fault-injection experiment framework
H Schirmeier, M Hoffmann, R Kapitza, D Lohmann, O Spinczyk
ARCS 2012, 1-5, 2012
672012
Dead or alive: Finding zombie features in the Linux kernel
R Tartler, J Sincero, W Schröder-Preikschat, D Lohmann
Proceedings of the First International Workshop on Feature-Oriented Software …, 2009
662009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20