Supervised Bachelor Theses, Master Theses and Diploma Theses
2022
285.
Jurinka,
Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
284.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
2021
283.
Funk,
Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021
282.
Wiebe,
Annika
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
October 2021
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
October 2021
281.
Beaucamp,
Luis
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
October 2021
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
October 2021
280.
Füg,
Fabian
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
July 2021
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
July 2021
279.
Chen,
Xianhua
ROS/Gazebo-Based Simulation of a Hand-Guided Quadcopter System To Support Bidirectional Programming
Bachelorarbeit
Universität Ulm
March 2021
ROS/Gazebo-Based Simulation of a Hand-Guided Quadcopter System To Support Bidirectional Programming
Bachelorarbeit
Universität Ulm
March 2021
278.
Delxen,
Xavier-Walton
Automatic tracking of usability issues: A tracking and detection software for usability issues
Bachelorarbeit
Universität Ulm
January 2021
Automatic tracking of usability issues: A tracking and detection software for usability issues
Bachelorarbeit
Universität Ulm
January 2021
2020
277.
Haas,
Yves
Interview Study about the advantages and disadvantages of model transformation languages
Bachelorarbeit
Universität Ulm
December 2020
Interview Study about the advantages and disadvantages of model transformation languages
Bachelorarbeit
Universität Ulm
December 2020
276.
Lappe,
Hannah
Development and Evaluation of a Metamodel to Define Modeling Syntaxes for CouchEdit
Bachelorarbeit
Universität Ulm
November 2020
Development and Evaluation of a Metamodel to Define Modeling Syntaxes for CouchEdit
Bachelorarbeit
Universität Ulm
November 2020
275.
Bückle,
Fabian
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
November 2020
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
November 2020
274.
Birnkammer,
Thomas
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020
273.
Lollert,
Jannic
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020
272.
Wittmann,
Bernhard
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
August 2020
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
August 2020
271.
Jox,
Lukas
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
February 2020
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
February 2020
2019
270.
Hirn,
Sophie
Measuring and Improving the Performance of PureScript Applications
Bachelorarbeit
Universität Ulm
December 2019
Measuring and Improving the Performance of PureScript Applications
Bachelorarbeit
Universität Ulm
December 2019
269.
Seiffert,
Matthias
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
November 2019
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
November 2019
268.
Nachreiner,
Leander
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
November 2019
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
November 2019
267.
Schindler-Zins,
Dominik
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
October 2019
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
October 2019
266.
Georgi,
Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
June 2019
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
June 2019
265.
Krais,
Simon
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
March 2019
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
March 2019
264.
Rechenberger,
Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
January 2019
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
January 2019
2018
263.
Illich,
Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
December 2018
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
December 2018
262.
Robin,
Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
December 2018
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
December 2018
261.
Götz,
Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018