The list of my publications below was automatically extracted from
the UnivIS
publication database.
2014
Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue.
In: USENIX Association (Hrsg.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014)
(2014 USENIX ATC, Philadelphia, PA, USA, June 19-20, 2014).
2014, S. 421-432. - ISBN 978-1-931971-10-2
Stichwörter: Algorithms, Design, Experimentation, Languages, Configurability, Maintenance, Linux, Static Analysis, CADOS, VAMOS (BibTeX)
Berger, Thorsten ; Pfeiffer, Rolf-Helge ; Tartler, Reinhard ; Dienst, Steffen ; Czarnecki, Krzysztof ; Wasowski, Andrzej ; Shem Steven:
Variability mechanisms in software ecosystems.
In: Information & Software Technology 56 (2014), Nr. 11, S. 1520-1535
[doi>10.1016/j.infsof.2014.05.005] (BibTeX)
2013
Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ziegler, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
In: The Internet Society (Hrsg.) : Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13)
(Network and Distributed System Security Symposium, San Diego, CA United States, 24-27.2.2013).
2013, S. 1-18.
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)
Nadi, Sarah ; Dietrich, Christian ; Tartler, Reinhard ; Holt, Ric ; Lohmann, Daniel:
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
In: Zimmermann, Thomas ; Di Penta, Massimiliano ; Sung, Kim (Hrsg.) : Proceedings of the 10th Working Conference on Mining Software Repositories
(MRS 2013: The 10th Working Conference on Mining Software Repositories, San Francisco, CA, USA, 18.-19. Mai).
Los Alamitos, CA, USA : IEEE Computer Society, 2013, S. 111-120. - ISBN 978-1-4673-2936-1
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1109/MSR.2013.6624017] (BibTeX)
Tartler, Reinhard:
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2013.
- 178 Seiten. (BibTeX)
2012
Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
A Robust Approach for Variability Extraction from the Linux Build System.
In: ACM Press (Hrsg.) : Proceedings of the 16th International Software Product Line Conference
(16th International Software Product Line Conference, Salvador - Brazil, September 02 - 07, 2012). Bd. 1.
New York : ACM Press, 2012, S. 21-30. - ISBN 978-1-4503-1094-9
Stichwörter: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Kbuild, Static Analysis, Variability, VAMOS
[doi>10.1145/2362536.2362544] (BibTeX)
Tartler, Reinhard ; Kurmus, Anil ; Ziegler, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
In: USENIX (Hrsg.) : Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
(Eigth Workshop on Hot Topics in System Dependability, Hollywood, CA, USA, 7.10.2012).
2012.
Stichwörter: VAMOS, TCLOUDS, Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration coverage in the analysis of large-scale system software.
In: SIGOPS Oper. Syst. Rev. (ACM OSR) 45 (2012), Nr. 3, S. 10-14
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/2094091.2094095] (BibTeX)
Tartler, Reinhard ; Sincero, Julio ; Dietrich, Christian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software.
In: International Journal on Software Tools for Technology Transfer (STTT) 14 (2012), Nr. 225, S. 531-551
Stichwörter: Algorithms; Design; Experimentation; Management; Languages; Configurability; Maintenance; Linux; Static Analysis; VAMOS; i4vamos
[doi>10.1007/s10009-012-0225-2] (BibTeX)
Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Understanding Linux Feature Distribution.
In: ACM Press (Hrsg.) : Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS ’12)
(2nd Workshop on Modularity In Systems Software, Potsdam, 27.3.2012).
New York, NY, USA : ACM, 2012, S. 15-19. - ISBN 978-1-4503-1222-6
Stichwörter: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, Variability, VAMOS
[doi>10.1145/2162024.2162030] (BibTeX)
2011
Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration Coverage in the Analysis of Large-Scale System Software.
In: ACM SIGOPS (Hrsg.) : Proceedings of the 4th Workshop on Programming Languages and Operating Systems
(4th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011).
2011.
Stichwörter: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Sincero, Julio ; Schröder-Preikschat, Wolfgang:
Feature Consistency in Compile-Time Configurable System Software.
In: Heiser, Gernoth ; Kirsch, Christoph (Hrsg.) : Proceedings of the EuroSys 2011 Conference (EuroSys '11)
(EuroSys 2011, Salzburg, 10-13 April 2011).
New York, NY, USA : ACM, 2011, S. 47-60. - ISBN 978-1-4503-0634-8
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/1966445.1966451] (BibTeX)
Tartler, Reinhard:
Finding and burying Configuration Defects in Linux with the undertaker.
Vortrag: Linux Plumbers Conference 2011,
Santa Rosa, 6.9.2011 (BibTeX)
2010
Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel:
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation.
Erlangen : University of Erlangen, Dept. of Computer Science. 2010
(CS-2010-02). - Interner Bericht. 19 Seiten
Stichwörter: Linux, Conditional Compilation, Variability, Metrics, VAMOS (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Scheler, Fabian ; Spinczyk, Olaf:
AspectC++: An integrated approach for static and dynamic adaptation of system software.
In: Knowledge-Based Systems (2010), Nr. 23, S. 704-720
Stichwörter: AOP; C++; AspectC++; Programming languages; Adaptable systems
[doi>10.1016/j.knosys.2010.03.002] (BibTeX)
Gernoth, Michael ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Sincero, Julio ; Tartler, Reinhard ; Wischermann, Dirk:
Challenges in Operating-Systems Reengineering for Many Cores.
In: Pankratius, Victor ; Philippsen, Michael (Hrsg.) : ACM/IEEE (Veranst.):
Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE10)
(International Workshop on Multicore Software Engineering, Cape Town, South Africa, May 1, 2010).
Los Alamitos, CA, USA : ACM Press, 2010, S. 52-53. - ISBN 978-1-60558-964-0
Stichwörter: VAMOS; Critical section engineering, operating systems, OS
[doi>10.1145/1808954.1808968] (BibTeX)
Tartler, Reinhard ; Sincero, Julio ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Configurability Bugs in Linux: The 10000 Feature Challenge.
In: USENIX Association (Hrsg.) : 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), Poster Session
(OSDI '10, Vancouver, BC, Canada, October 4–6, 2010).
2010.
Stichwörter: VAMOS (BibTeX)
Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Efficient Extraction and Analysis of Preprocessor-Based Variability.
In: Visser, E. (Hrsg.) : Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)
(Generative Programming and Component Engineering (GPCE '10), Eindhoven, The Netherlands, October 2010).
New York, NY, USA : ACM Press, 2010, S. 33-42. - ISBN 978-1-4503-0154-1
Stichwörter: VAMOS
[doi>10.1145/1868294.1868300] (BibTeX)
Sincero, Julio ; Tartler, Reinhard ; Egger, Christoph ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Facing the Linux 8000 Feature Nightmare.
In: ACM SIGOPS (Veranst.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session
(EUROSYS 2010, Paris, France, April 2010).
2010.
Stichwörter: VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)
2009
Tartler, Reinhard ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Dead or Alive: Finding Zombie Features in the Linux Kernel.
In: Apel, Sven ; Cook, William ; Czarnecki, Krzysztof ; Kästner, Christian ; Loughran, Neil ; Nierstrasz, Oscar (Hrsg.) : Proceedings of the 1st Workshop on Feature-Oriented Software Development
(1st Workshop on Feature-Oriented Software Development, Denver, Colorado, USA, October 6, 2009).
Digital Library : ACM, 2009, S. 81-86.
Stichwörter: Operating Systems, Software Families, Linux, VAMOS (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Dynamic AspectC++: Generic Advice at Any Time.
In: Fujita, Hamido ; Marík, Vladimír (Hrsg.) : Frontiers in Artificial Intelligence and Applications
(The 8th International Conference on Software Methodologies, Tools and Techniques, Prag, September 23-25).
Amterdam, The Netherlands : IOS Press, 2009, S. 165-186. - ISBN 978-1-60750-049-0
Stichwörter: AOP, Aspect-opriented Programming, AspectC++, Dynamic Aspect Weaving, Languages
[doi>10.3233/978-1-60750-049-0-165] (BibTeX)
2008
2007
Tartler, Reinhard ; Steigerwald, Martin:
Verteilte Versionsverwaltung mit Bazaar.
In: Linux Magazin (2007), Nr. 6, S. 102-106
Stichwörter: VCS; Bazaar; Versionskontrolle; QA; Linux (BibTeX)
2006
Lohmann, Daniel ; Scheler, Fabian ; Tartler, Reinhard ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang:
A Quantitative Analysis of Aspects in the eCOS Kernel.
In: European Chapter of ACM SIGOPS (Veranst.):
Proceedings of the EuroSys 2006 Conference
(EuroSys 2006, Leuven, Belgium, April 18-21, 2006).
Belgium : ACM Press, 2006, S. 191-204. - ISBN 1-59593-322-0
Stichwörter: AOP; AspectC++, CiAO, eCos (BibTeX)