In our working group, it has proven successfully that interesting topics for Bachelor's and Master's
theses are worked out in a personal dialogue. Thus, we do not offer a fixed list of predefined topics.| All | Bachelor | Master | Diploma |
| 2025 |
 |
|
|
| 2024 |
|
|
|
| 2023 |
|
|
|
| 2022 |
|
|
|
| 2021 |
|
|
|
| 2020 |
|
|
|
| 2019 |
|
|
|
| 2018 |
|
|
|
| 2017 |
|
|
|
| 2016 |
|
|
|
| 2015 |
|
|
|
| 2014 |
|
|
|
| 2013 |
|
|
|
| 2012 |
|
|
|
| 2011 | |
|
|
| 2010 | |
|
|
| 2009 | |
|
|
| 2008 | |
||
| 2007 | |
||
| 2006 | |
||
| 2005 | |
| Name | Topic | Degree | Year |
| Johann Arfmann-Knübel | Design and Evaluation of Reconfiguration Algorithms for Pivoting Cube-Shaped Robots | Bachelor | 2025 |
| Marvin Hindmarsh | Effiziente Implementierung von Kronecker Funktionalen Entscheidungsdiagrammen | Bachelor | 2025 |
| Nele Hugo | Automation of Polynomial Formal Verification with Large Language Models | Bachelor | 2025 |
| Marius Marach | Bildkompression mit Algebraischen Entscheidungsdiagrammen | Bachelor | 2025 |
| Luca Müller | Exploring Polynomial Formal Verification with Parametrized Complexity of the Boolean Satisfiability Problem | Master | 2025 |
| Lauren Paul | Explainable Game Policies: A Case Study with 2048 | Bachelor | 2025 |
| Jonas Schramm | Eine effiziente Repräsentation der Addition von Gleitkommazahlen mit Entscheidungsdiagrammen | Bachelor | 2025 |
| Caroline Dominik | Embedding Sequential Circuits for their Polynomial Formal Verification | Master | 2024 |
| Marcel Franzen | A GPT-Enhanced Systematic Mapping Study on Evolutionary Computing | Master | 2024 |
| Jan Patrick Heine | Der Einfluss von Backbone-Architekturen auf eine merkmalsbasierte Motiverkennung zur automatisierten Optimierung von Bilddatensätzen für Deep Neural Networks | Master | 2024 |
| Jeremy Hutapea | Design and Verification of a Configurable PWM Peripheral in RTL using SpinalHDL | Master | 2024 |
| Sena Ilkbahar | Synthetische Generierung von Testdatensätzen für die forensische Datensicherung - Verbesserung der Effizienz und Handhabung von Verifizierungsmethoden | Bachelor | 2024 |
| Karl Aaron Rudkowski | Verification of SystemC RTL Peripherals using Symbolic Execution | Master | 2024 |
| Alireza Vakili | Pipelined RISC-V Processor using High-level Synthesis | Bachelor | 2024 |
| Kristoffer Weller | Visualization of Symbolic Execution Combining 2D and 3D Techniques to Visualize Symbolic Program Execution-Traces | Master | 2024 |
| Muhammed Ali Yildiz | Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionären Algorithmen | Bachelor | 2024 |
| Fawad Ahmed | Erweiterung und Evaluation von Kodierungen des All-Different-Constraints in SAT | Master | 2023 |
| Fabian Lukas Blanken | Implementierung und Verifikation eines Anmeldevorgangs für eine Java Webanwendung | Master | 2023 |
| Torben Ebermann | HyPA: Ein hybrides PTX Analyse Programm für die Design Space Exploration von GPGPU Applikationen | Bachelor | 2023 |
| Nils Friedrichs | SystemC Benchmark for High-Level Synthesis (SC-HLS) | Bachelor | 2023 |
| Jonas Geschonke | Automatisierte Visualisierung von Daten in einer Web-Applikation auf Basis explorativer Datenanalyse | Bachelor | 2023 |
| Steffen Janßen | Güte- und effizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassischen Optimierungsproblemen | Bachelor | 2023 |
| Wilhelm Jochim | Supporting Bluetooth Low Energy Keyboards in Environments without a Bluetooth Stack | Bachelor | 2023 |
| Kateryna Sieraia | Polynomial Formal Verification of a Generalized Conditional Sum Adder | Bachelor | 2023 |
| Christian Friedrich Coors | Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture | Master | 2022 |
| Pal Singh Davinder | Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen | Bachelor | 2022 |
| Liz-Lilly Hahm | Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen | Bachelor | 2022 |
| Jan Kleinekathöfer | Formal Verification of Floating Point Adders in Polynomial Time | Master | 2022 |
| Leon Klimasch | Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur | Master | 2022 |
| Rune Krauss | Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften | Master | 2022 |
| Mathis Logemann | Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers | Master | 2022 |
| Jonas Lohmann | From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning | Bachelor | 2022 |
| Nick Michalek | Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform | Bachelor | 2022 |
| Arbnor Miftari | Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen | Bachelor | 2022 |
| Arbnor Miftari | Development of New Software Tests for Robotic Motion Plans Through Mutation Testing | Master | 2022 |
| David Möllmann | Entwurf und Umsetzung eines Demonstrators für Eingebettete Systeme für den Einsatz in der Lehre mit Hilfe von Simulations- und Modellbasierten Methoden | Bachelor | 2022 |
| Karl Aaron Rudkowski | Interactive Modelling Platform for Projects with Embedded Devices | Bachelor | 2022 |
| Lennart Ove Weingarten | Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit | Master | 2022 |
| Jan Zielasko | Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype | Master | 2022 |
| Fabian Lukas Blanken | Fail-Operational-System für semiautonome zivile Multicopter-Drohnen | Bachelor | 2021 |
| Caroline Dominik | Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen | Bachelor | 2021 |
| Marcel Franzen | Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen | Bachelor | 2021 |
| Milan Funck | Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene | Master | 2021 |
| Jan Hensel | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor | 2021 |
| Philipp Johag | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor | 2021 |
| Gregor Kuhn | Design Understanding für Quantum-dot Cellular Automata Layouts | Bachelor | 2021 |
| Vinh Kien Luc | Autoencoder for dimension reduction of data in empirical asset pricing model | Bachelor | 2021 |
| Marcel Merten | Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise | Master | 2021 |
| Luca Müller | Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype | Bachelor | 2021 |
| Martha Schnieber | Polynomial Formal Verification of Approximate Functions | Master | 2021 |
| Daniel Staack | Fehlerfindung in robotischen Plänen mittels Fuzzing | Bachelor | 2021 |
| Sallar Ahmadi-Pour | MicroRV32 - Eine SpinalHDL basierte RISC-V RV32I_Zicsr Implementierung für die Nutzung auf einem Field Programmable Gate Array | Master | 2020 |
| Maximilian Eschert | Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing | Bachelor | 2020 |
| Mahmoud Fakhouri | Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen | Bachelor | 2020 |
| Christoph Kellermann | Effizienzerhöhung des Fine-Tunings nach dem Prunen von Convolutional Neural Networks | Master | 2020 |
| Leon Klimasch | Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten | Bachelor | 2020 |
| Paul Amos Kreiner | Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing | Bachelor | 2020 |
| Tom Schierenbeck | Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen | Bachelor | 2020 |
| Till Schlechtweg | Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints | Bachelor | 2020 |
| Martha Schnieber | SMT-based Analysis of Binarized Neural Networks | Bachelor | 2020 |
| Matthias von Rüden | Optimierung einer RISC-V Simulation mit Just-in-Time Kompilierung | Master | 2020 |
| Jan Frederick Walther | esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap | Bachelor | 2020 |
| Gösta Brünjes | Probabilistic Topic Modeling for Industrial Documents | Master | 2019 |
| Christian Friedrich Coors | Approximate Computing für Neuronale Netze in selbstfahrenden Autos | Bachelor | 2019 |
| Igor Kazhdan | Entwurf und Simulation von QCA-Schaltungen auf Gatterebene | Master | 2019 |
| Hakan Köksal | Automatisierte Fehlerdetektion in GUI-Applikationen mittels Fuzzing | Bachelor | 2019 |
| Maximilian Lünert | Optimization of biochip escape routing algorithms and integration into KiCAD | Master | 2019 |
| Carmen Naber | Konzeptionierung und Umsetzung eines adaptiven mobilen Learning-Content-Management-Systems für Schulen | Bachelor | 2019 |
| Jonas Wloka | Development of an Optimized GPU-based Implementation of the Elliptic Curve Factorization Method | Master | 2019 |
| Jan Zielasko | Modellierung und Validierung eines 64-bit RISC-V Virtuellen Prototypen basierend auf SystemC | Bachelor | 2019 |
| Mert Arat | Robustheit von konvolutionalen neuronalen Netzen für Bilderkennung im Automotive Bereich | Bachelor | 2018 |
| Hauke Edeler | Lösung komplexer DMFB-Routenprobleme per Reinforcement Learning | Master | 2018 |
| Stefan Hillmich | Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum | Master | 2018 |
| Niels Jeurissen | Robustheit von Methoden zur Bilderkennung am Beispiel von Straßen bei schlechter Witterungsbedingung | Bachelor | 2018 |
| Philipp Kiener | Designing a communication protocol for realtime manipulation of digital microfluidic biochips | Bachelor | 2018 |
| Lucas Klemmer | Implementierung eines flexiblen H.264/AVC Baseline Decoder IP Cores auf Basis eines ASIC Designs | Bachelor | 2018 |
| Rune Krauß | Effiziente Implementierung von Binären Entscheidungsdiagrammen | Bachelor | 2018 |
| Marcel Merten | Entwicklung eines konvolutionalen, rekurrenten Neuronalen Netzes zur codewort-basierten Datenkompression | Bachelor | 2018 |
| Bruns Niklas | Erkennung von Hardware-Trojanern in SystemC HLS Modellen durch Coverage-getriebenes Fuzzing | Master | 2018 |
| Tom Vincent Peters | Mastering the game of Dots and Boxes with deep neural networks and tree search | Master | 2018 |
| Jurij Schmidt | Evaluationsgestützte Überwachung von Befehlssequenzen mittels isolierter Ausführung | Bachelor | 2018 |
| Kevin Leonhard Schneider | Improving the Heuristics for One-Pass-Synthesis of Digital Microfluidic Biochips | Master | 2018 |
| Malte Christian Struck | Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten | Master | 2018 |
| Jil Tietjen | Symbolische Ausführung eines RISC-V-Prozessors | Master | 2018 |
| Jan von Bargen | Heuristisches IDS zur präventiven Detektion von rowhammer-typischen Systemangriffen | Bachelor | 2018 |
| Martin Afelt | Comparing Different Array Representations in SMT2 | Bachelor | 2017 |
| Christoph Bäck | Heuristische Kompaktierung einer Testmenge | Bachelor | 2017 |
| Nico Heller | Optimierte Übersetzung einer Spiele DSL nach Java | Bachelor | 2017 |
| Maximilian Lünert | StackADrop: A versatile Biochip | Bachelor | 2017 |
| Lars Schmertmann | Analyse von SHA256 mit Hilfe von CryptoMiniSat | Master | 2017 |
| Henri Leopold Siakeu Feussom | Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-Geräten | Bachelor | 2017 |
| Julian Stoick | Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen Prototypen | Bachelor | 2017 |
| Dan Sörgel | Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation | Master | 2017 |
| Eike Behrends | Detektion von Abhängigkeiten zwischen User Stories mittels NLP | Master | 2016 |
| Niklas Bruns | Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen | Bachelor | 2016 |
| Ronald Smith Djomkam Yotedje | Generic Information Extraction Using Triple-Store Databases | Master | 2016 |
| Hauke Edeler | Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information | Bachelor | 2016 |
| Igor Kazhdan | Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers | Bachelor | 2016 |
| Schneider Kevin Leonard | Alternative area division methods for exact routing on digital microfluidic biochips | Bachelor | 2016 |
| Patrick Kleinermann | Zeitsynchrone Erfassung seismischer Sensordaten | Bachelor | 2016 |
| Timo Kohorst | Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen | Bachelor | 2016 |
| Max Benjamin Nitze | Constraint-based Test-Data Generation | Master | 2016 |
| Pascal Pieper | Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash | Bachelor | 2016 |
| Carsten Schiefelbein | Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS | Master | 2016 |
| Jil Tietjen | Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT | Bachelor | 2016 |
| Tobias Böhnisch | Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips | Bachelor | 2015 |
| Steven Bösel | Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn | Bachelor | 2015 |
| Carina Harrius | Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits | Bachelor | 2015 |
| Stefan Hillmich | Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik | Bachelor | 2015 |
| Jannis Kranz | Entwicklung eines elektronikunterstützten Fahrradassistenzsystems | Diplom | 2015 |
| Alexander T. Lange | Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge | Master | 2015 |
| Hannes Mau | Unidirektionaler Datenaustausch mittels Zweileitertechnik | Bachelor | 2015 |
| Tim Meywerk | Neue Strategieansätze für Stratego-Bots | Bachelor | 2015 |
| Maxime Djao Mola | Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen | Master | 2015 |
| Tom Vincent Peters | Implementierung und Vergleich von Computergegnern für Käsekästchen | Bachelor | 2015 |
| Janosch Reinking | Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard | Bachelor | 2015 |
| Rhea C. Rinaldo | Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten | Bachelor | 2015 |
| Jöran Schlömer | Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen | Bachelor | 2015 |
| Michael A. Schulze | The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital spaceplane, in the drop tower, and in other microgravity platforms | Bachelor | 2015 |
| Hubert Fred Tchambo | Emotion based Lyric Classification with Natural Language Processing | Bachelor | 2015 |
| Katrin Thielmann | Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks | Master | 2015 |
| Marcel Walter | Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits | Bachelor | 2015 |
| Clemens Werther | Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen | Master | 2015 |
| Stefan Wichmann | Modellierung einer Mikrocontroller-basierten Plattform in SystemC | Diplom | 2015 |
| Mehmet Bagatir | Illustrative Implementierung von Quantenalgorithmen | Bachelor | 2014 |
| Tino Flenker | Wörterbuchgenerierung für die Lokalisierung von Verzögerungsfehlern in Logikschaltungen | Diplom | 2014 |
| Xiao Gao | Charakterisierung der Fehler von Eingebetteten Systemen | Master | 2014 |
| Murat Göksu | Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten | Master | 2014 |
| Amatulwaseh Hayat | Analyse von strukturell monotonen reversiblen Schaltkreisen | Diplom | 2014 |
| Vladimir Herdt | Complete Symbolic Simulation of SystemC Models | Master | 2014 |
| Sebastian Huhn | Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung | Master | 2014 |
| Philipp Kastner | Vergleich evolutionärer Algorithmen zur Stimuli-Generierung für SystemC-Designs | Diplom | 2014 |
| Tobias Kortkamp | An NLP Assistant for Clide | Bachelor | 2014 |
| Alexander Kröker | Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid | Bachelor | 2014 |
| Max Benjamin Nitze | Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion | Bachelor | 2014 |
| Juan Albert Hugo Prinzhorn Mendia | Verifikation von Bedingungen im C++ | Diplom | 2014 |
| Andree Rebers | WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi | Bachelor | 2014 |
| Tim Rühenbeck | Automatische Analyse und Verifikation von AIS-Daten | Bachelor | 2014 |
| Frerk Steen | Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten | Bachelor | 2014 |
| Arman Allahyari-Abhari | Exakte Synthese minimaler NCV-|v1>-Quantenschaltkreise | Diplom | 2013 |
| Luka Dschaak | Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her? | Bachelor | 2013 |
| Andrej Fast | Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen | Diplom | 2013 |
| Torben Hansing | Modellgetriebene Simulation von Microcontrollersystemen | Bachelor | 2013 |
| Sascha Hestermann | Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers | Bachelor | 2013 |
| Tobias Koehler | Vergleich von formalen Methoden zur Fehlerlokalisierung in Software | Diplom | 2013 |
| Niklas Krafczyk | Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene | Bachelor | 2013 |
| Aaron Frederick Lye | Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures | Bachelor | 2013 |
| Ali Mohammadzadeh | Synthese reversibler Funktionen mithilfe des Zauberwürfels | Bachelor | 2013 |
| Marc Niehaus | Comparing UML Models to Natural Language Specifications | Bachelor | 2013 |
| Lennart Pleuß | Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen | Bachelor | 2013 |
| Nils Przigoda | Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf | Diplom | 2013 |
| Abirami Puvanendran | Testgetriebener Systementwurf auf Basis von SysML Modellen | Diplom | 2013 |
| Matthias Schilmann | Optimierung von Tiefenkosten auf reversibler Ebene | Diplom | 2013 |
| Kenneth Schmitz | Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen | Diplom | 2013 |
| Karl Trzebiatowski | Automatisierung eines Zuweisungssystems für die Lehramtausbildung | Diplom | 2013 |
| Aljoscha Windhorst | Entwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse | Diplom | 2013 |
| Mathäus Wojt | Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test | Diplom | 2013 |
| Bastian Blachetta | SystemC-Synthese aus SysML-Modellen | Master | 2012 |
| Pavel Dimitrov | Autonomous Track Control Systems for Trains | Diplom | 2012 |
| Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation | Bachelor | 2012 |
| Christoph Hilken | Verifikation dynamischer Aspekte in SysML Modellen | Master | 2012 |
| Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers | Bachelor | 2012 |
| Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen | Bachelor | 2012 |
| Christian Otterstedt | Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern | Master | 2012 |
| Eleonora Schönborn | Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen | Diplom | 2012 |
| Wanja Schöpfer | Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät | Master | 2012 |
| Julia Seiter | Property Checking of Quantum Circuits | Diplom | 2012 |
| Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch | Bachelor | 2012 |
| Fereshta Yazdani | Einbettung reversibler Logik in SystemC | Diplom | 2012 |
| Melanie Diepenbeck | SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells | Diplom | 2011 |
| Markus Groß | Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden | Master | 2011 |
| Norman Gülcü | Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen | Diplom | 2011 |
| Sebastian Jauert | Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge | Diplom | 2011 |
| Markus Möhrke | Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern | Diplom | 2011 |
| Keszöcze Oliver | Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods | Bachelor | 2011 |
| Bastian Blachetta | Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise | Bachelor | 2010 |
| Philipp Klaffert | Fehlertolerante Schaltkreise mit geringem Ressourcenbedarf unter Verwendung partieller Redundanz | Diplom | 2010 |
| Stefanie Meyer | Optimierung der Don't Care Anzahl bei SAT-basierter Testmustergenerierung mittels 3-wertiger Logik | Diplom | 2010 |
| Christian Otterstedt | Synthese sequentieller reversibler Schaltkreise | Bachelor | 2010 |
| Jan Carstens | Testmustergenerierung durch Kombination Boolescher Beweiser | Diplom | 2009 |
| Jannes Dinse | System-on-Chip Entwurf eines RISC mit einem FPGA | Diplom | 2009 |
| Hristina Fidanoska | Complete Algorithms for Solving the Boolean Satisfaiablitity Problem | Bachelor | 2009 |
| Alexander Finder | Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke | Diplom | 2009 |
| Manuel Friebus | Visualisierung von SystemC auf Systemebene | Diplom | 2009 |
| Markus Groß | Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen | Bachelor | 2009 |
| Finn Haedicke | Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern | Diplom | 2009 |
| Hoang M. Le | Formal Verification of abstract SystemC designs via Bounded Model Checking | Diplom | 2009 |
| Andreas Schröder | Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen | Bachelor | 2009 |
| Olaf von der Ahe | Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern | Diplom | 2009 |
| Hongyan Zhang | Modellierung, Validation und Verifikation der SIMATIC S5 CPU | Diplom | 2009 |
| Stefan Frehse | Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente Algorithmen | Diplom | 2008 |
| Florian Harjes | Exakte Synthese von Multiplexerschaltkreisen | Diplom | 2008 |
| Marc Messing | Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung | Diplom | 2008 |
| Sebastian Offermann | Faktorisierung mittels SAT-Beweisern | Diplom | 2008 |
| Mathias Soeken | Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene | Diplom | 2008 |
| Sara Badkoubeh | Einsatz von interaktiven Lernmodulen in der technischen Informatik | Diplom | 2007 |
| Tim Cassens | Statische Kompaktierung von Testmustern für Schaltkreise | Diplom | 2007 |
| Xiaobo Chen | Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem | Diplom | 2007 |
| Jinghong Jin | Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs | Diplom | 2007 |
| Frank Riese | Implementierung eines GCC Backends für eine RISC Architektur | Diplom | 2007 |
| Stephan Eggersglüß | Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems Ausgezeichnet als beste Abschlussarbeit des Jahrgangs | Diplom | 2006 |
| Christian Genz | Analyse und Visualisierung von SystemC-Spezifikationen | Diplom | 2006 |
| Marcin Grden | Überdeckungsmaße in der formalen Hardware Verifikation | Diplom | 2006 |
| Michael Klemm | Testmusterkompaktierung mit Genetischen Algorithmen | Diplom | 2006 |
| Ulrich Kühne | Modellierung und Verifikation eines RISC Prozessors Ausgezeichnet mit dem Bremer Studienpreis 2006 | Diplom | 2006 |
| André Steinkamp | Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem | Diplom | 2006 |
| Andre Sülflow | Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus | Diplom | 2006 |
| Tim Warode | Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung | Diplom | 2006 |
| Robert Wille | Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern | Diplom | 2006 |
| Sebastian Kinder | Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung Ausgezeichnet mit dem Bremer Ingenieurpreis 2005 | Diplom | 2005 |