Your Thesis

Topics for a Master thesis are in most cases related to recent research. If you interested in writing a thesis in our research group, please consult the list of open topics below or contact us directly. Further below you find a list of finished theses.

Available Topics


Bachelor Thesis Topics
Topic
See German version of this page for available topics.

Master Thesis Topics
Topic Advisor Abstract

Assigned Topics

 
Bachelor Thesis Topics
Topic Advisor Abstract

Master Thesis Topics
Topic Advisor Abstract

List of Finished Theses

Select type of theses:

 

Entwicklung eines Übersetzers einer Teilsprache von CSP-OZ in die Eingabesprache CSPM von FDR2
Wagner, Elena (Studienarbeit (DPO4))

Increasing the preciseness of shape analysis for graph transformations systems
Daniel Wonisch (Masterarbeit)

Modellierung und Analyse eines Bluetooth Protokolls mit Graphtransformationssystemen
Marco Rizzi (Bachelorarbeit)

Reputation-based reliability prediction of service compositions
Galina Besova (Masterarbeit)

Heuristic Search-Based Planning for Graph Transformations Systems
Estler, Hans-Christian (Diplomarbeit)

Spezifikation des partiell replizierten, verteilten Systems DORS mit CSP-OZ in einem iterativen Entwicklungsprozess
Braun, Rudolf (Diplomarbeit)

Design Pattern for Object-Z specifications
Yang, Le (Studienarbeit (DPO4))

Erstellung einer CSP-OZ Spezikation der Flugkontrolle eines Flughafens mittels Syspect
Jakoblew, Marcel (Studienarbeit (DPO4))

Entwurfsmuster in integrierten Methoden am Beispiel Object-Z
Xianghua, Zheng (Studienarbeit (DPO4))

Konzeption und Implementierung eines Testframeworks für parametrisierte Tests und Isolation des Testgegenstandes
Schröder, Marina (Diplomarbeit)

Konzeption & Implementierung eines Dekompositions-Werkzeugs für kompositionelle Verifikation
Herbold, Klaus (Diplomarbeit)

Konzeption und Implementierung der Diagnose-Therapie-Komponente eines Softwarequalitätszykluses
Beister, Frederic (Bachelorarbeit)

Evaluating a model checker for the analysis of refactorings
Estler, Hans-Christian (Bachelorarbeit)

Modellierung und Verifikation verteilter Systeme mit TINY
Walther, Sven (Diplomarbeit)

Qualitätssicherung durch Optimierung des Testprozesses
Michalek, Dominika (Studienarbeit (DPO4))

Automatisiertes kompositionelles Model Checking von CSP Spezifikationen
Wonisch, Daniel (Bachelorarbeit)

Variablenordnungsstrategien für den symbolischen Modelchecker TINY
Steenken, Dominik (Studienarbeit (DPO4))

Optimierung und Erweiterung einer Testsuite für eine Beschaffungslösung im öffentlichen Sektor
Dertmann, Nadine (Studienarbeit (DPO4))

Verifikation von CSP-OZ mit SPIN
Zorlu, Fatih (Studienarbeit (DPO4))

Grundlagen für Bounded Model Checking mit 3-wertiger Logik
Liao, Hai (Studienarbeit (DPO4))

Semantikerhaltende Transformation objekt-orientierter in zustandsbasierte Spezifikationen / Übersetzung von CSP-OZ nach ProZ
Müller, Steven (Studienarbeit (DPO4))

Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
Malte Röhs (Diplomarbeit)

Generierung von Shape-Analysen aus Graph-Spezifikationen
Buckler, Christoph (Masterarbeit)

Bounded Model Checking für partielle Systeme
Nils Timm (Masterarbeit)

Effiziente Validierung und Bewertung von Modellzerlegungen
Meik Piepmeyer (Diplomarbeit)

Rückführung und Visualisierung von Gegenbeispielen aus einem Model Checker
Sebastian Micus (Bachelorarbeit)

Generierung von Refaktoringwerkzeugen
Ziegert, Steffen (Masterarbeit)

Function Specification Inference Using Craig Interpolation
Schremmer, Alexander (Masterarbeit)

Bounded Model Checking für Graphtransformationssysteme als SAT-Problem
Tobias Isenberg (Masterarbeit)

Change and Validity Analysis in Deductive Program Verification
Marie-Christine Jakobs (Masterarbeit)

Exploiting Planning Graphs and Landmarks for Efficient GTS Planning
Shayan Ahmadian (Masterarbeit)

Combining Three-Valued Logic and Quantified Boolean Formulae in Bounded Model Checking Encodings
Nikolaos Ikonomakis (Masterarbeit)

Dreiwertiges Model Checking paralleler Systeme mit heuristisch geleiteter Generierung von Gegenbeispielen
Mike Czech (Bachelorarbeit)

Konzeption und Anwendung von Verhaltensmodellen in georeferenzierten Monitoringszenarien
Patrick Backhaus (Bachelorarbeit)

Suchraumeinschränkung für Graphgrammatiken durch tempoallogische Formeln
Marcel Friedrich (Bachelorarbeit)

Multiagenten-Koordination in temporaler Planung
Thomas Hauck (Masterarbeit)

Berechnung von Memory Model-spezifischen Kontrollflussgraphen
Michael Feldmann (Bachelorarbeit)

Analyse von Benutzeranforderungen an Service-Kompositionen mittels Modelchecking
Tobias Nickel (Bachelorarbeit)

Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
Marco Engelbrecht (Bachelorarbeit)

Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
Christoph Klauke (Bachelorarbeit)

Formal Semantics of Probalistic SMT Solving in Verification of Service Compositions
Maryam Sanati (Masterarbeit)

Integration von History-basierten Korrektheits-Checks im Model Checker SPIN
Katharina Dridger (Bachelorarbeit)

Linearisierbarkeitsbeweis der Work-Stealing Deque
Monika Wedel (Bachelorarbeit)

Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
Manuel Töws (Masterarbeit)

Visualisierung von SMT-Solver Ausgaben
Sebastian Osterbrink (Bachelorarbeit)

Entwicklung eines Konzeptes zur Kodierung eines objekt-orientierten Typsystems in SMT
Andreas Krakau (Bachelorarbeit)

Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
Felix Pauck (Bachelorarbeit)

Ein hierarschischer Ansatz für temporale Planung bei erforderlicher Nebenläufigkeit
Johannes Heil (Bachelorarbeit)

Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
Philipp Korth (Bachelorarbeit)

Evaluierung von Przessmanagementlösungen im Hinblick auf agile Prozesse
Jan Bödefeld (Bachelorarbeit)

Program slicing: A Way of Separating C Program into Approximate and Precise Portions
Guangli Zhang (Masterarbeit)

Predicting Rankings of Software Verfication Tools Using Kernels for Structured Data
Mike Czech (Masterarbeit)

Imprint | Webmaster | Recent changes: 03.08.2016