Abgeschlossene Dissertationen, Masterarbeiten und Bachelorarbeiten

PhD

Daniel Kernberger, Hybrid Branching-Time Logics, 2019

Florian Bruse, Extremal Fixpoints for Higher-Order Modal Logic, 2018

Milka Hutagalung, Buffered Simulation for Büchi Automata, 2018

 

MSc

Maurice Herwig, Using Shared Packet Parse Forests to compute all Minimal Corrections, 2024

Georg Siebert, Randomized Smoothing for Time-aware Robustness of Temporal Graph Neural Networks, 2024

Eric Alsmann, On the Undecidability of the Output Reachability Problem for Transformer Sequence Classifiers, 2023

Marco Sälzer, Convergence of Modal Fixpoint Formulars over Special Classes of Structures, 2020

Adrian Sturm, Constructing a Model Checking Algorithm for Higher Order Modal Logic using Binary Decision Diagrams, 2019

Benedikt Hruschka, Implementierung eines Interaktiven Model-Checkers für erststufige Logik über automatischen Strukturen, 2019

David Kronenberger, Capturing Bisimulation-Invariant Complexity Classes by Polyadic Higher-Order Fixpoint Logic, 2019

Lara Yöruk, SoPHY – A Specification Language for Hybrid Systems, 2017

Orcun Yörük, Simon – Ein Simulationstool für hybride Systeme, 2017

Arno Ehle, Proof Search in the Sequent Calculus for First-Order Logic with Equality, 2017

 

BSc

Laurin Pöppe, Implementierung einer Übersetzung Neuronaler Netze in I/O-Äquivalente Endliche Automaten, 2024

Adrian Nestroinai, Development of a TeachingBook Component to Support the Learning of Formal Grammars, 2024

Jan Heinemeyer, Hypothesenüberprüfung in der Biologie: Erweiterung und Anbindung des Calculus of Influence an ein Lehr-/Lernsystem zur Überprüfung von Hypothesen, 2023

John Hundhausen, Ein Website-Baukasten für interaktive Vorlesungsskripte und Arbeitsblätter, 2023

Clemens Weiße, Frontend-Entwicklung eines Reduktions-Trainers für Studierende, 2023

Lars-Eric Marquardt, Formal Verification of Different Semantics for an Abstract Higher-Order Fixpoint Algebra in Isabelle/HOL, 2022

Kathrin Lehmann, Toolgestütztes Lernen im Kontext der Berechenbarkeitstheorie: ein Backend-Prototyp zur automatisierten Überprüfung von Reduktionen, 2022

Stefan Kablowski, Computing All Minimal Corrections for a Word to Match a Context-Free Description, 2022

Sören Möller, An Efficient Algorithm for Proof Search in the Calculus of Influence, 2022

Maurice Herwig, Berechnung einer Gewichtung regulärer Sprachen, 2021

Georg Siebert, Auf dem Weg zum künstlichen Lehrassistenten: Das Lernen von Bewertungsschemata für endliche Automaten mit GNNs, 2021

Eric Alsmann, Inexpressibility Results for Propositional Dynamic Logic over Context-Free Programs, 2021

Jan Müller, Eine Webanwendung zur prädikatenlogischen Modellprüfung von Graphstrukturen, 2021

Lukas Mentel, Detection and Elimination of Constants to Strengthen k-Induction, 2021

Marco Sälzer, Neededness Analysis for Model Checking Properties Defined by Order-2 Fixpoints, 2018

Arno Ehle, Untersuchungen zu partiellen Reduktionen von Paritätsspielen auf Büchi-Spiele, 2015

Thorsten Löbig, Untersuchungen zur Anwendbarkeit von formalen Methoden am Beispiel einer Infusionspumpe, 2014

Michael Falk, Fixpunktiteration für Paritätsspiele, 2013