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.
Bachelor Thesis Topics
Master Thesis Topics
Feel free to contact us to probably get an individual topic: People
List of Finished Theses
Due privacy reasons full names of students will not be displayed.
| Title | Art |
|---|---|
| Optimierung von JMCTest beim Testen von Inter-Method Contracts | Bachelor's Thesis |
| Aktualisierung von Android Apps mittels Soot | Bachelor's Thesis |
| Neural Algorithm Selection for Software Verification | Master's Thesis |
| Analyzing Data Usage in Array Programs | Master's Thesis |
| Verification of Conflict Opacity for Software Transactional Memory Algorithms with Uppaal | Master's Thesis |
| Combining Android Apps for analysis purposes | Master's Thesis |
| Entwicklung einer statischen quantitativen Informationsflussanalyse | Bachelor's Thesis |
| Korrektheitsbeweise für Muster von Servicekompositionen | Bachelor's Thesis |
| Testing Java Method Contracts | Master's Thesis |
| Evolutionäre Strategieberechnung für Timed Game Automata | Bachelor's Thesis |
| Testing Opacity of Software Transactional Memory Algorithms | Bachelor's Thesis |
| Cooperative static analysis of Android applications | Master's Thesis |
| Korrektheitsüberprüfung von Invariantenkandidaten für nebenläufige Datenstrukturen | Bachelor's Thesis |
| Verifikation von Opacity des Software Transactional Memory Algorithmus FastLane | Master's Thesis |
| Verifikation von Service-Kompositionen mit Spin | Bachelor's Thesis |
| Verifikation von Service-Kompositionen mit Prolog | Bachelor's Thesis |
| Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung | Bachelor's Thesis |
| Predicting Rankings of Software Verficaton Tools Using Kernels for Structured Data | Master's Thesis |
| Program slicing: A Way of Separating C Program into Approximate and Precise Portions | Master's Thesis |
| Evaluierung von Prozessmanagementlösungen im Hinblick auf agile Prozesse | Bachelor's Thesis |
| Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs" | Bachelor's Thesis |
| Ein hierarchischer Ansatz für temporale Planung bei erforderlicher Nebenläufigkeit | Bachelor's Thesis |
| Generierung von Eigenschaften in einem Hardware/Software-Co-Verifikationsverfahren | Bachelor's Thesis |
| Entwicklung eines Konzeptes zur Kodierung eines objekt-orientierten Typsystems in SMT | Bachelor's Thesis |
| Visualisierung von SMT-Solver Ausgaben | Bachelor's Thesis |
| Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB | Master's Thesis |
| Linearisierbarkeitsbeweis der Work-Stealing Deque | Bachelor's Thesis |
| Integration von History-basierten Korrektheits-Checks im Model Checker SPIN | Bachelor's Thesis |
| Formal Semantics of Probalistic SMT Solving in Verification of Service Compositions | Master's Thesis |
| Transformation graphischer Protokollspezifikationenin Model-Checker-Anfragen | Bachelor's Thesis |
| Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern | Bachelor's Thesis |
| Analyse von Benutzeranforderungenan an Service-Kompositionen mittels Modelchecking | Bachelor's Thesis |
| Berechnung von Memory Model-spezifischen Kontrollflussgraphen | Bachelor's Thesis |
| Combining Three Valued Logic and Quantified Boolean Formulae in Bounded Model Checking Encodings | Master's Thesis |
| Dreiwertiges Model Checking paralleler Systeme mit heuristisch geleiteter Generierung von Gegenbeispielen | Bachelor's Thesis |
| Suchraumeinschränkung für Graphgrammatiken druch tempoallogische Formeln | Bachelor's Thesis |
| Multiagenten-Koordination in temporaler Planung | Master's Thesis |
| Exploiting Planning Graphs and Landmarks for Efficient GTS Planning | Master's Thesis |
| Bounded Model Checking für Graphtransformationssysteme als SAT-Problem | Master's Thesis |
| Change and Validity Analysis in Deductive Program Verification | Master's Thesis |
| Konzeption und Anwendung von Verhaltensmodellen in georeferenzierten Monitoringszenarien | Bachelor's Thesis |
| Function Specification Inference Using Craig Interpolation | Master's Thesis |
| Heuristic Search-Based Planning for Graph Transformations Systems | Diplomarbeit |
| Reputation-based reliability prediction of service compositions | Master's Thesis |
| Generierung von Shape-Analysen aus Graph-Spezifikationen | Master's Thesis |
| Increasing the preciseness of shape analysis for graph transformations systems | Master's Thesis |
| Modellierung und Analyse eines Bluetooth Protokolls mit Graphtransformationssystemen | Bachelor's Thesis |
| Effiziente Validierung und Bewertung von Modellzerlegungen | Diplomarbeit |
| Rückführung und Visualisierung von Gegenbeispielen aus einem Model Checker | Bachelor's Thesis |
| Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking | Diplomarbeit |
| Bounded Model Checking für partielle Systeme | Master's Thesis |
| Spezifikation des partiell replizierten, verteilten Systems DORS mit CSP-OZ in einem iterativen Entwicklungsprozess | Diplomarbeit |
| Konzeption und Implementierung der Diagnose-Therapie-Komponente eines Softwarequalitätszykluses | Bachelor's Thesis |
| Konzeption & Implementierung eines Dekompositions-Werkzeugs für kompositionelle Verifikation | Diplomarbeit |
| Konzeption und Implementierung eines Testframeworks für parametrisierte Tests und Isolation des Testgegenstandes | Diplomarbeit |
| Optimierung und Erweiterung einer Testsuite für eine Beschaffungslösung im öffentlichen Sektor | Studienarbeit(DP04) |
| Automatisiertes kompositionelles Model Checking von CSP Spezifikationen | Bachelor's Thesis |
| Variablenordnungsstrategien für den symbolischen Modelchecker TINY | Studienarbeit(DP04) |
| Semantikerhaltende Transformation objekt-orientierter in zustandsbasierte Spezifikationen / Übersetzung von CSP-OZ nach ProZ | Studienarbeit(DP04) |
| Entwurfsmuster in integrierten Methoden am Beispiel Object-Z | Studienarbeit(DP04) |
| Evaluating a model checker for the analysis of refactorings | Bachelor's Thesis |
| Erstellung einer CSP-OZ Spezifikation der Flugkontrolle eines Flughafens mittels Syspect | Studienarbeit(DP04) |
| Grundlagen für Bounded Model Checking mit 3-wertiger Logik | Studienarbeit(DP04) |
| Modellierung und Verifikation verteilter Systeme mit TINY | Diplomarbeit |
| Verifikation von CSP-OZ mit SPIN | Studienarbeit(DP04) |
| Design Pattern for Object-Z specifications | Studienarbeit(DP04) |
| Entwicklung eines Übersetzers einer Teilsprache von CSP-OZ in die Eingabesprache CSPM von FDR2 | Studienarbeit (DPO4) |
| Qualitätssicherung durch Optimierung des Testprozesses | Studienarbeit(DPO4) |
| Generierung von Refaktoringwerkzeugen | Master's Thesis |
