We’ve moved!
The Chair of Software Engineering has moved to the 4th floor of the MC building. We’re still located on the southern side, directly above our old offices. The main office can now be found in room 4.146.
Identification and Analysis of Security Features
Description The goal of the thesis is to identify and analyze the parts of the code of open-source software where security features are implemented. Since it is difficult to find all security feature implementations in a software system, we want to use a systematic approach starting from easily identifiable security-critical fields and methods. Based on … Read more
New Textbook on Domain-Specific Languages
Authors Andrzej Wąsowski and Thorsten Berger just published their new textbook “Domain-Specific Languages: Effective Modeling, Automation, and Reuse”. It covers methods, design patterns, guidelines, and QA practices for defining high-level languages to build better software and its 500 pages include 277 programming and modeling exercises, along with many practical examples from industry and open-source projects. … Read more
A Case Study of Automatically Generating Language Servers from Model-Driven Language Specifications
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Mining Software Repositories, Software Analytics (e.g., codebase analyses)
DescriptionThe following topics focus on analyzing codebases of open-source projects. TODO: references Contact:Extent: B.Sc./ M.Sc.
Novel Variation Management Systems
DescriptionSoftware variability management is challenging. We’re working towards novel variation management systems, see publications below. TODO: reference to publications Contact:Extent: B.Sc./ M.Sc.
Thesis Together With ABB Research Germany
DescriptionProduct-line migration feasibility study (static analysis of legacy software artifacts, cost/benefit analysis, architecture evaluation). Contact:Extent: B.Sc./ M.Sc.
thesis together with Danfoss Denmark
Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.
Thesis on Visualizing the Evolution of Software Features, Extending our Feature Dashboards and IDE Plugins
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
A SAT Solver for Linux
Description Incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts). More details on the kconfig-sat website . Contact:Extent: B.Sc./ M.Sc.