@inproceedings {INPROC-2007-143,
    author = {Felix L{\"o}sch and Erhard Pl{\"o}dereder},
    title = {{Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations}},
    booktitle = {Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, 21.-23. M{\"a}rz 2007},
    address = {Los Alamitos, CA, USA},
    publisher = {Conference Proceedings},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    pages = {159--170},
    type = {Conference Paper},
    month = {March},
    year = {2007},
    isbn = {0-7695-2802-3},
    isbn = {"DOI:http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.40"},
    keywords = {Embedded Systems; Concept Analysis; Software Product Line Conference},
    language = {English},
    cr-category = {C.3 Special-Purpose and Application-Based Systems},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {The management of variability plays an important role in successful software
      product line engineering. As the set of products that is derived from the
      product line and their requirements are constantly changing, the variability in
      the product line needs to evolve as well. A typical problem in such an
      evolution scenario is that the number of variable features and variants will
      explode, and thus become unmanageable. One of the reasons for this explosion is
      that obsolete variable features are not removed. In order to address this
      problem, we present a new method for restructuring and simplifying the provided
      variability in a software product line. Our method is based on concept
      analysis. It analyzes the realized variability in a software product line, and
      constructs a lattice that provides a classification of the usage of variable
      features in real products derived from the product line. We show how this
      classification can be used to derive restructuring strategies for variability
      that solve the problem of variability explosion. The effectiveness of our
      method is demonstrated by presenting a case study of restructuring the
      variability in a large industrial software product line.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-143&engl=1}
 }

@inproceedings {INPROC-2007-142,
    author = {Felix L{\"o}sch and Erhard Pl{\"o}dereder},
    title = {{Optimization of Variability in Software Product Lines}},
    booktitle = {Proceedings of the 11th International Software Product Line Conference (SPLC 2007), Kyoto, Japan, 10.-14. September 2007},
    editor = {IEEE Computer Society},
    address = {Los Alamitos, CA, USA},
    publisher = {Conference Proceedings},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    pages = {151--162},
    type = {Conference Paper},
    month = {September},
    year = {2007},
    isbn = {0-7695-2888-0},
    isbn = {"DOI:http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.31"},
    keywords = {Embedded Systems; Product Line Approach; Time-to-market},
    language = {German},
    cr-category = {C.3 Special-Purpose and Application-Based Systems},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {The widespread use of the product line approach allows companies to realize
      significant improvements in time-to-market, cost, productivity, and quality.
      However, a fundamental problem in software product line engineering is that a
      product line of industrial size can easily incorporate several thousand
      variable features. The complexity caused by this amount of variability makes
      variability management and product derivation tasks extremely difficult. To
      address this problem, we present a new method to optimize the variability
      provided in a software product line. Our method constructs a visualization that
      provides a classification of the usage of variable features in real products
      derived from the product line. We show how this classification can be used to
      derive restructuring strategies for simplifying the variability. The
      effectiveness of our work is demonstrated by presenting a case study of
      optimizing the variability in a large industrial software product line.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-142&engl=1}
 }

@inproceedings {INPROC-2007-141,
    author = {Stefan Staiger},
    title = {{Static Analysis of Programs with Graphical User Interface}},
    booktitle = {Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), 21-23 March 2007, Amsterdam},
    publisher = {IEEE Computer Society},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    pages = {252--261},
    type = {Conference Paper},
    month = {March},
    year = {2007},
    isbn = {0-7695-2802-3},
    language = {English},
    cr-category = {F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-141&engl=1}
 }

@inproceedings {INPROC-2007-140,
    author = {Gunther Vogel},
    title = {{Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen}},
    booktitle = {Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007},
    publisher = {Gesellschaft f{\"u}r Informatik},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Lecture Notes in Informatics},
    pages = {268--274},
    type = {Workshop Paper},
    month = {September},
    year = {2007},
    language = {German},
    cr-category = {F.1.1 Models of Computation,
                   F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {Der Artikel beschreibt, wie endliche Automaten f{\"u}r Software-Protokolle aus dem
      Quelltext gewonnen und durch Transformationen f{\"u}r die Weiterverarbeitung und
      den Vergleich aufbereitet werden k{\"o}nnen. Die beschriebenen Techniken werden
      zur Pr{\"u}fung von Protokollen oder zur Herleitung von Protokollspezifikationen
      eingesetzt. Messergebnisse zeigen die Praktikabilit{\"a}t des Verfahrens.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-140&engl=1}
 }

@inproceedings {INPROC-2007-139,
    author = {Stefan Staiger},
    title = {{Statische Analyse von graphischen Oberfl{\"a}chen}},
    booktitle = {Proceedings of the Workshop on Applied Program Analysis, Bremen September 2007},
    publisher = {Gesellschaft f{\"u}r Informatik},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Lecture Notes in Informatics},
    pages = {247--253},
    type = {Workshop Paper},
    month = {September},
    year = {2007},
    language = {German},
    cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
                   F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-139&engl=1}
 }

@inproceedings {INPROC-2007-138,
    author = {Stefan Staiger},
    title = {{Reverse Engineering Graphical User Interfaces using Static Analyses}},
    booktitle = {Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.},
    publisher = {IEEE Computer Society},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    pages = {189--198},
    type = {Conference Paper},
    month = {October},
    year = {2007},
    language = {English},
    cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
                   F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-138&engl=1}
 }

@inproceedings {INPROC-2007-137,
    author = {Stefan Staiger and Gunther Vogel and Steffen Keul and Eduard Wiebe},
    title = {{Interprocedural Static Single Assignment Form}},
    booktitle = {Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada},
    publisher = {IEEE Computer Society},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    pages = {1--10},
    type = {Conference Paper},
    month = {October},
    year = {2007},
    keywords = {SSA form; data flow; static interprocedural analysis; Bauhaus},
    language = {English},
    cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
                   F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-137&engl=1}
 }