Supervised Theses

Supervised Theses

Titles Status Student Supervisor(s)
DSL für Produktlinien von Benutzeroberflächen In progress Gregor Heß Richard Bubel
Reiner Hähnle
Efficient Modular Specification and Reasoning using Dynamic Frames In progress Marc Arnold Richard Bubel
Effective and Efficient Reasoning about (Finite) Sets In progress Niklas Alt Richard Bubel
Variable Modules In progress   Eduard Kamburjan
Concept Formation in Computer Science: Modeling and Programming In progress   Eduard Kamburjan
Makroskopisches Editieren
von prototypischen
Eisenbahnbetriebsverfahren
In progress   Eduard Kamburjan
Semi-Dynamic
Session Types for ABS
In progress   Eduard Kamburjan
Reachability of Hybrid Active Objects In progress   Eduard Kamburjan
Proof Statistics for KeY In progress Shivaraj Bheemsha Behere Richard Bubel
Conflict Based Quantifier Instantiation for the KeY Theorem Prover In progress Andre Challier Richard Bubel
Speculated Loop Invariants for Proofs finished Daniel Pöppelmann Jakob Laenge, Dominic Steinhöfel
Modellierung von Software Produktfamilien im Steuerrecht finished Nikolas Asimyadis Richard Bubel
Symbolic State Debugging of C/LLVM-IR programs finished Sha Teng Nathan Wasser, Asma H. Tabar, Richard Bubel
Loop Scopes Taclets for KeY finished Benedikt Dreher Dominic Steinhöfel, Nathan Wasser
Formalizing the Concurrency Model of Active Objects in a Linearization Framework finished Markus Bommer Eduard Kamburjan
Performance Evaluation of Selected Abstract Behavioral Specification Language Backends finished Awsaf Rahman Richard Bubel
Hybrid Active Objects with ABS finished Martina Kettenbach Eduard Kamburjan
Active Object Languages for Railway Modeling finished Fabian Wagner Eduard Kamburjan
Comparing ABS and B on Real World Specifications finished Chunyuan Yu Eduard Kamburjan
Industrielle Evaluation des Symbolic Execution Debuggers finished Lukas Becker Richard Bubel
Algorithmic Debugging with Symbolic Execution Trees finished Peter Schauberger Martin Hentschel, Richard Bubel
A Formal Model of a Railway Operating Procedure with Moving Blocks and Dynamic Speed Profile finished Stefan Dillmann Eduard Kamburjan, Frederik Düpmeier
Join Block Contracts for a Dynamic Logic Calculus finished Melisa Mendoza Dominic Scheurer, Richard Bubel
Session Types for ABS finished Eduard Kamburjan Crystal Chang Din, Tzu-Chun Chen
Symbolic Execution on a DAG finished Dominic Scheurer Reiner Hähnle, Nathan Wasser, Richard Bubel
Automatische Analyse von Geschäftsregeln finished Johannes Schramm Reiner Hähnle, Richard Bubel
Abstract Operation Contracts finished
(won Datenlotsenpreis 2015)
Maria Pelevina Reiner Hähnle, Richard Bubel
Formalising the Method Contract Rule in COQ finished Alexander Fuhs Richard Bubel
Guided Navigation in Symbolic Execution Trees finished Martin Möller Reiner Hähnle, Martin Hentschel
Effizientes automatisches Beweismanagement in Eclipse für KeY finished Stefan Käsdorf Reiner Hähnle, Martin Hentschel
Erweiterte Kontrollfunktionen für den Symbolic Execution Debugger finished Marco Drebing Reiner Hähnle, Martin Hentschel
Abstract Modeling of Business Software finished Marko Martin Reiner Hähnle, Richard Bubel
Erkennung von korrumpierten Beweisen auf Basis von DbC-Diagrammen finished Jan Erik Keller Reiner Hähnle, Martin Hentschel
Abstract Object Creation for an Explicit Heap Representation finished Eduard Kamburjan Richard Bubel
Erstellung einer Testmethodologie zur Migration im SAP-Umfeld: Angewandt auf eine Fallstudie mit der Untersuchung zur Praktikabilität der Delta-Orientierten Programmierung finished Can Güler Richard Bubel