VAMOS Publications
Ziegler, Andreas ; Heinloth, Bernhard ; Lohmann, Daniel:
Automatic Feature Selection in Large-Scale System-Software Product Lines.
In: Flatt, Matthew (Ed.) : Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences
(13th International Conference on Generative Programming: Concepts & Experiences (GPCE '14), Västerås, Sweden, Sep. 2014).
New York, NY, USA : ACM Press, 2014, pp 39-48. - ISBN 978-1-4503-3161-6
Keywords: CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation
[doi>10.1145/2658761.2658767] (BibTeX)
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 (Ed.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014)
(2014 USENIX ATC, Philadelphia, PA, USA, June 19-20, 2014).
2014, pp 421-432. - ISBN 978-1-931971-10-2
Keywords: Algorithms, Design, Experimentation, Languages, Configurability, Maintenance, Linux, Static Analysis, CADOS, VAMOS (BibTeX)
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 (Ed.) : 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, pp 1-18.
Keywords: 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 (Ed.) : 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, pp 111-120. - ISBN 978-1-4673-2936-1
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1109/MSR.2013.6624017] (BibTeX)
Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
A Robust Approach for Variability Extraction from the Linux Build System.
In: ACM Press (Ed.) : Proceedings of the 16th International Software Product Line Conference
(16th International Software Product Line Conference, Salvador - Brazil, September 02 - 07, 2012). Vol. 1.
New York : ACM Press, 2012, pp 21-30. - ISBN 978-1-4503-1094-9
Keywords: 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 (Ed.) : 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.
Keywords: 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), No. 3, pp 10-14
Keywords: 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), No. 225, pp 531-551
Keywords: 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 (Ed.) : 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, pp 15-19. - ISBN 978-1-4503-1222-6
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, Variability, VAMOS
[doi>10.1145/2162024.2162030] (BibTeX)
Lohmann, Daniel ; Hofer, Wanja ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Aspect-Aware Operating System Development.
In: Chiba, Shigeru (Ed.) : Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011)
(10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas, Brazil, March 2011).
New York, NY, USA : ACM Press, 2011, pp 69-80. - ISBN 978-1-4503-0605-8
Keywords: CiAO; AOP; Aspect-Oriented Programming; AspectC++; Operating Systems; Embedded Systems; VAMOS
[doi>10.1145/1960275.1960285] (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio:
Configuration Coverage in the Analysis of Large-Scale System Software.
In: ACM SIGOPS (Ed.) : 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.
Keywords: Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS (BibTeX)
Hofer, Wanja ; Sincero, Julio ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach.
In: Milanovic, Nikola (Ed.) : Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements.
Hershey, PA, USA : IGI Global, 2011, pp 84-103. - ISBN 978-1-60960-493-6
Keywords: CiAO; Non-Functional Properties; Software Product Lines; VAMOS
[doi>10.4018/978-1-60960-493-6] (BibTeX)
Tartler, Reinhard ; Lohmann, Daniel ; Sincero, Julio ; Schröder-Preikschat, Wolfgang:
Feature Consistency in Compile-Time Configurable System Software.
In: Heiser, Gernoth ; Kirsch, Christoph (Ed.) : Proceedings of the EuroSys 2011 Conference (EuroSys '11)
(EuroSys 2011, Salzburg, 10-13 April 2011).
New York, NY, USA : ACM, 2011, pp 47-60. - ISBN 978-1-4503-0634-8
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance
[doi>10.1145/1966445.1966451] (BibTeX)
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). - Internal report. 19 pages
Keywords: Linux, Conditional Compilation, Variability, Metrics, VAMOS (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 (Ed.) : ACM/IEEE (Org.):
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, pp 52-53. - ISBN 978-1-60558-964-0
Keywords: 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 (Ed.) : 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), Poster Session
(OSDI '10, Vancouver, BC, Canada, October 46, 2010).
2010.
Keywords: VAMOS (BibTeX)
Elsner, Christoph ; Ulbrich, Peter ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Consistent Product Line Configuration Across File Type and Product Line Boundaries.
In: Bosch, Jan ; Lee, Jaejoon (Ed.) : Proceedings of the 14th International Software Product Line Conference (SPLC 2010)
(14th International Software Product Line Conference (SPLC 2010), Jeju Island, South Korea, 09/13/2010).
Berlin/Heidelberg, Germany : Springer, 2010, pp 181-195 --- Best Paper Award (out of 90 submitted / 28 accepted papers).
Keywords: SPL; Software Product Lines, VAMOS, CiAO
[doi>10.1007/978-3-642-15579-6_13] (BibTeX)
Sincero, Julio ; Tartler, Reinhard ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang:
Efficient Extraction and Analysis of Preprocessor-Based Variability.
In: Visser, E. (Ed.) : 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, pp 33-42. - ISBN 978-1-4503-0154-1
Keywords: 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 (Org.):
Proceedings of ACM European Conference on Computer Systems (EuroSys 2010), Best Posters and Demos Session
(EUROSYS 2010, Paris, France, April 2010).
2010.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)
Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Leviathan: SPL Support on Filesystem Level.
In: Bosch, Jan ; Jaejoon, Lee (Org.):
Proceedings of the 14th International Software Product Line Conference (SPLC-Poster 2010)
(14th International Software Product Line Conference (SPLC-Poster 2010), Jeju Island, South Korea, September 2010).
Berlin/Heidelberg, Germany : Springer, 2010, pp 491. - ISBN 978-3-642-15578-9
Keywords: Leviathan; Software Product Lines; Variability Implementation; Preprocessor-Based Configuration; Toolchain-Independent Variability Support; Filesystem Views; VAMOS
[doi>10.1007/978-3-642-15579-6_43] (BibTeX)
Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Leviathan: Taming the #ifdef Beast in Linux et al..
In: Howell, Jon (Org.):
Proceedings of the Poster Session of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI-Poster 2010)
(Poster Session of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI-Poster 2010), Vancouver, BC, Canada, October 2010).
Berkeley, CA, USA : USENIX Association, 2010, pp 1.
Keywords: Leviathan; Preprocessor-Based Configuration; Linux; Filesystem Views; VAMOS (BibTeX)
Hofer, Wanja ; Elsner, Christoph ; Blendinger, Frank ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Toolchain-Independent Variant Management with the Leviathan Filesystem.
In: Kästner, Christian (Org.):
Proceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD 2010)
(2nd Workshop on Feature-Oriented Software Development (FOSD 2010), Eindhoven, The Netherlands, October 2010).
New York, NY, USA : ACM Press (Digital Library), 2010, pp 18-24. - ISBN 978-1-4503-0208-1
Keywords: Leviathan; Software Product Lines; Variability Implementation; Preprocessor-Based Configuration; Toolchain-Independent Variability Support; Filesystem Views; Käsebrot; VAMOS; CiAO
[doi>10.1145/1868688.1868692] (BibTeX)
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 (Ed.) : 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, pp 81-86.
Keywords: Operating Systems, Software Families, Linux, VAMOS (BibTeX)
Hofer, Wanja ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
Sloth: Threads as Interrupts.
In: Baker, Theodore P. (Ed.) : Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009)
(30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington, D.C., USA, December 2009).
Los Alamitos, CA, USA : IEEE Computer Society, 2009, pp 204-213. - ISBN 978-0-7695-3875-4
Keywords: Sloth; Operating Systems; Embedded Systems; Real-Time Systems; Thread Management; Interrupt Handling; OSEK; Infineon TriCore; Priority-Driven Scheduling; CiAO; VAMOS
[doi>10.1109/RTSS.2009.18] (BibTeX)
Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Towards Tool Support for the Configuration of Non-Functional Properties in SPLs.
In: IEEE Computer Society (Ed.) : 42st Hawaii International International Conference on Systems Science (HICSS-42 2009
(42st Hawaii International International Conference on Systems Science (HICSS-42 2009, Waikoloa, Hawaii, January 5-8, 2009).
Computer Society : IEEE, 2009, pp 1-7.
Keywords: VAMOS (BibTeX)
Sincero, Julio ; Schröder-Preikschat, Wolfgang:
The Linux Kernel Configurator as a Feature Modeling Tool.
In: Thiel, Steffen ; Pohl, Klaus (Ed.) : Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops)
(12th International Software Product Lines Conference, Limerick, Ireland, 8-12 September, 2008).
Limerick, Ireland : {Lero Int. Science Centre, University of Limerick, 2008, pp 257-260.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)
Sincero, Julio ; Schirmeier, Horst ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
Is The Linux Kernel a Software Product Line?
In: van der Linden, Frank ; Lundell, Björn (Ed.) : Proceedings of the International Workshop on Open Source Software and Product Lines (SPLC-OSSPL 2007)
(International Workshop on Open Source Software and Product Lines (SPLC-OSSPL), Kyoto, 2007).
2007.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance (BibTeX)
