2023

Dr. Muhammad Numair Mansur

Automatically Detecting and Mitigating Issues in Program Analyzers

Technische Universität Wien, Prof. Maria Christakis

2022

Dr. Jannik Fischbach

Why and How to Extract Conditional Statements From Natural Language Requirements

Universität zu Köln, Prof. Andreas Vogelsang

2021

Dr. Linghui Luo

Improving Real-World Applicability of Static Taint Analysis

Paderborn University, Prof. Eric Bodden

2020

Dr. Franz Zieris

Qualitative Analysis of Knowledge Transfer in Pair Programming

FU Berlin, Prof. Lutz Prechelt

2019

Dr. Johannes Späth

Synchronized Pushdown Systems for Pointer and Data-Flow Analysis

Paderborn University, Prof. Eric Bodden

2018

Dr. Ralf S. Engelschall

Hierarchical User Interface Component Architecture (HUICA)

Universtät Augsburg, Prof. Alexander Knapp

2017

Dr. Steven Arzt

Dr. Siegfried Rasthofer

Static Data Flow Analysis for Android Applications

                    &

Improving Mobile-Malware Investigations with

Static and Dynamic Code Analysis Techniques

TU Darmstadt, Prof. Eric Bodden

2016

Dr. Korbinian Molitorisz

Musterbasierte Parallelisierung sequenzieller Anwendungen

Karlsruher Institut für Technologie, Prof. Walter Tichy

2015

Dr. Jörg Liebig

Analysis and Transformation of Configurable Systems

Uni Passau, Prof. Sven Apel

2014

Dr. Sven Körner

RECAA – Werkzeugunterstützung in der Anforderungserhebung

Karlsruher Institut für Technologie, Prof. Walter Tichy

2013

Dr. Michael Pradel

Program Analyses for Automatic and Precise Error Detection

ETH Zürich, Prof. Thomas Gross

2012

Dr. Matthias Güdemann

Qualitative and Quantitative Formal Model-Based Safety Analysis

Uni Magdeburg, Prof. Frank Ortmeier

Sascha Lity

Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Software-Produktlinien

Masterarbeit, TU Braunschweig, Prof. Ina Schaefer

2011

Dr. Elmar Juergens

Why and How to Control Cloning in Software Artifacts

Dissertation, TU München, Prof. Manfred Broy

Thomas Thüm

A Machine-Checked Proof for a Product-Line-Aware Type System

Diplomarbeit, Uni Magdeburg, Prof. Gunter Saake

2010

Dr. Valentin Dallmeier

Mining and Checking Object Behavior

Dissertation, Uni des Saarlandes, Prof. Andreas Zeller

2009

Dr. Adrian Lienhard

Dynamic Object Flow Analysis

Dissertation, Uni Bern, Prof. Oscar Nierstrasz

Nils Göde

Incremental Clone Detection

Diplomarbeit, Uni Bremen, Prof. Rainer Koschke

2008

Prof. Dr. Lutz Prechelt

The Web Development Platform Comparison – Evaluation and Results

Untersuchung, FU Berlin

Jan Jonas

Reverse Engineering of Framework API Changes via Mining Instantiation Code

Diplomarbeit, TU Darmstadt, Prof. Mira Mezini

2007

Dr. Sven Apel

The Role of Features and Aspects in Software Development

Dissertation, Uni Magdeburg, Prof. Gunter Saake

Christian Kästner

Aspect-Oriented Refactoring of Berkeley DB

Diplomarbeit, Uni Magdeburg, Prof. Gunter Saake

2006

Dr. Alexandre Bergel

Classboxes − Controlling Visibility of Class Extensions

Dissertation, Uni Bern, Profs. Ducasse und Nierstrasz

Hans-Jörg Peter

Controller Program Synthesis for Industrial Machines

Diplomarbeit, Uni des Saarlandes, Prof. Bernd Finkbeiner

2005

Prof. Dr. Johannes Siedersleben

Software-Architektur − Quasar

Sonderpreis, sd&m

2004

Dr. Veronika Thurner

Formal fundierte Modellierung von Geschäftsprozessen

Dissertation, TU München, Prof. Manfred Broy

Silvia Breu

Aspect Mining Using Event Traces

Diplomarbeit, Uni Passau, Prof. Gregor Snelting

2003

Dr. Michele Lanza

Object-Oriented Reverse Engineering − Coarse-grained, Fine-grained, and Evolutionary Software Visualization

Dissertation, Uni Bern, Profs. Ducasse und Nierstrasz

2002

Dr. Joachim Wegener

Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen

Dissertation, HU Berlin, Prof. Klaus Bothe

Björn Lütkemeier und Sebastian Thöne

Prozessorientierte Integration von Softwarekomponenten XML-basierte Workflow-Modelle

Diplomarbeit, Uni Paderborn, Prof. Gregor Engels

2001

Dr. Lothar Baum

A Generative Approach to Customers´ Runtime Platforms

Dissertation, Uni Kaiserslautern, Prof. Jürgen Nehmer

Ralf Hildebrandt

Minimierung fehlerverursachender Eingaben

Diplomarbeit, Universität Braunschweig, Prof. Gregor Snelting

2000

Dr. Dr. Jens Jahnke

Management of Uncertainty and Inconsistency in Database Reengineering Processes

Dissertation, Gesamthochschule Paderborn, Prof. Wilhelm Schäfer

Guido Malpohl

Ein intelligenter Umbenennungserkenner

Diplomarbeit, Uni Karlsruhe, Prof. Walter Tichy

Arwid Kassner und Klaus Monpetain

Entwicklung einer Software für ein Online-Shop-System

Sonderpreis Diplomarbeit, FH Bremen, Prof. Breymann

1999

Dr. Katja Cremer

Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering

Dissertation, RWTH Aachen, Prof. Manfred Nagl

1998

Dr. Christoph Reichenberger

Konzepte und Verfahren für die Software-Versionsverwaltung

Dissertation, Johannes-Kepler-Universität Linz, Prof. Peter Rechenberg

Thomas Biskup

Entwicklung eines Werkzeuges zur Generierung von Testmustern aus einer Programm-Spezifikation unter Verwendung von Ursache/Wirkungsgraphen

Diplomarbeit, Uni Dortmund, Dr. Eike Riedemann

1997

Dr. Andreas Zeller

Configuration Management with Version Sets

Dissertation, TU Braunschweig, Prof. Gregor Snelting

Bernd Freimut

Capture-Recapture Models to Estimate Software Fault Content

Diplomarbeit, Uni Kaiserslautern, Prof. Dieter Rombach

1996

Stefan Schiffer

Visuelle Programmierung - Potential und Grenzen

Sonderpreis

Günther Specht und Michael Hofmann

Auswertung der Migration eines Multimedia-Informationssystems von einem relationalen auf ein objektorientiertes Datenbanksystem

Sonderpreis

1995

Dr. Heinrich Hußmann

Formel Foundations for SSADM

Habilitationsschrift, TU München, Prof. Manfred Broy

Buch Hußmann

Maren Krone

Reverse Engineering von Konfigurationsstrukturen

Diplomarbeit, TU Braunschweig, Prof. Gregor Snelting

1994

Dr. Harald Gall und Dr. René Klösch

COREM − Eine objektorientierte Reverse-Engineering-Methode

Dissertationen, TU Wien, Prof. Mittermeier (Klagenfurt)

Buch Gall / Klösch

1993

Dr. Peter Liggesmeyer

Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten

Dissertation, Uni Bochum, Prof. Helmut Balzert

Buch Liggesmeyer

1992

Dr. Jürgen Pasch

Dialogischer Software-Entwurf

Dissertation, TU Berlin, Prof. Christiane Floyd

Buch Pasch