All | Bachelor | Master | Diploma |
2024 |
|
|
|
2023 |
|
|
|
2022 |
|
|
|
2021 |
|
|
|
2020 |
|
|
|
2019 |
|
|
|
2018 |
|
|
|
2017 |
|
|
|
2016 |
|
|
|
2015 |
|
|
|
2014 |
|
|
|
2013 |
|
|
|
2012 |
|
|
|
2011 | |||
2010 | |||
2009 | |||
2008 | |||
2007 | |||
2006 | |||
2005 |
Name | Topic | Year |
Jan Patrick Heine | Der Einfluss von Backbone-Architekturen auf eine merkmalsbasierte Motiverkennung zur automatisierten Optimierung von Bilddatensätzen für Deep Neural Networks | 2024 |
Jeremy Hutapea | Design and Verification of a Configurable PWM Peripheral in RTL using SpinalHDL | 2024 |
Karl Aaron Rudkowski | Verification of SystemC RTL Peripherals using Symbolic Execution | 2024 |
Kristoffer Weller | Visualization of Symbolic Execution Combining 2D and 3D Techniques to Visualize Symbolic Program Execution-Traces | 2024 |
Fawad Ahmed | Erweiterung und Evaluation von Kodierungen des All-Different-Constraints in SAT | 2023 |
Fabian Lukas Blanken | Implementierung und Verifikation eines Anmeldevorgangs für eine Java Webanwendung | 2023 |
Christian Friedrich Coors | Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture | 2022 |
Jan Kleinekathöfer | Formal Verification of Floating Point Adders in Polynomial Time | 2022 |
Leon Klimasch | Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur | 2022 |
Rune Krauss | Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften | 2022 |
Mathis Logemann | Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers | 2022 |
Arbnor Miftari | Development of New Software Tests for Robotic Motion Plans Through Mutation Testing | 2022 |
Lennart Ove Weingarten | Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit | 2022 |
Jan Zielasko | Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype | 2022 |
Milan Funck | Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene | 2021 |
Marcel Merten | Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise | 2021 |
Martha Schnieber | Polynomial Formal Verification of Approximate Functions | 2021 |
Sallar Ahmadi-Pour | MicroRV32 - Eine SpinalHDL basierte RISC-V RV32I_Zicsr Implementierung für die Nutzung auf einem Field Programmable Gate Array | 2020 |
Christoph Kellermann | Effizienzerhöhung des Fine-Tunings nach dem Prunen von Convolutional Neural Networks | 2020 |
Matthias von Rüden | Optimierung einer RISC-V Simulation mit Just-in-Time Kompilierung | 2020 |
Gösta Brünjes | Probabilistic Topic Modeling for Industrial Documents | 2019 |
Igor Kazhdan | Entwurf und Simulation von QCA-Schaltungen auf Gatterebene | 2019 |
Maximilian Lünert | Optimization of biochip escape routing algorithms and integration into KiCAD | 2019 |
Jonas Wloka | Development of an Optimized GPU-based Implementation of the Elliptic Curve Factorization Method | 2019 |
Hauke Edeler | Lösung komplexer DMFB-Routenprobleme per Reinforcement Learning | 2018 |
Stefan Hillmich | Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum | 2018 |
Bruns Niklas | Erkennung von Hardware-Trojanern in SystemC HLS Modellen durch Coverage-getriebenes Fuzzing | 2018 |
Tom Vincent Peters | Mastering the game of Dots and Boxes with deep neural networks and tree search | 2018 |
Kevin Leonhard Schneider | Improving the Heuristics for One-Pass-Synthesis of Digital Microfluidic Biochips | 2018 |
Malte Christian Struck | Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten | 2018 |
Jil Tietjen | Symbolische Ausführung eines RISC-V-Prozessors | 2018 |
Lars Schmertmann | Analyse von SHA256 mit Hilfe von CryptoMiniSat | 2017 |
Dan Sörgel | Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation | 2017 |
Eike Behrends | Detektion von Abhängigkeiten zwischen User Stories mittels NLP | 2016 |
Ronald Smith Djomkam Yotedje | Generic Information Extraction Using Triple-Store Databases | 2016 |
Max Benjamin Nitze | Constraint-based Test-Data Generation | 2016 |
Carsten Schiefelbein | Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS | 2016 |
Alexander T. Lange | Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge | 2015 |
Maxime Djao Mola | Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen | 2015 |
Katrin Thielmann | Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks | 2015 |
Clemens Werther | Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen | 2015 |
Xiao Gao | Charakterisierung der Fehler von Eingebetteten Systemen | 2014 |
Murat Göksu | Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten | 2014 |
Vladimir Herdt | Complete Symbolic Simulation of SystemC Models | 2014 |
Sebastian Huhn | Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung | 2014 |
Bastian Blachetta | SystemC-Synthese aus SysML-Modellen | 2012 |
Christoph Hilken | Verifikation dynamischer Aspekte in SysML Modellen | 2012 |
Christian Otterstedt | Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern | 2012 |
Wanja Schöpfer | Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät | 2012 |
Markus Groß | Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden | 2011 |