Supervised Bachelor Theses, Master Theses and Diploma Theses

2019

305.

Bittner, Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
March 2019

File:

https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf

304.

Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
January 2019

2018

303.

Robin, Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
December 2018

302.

Illich, Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
December 2018

301.

Götz, Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018

300.

Löser, Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018

299.

Thiele, Nico
Re-Engineering Feature Models From Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018

DOI:	10.24355/dbbs.084-201812111501-0
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf

298.

Pett, Tobias
Stability of Product Sampling Under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018

DOI:	10.24355/dbbs.084-201812111412-0
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf

297.

Weber, Pascal
Distribution in CHR
Bachelorarbeit
Universität Ulm
October 2018

296.

Maier, Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018

295.

Sontag, Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018

DOI:	10.24355/dbbs.084-201812191127-0
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf

294.

Gylstorff, Sophie
A Dynamic Performance Analyses of Bad Smells in Model Transformations
Masterarbeit
Universität Ulm
August 2018

293.

Liebhardt, Marco
Creating a Domain Specific Language for Voice User Interface Dialog Modeling
Masterarbeit
Universität Ulm
July 2018

292.

Lollert, Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
June 2018

291.

Pietron, Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
May 2018

290.

Sprey, Joshua; Sundermann, Chico
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018

DOI:	10.24355/dbbs.084-201807060926-0
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf

289.

Leitz, Markus
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018

288.

Benz, Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
February 2018

287.

Hammann, Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
February 2018

286.

van der Most, Wolfgang
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
January 2018

2017

285.

Kempfle, Moritz
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
December 2017

284.

(Burmeister), Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
TU Braunschweig, Germany
December 2017

DOI:	10.24355/dbbs.084-201801311013
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044294/Pardylla-Ein_Erfahrungsbericht_zur_Deduktiven_Verifikation_mit_KeY.pdf

283.

Sontag, Christopher
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
TU Braunschweig, Germany
December 2017

File:

https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2

282.

Geiselmann, Tobias
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017

281.

Günther, Timo
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
TU Braunschweig, Germany
November 2017

DOI:	10.24355/dbbs.084-201711171100
File:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044082/Guenther_Timo_Explaining_Satisfiabiltiy_Queries_for_Software_Product_Lines.pdf