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 |
Caroline Dominik | Embedding Sequential Circuits for their Polynomial Formal Verification | Master |
Jan Patrick Heine | Der Einfluss von Backbone-Architekturen auf eine merkmalsbasierte Motiverkennung zur automatisierten Optimierung von Bilddatensätzen für Deep Neural Networks | Master |
Jeremy Hutapea | Design and Verification of a Configurable PWM Peripheral in RTL using SpinalHDL | Master |
Sena Ilkbahar | Synthetische Generierung von Testdatensätzen für die forensische Datensicherung - Verbesserung der Effizienz und Handhabung von Verifizierungsmethoden | Bachelor |
Karl Aaron Rudkowski | Verification of SystemC RTL Peripherals using Symbolic Execution | Master |
Alireza Vakili | Pipelined RISC-V Processor using High-level Synthesis | Bachelor |
Kristoffer Weller | Visualization of Symbolic Execution Combining 2D and 3D Techniques to Visualize Symbolic Program Execution-Traces | Master |
Muhammed Ali Yildiz | Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionären Algorithmen | Bachelor |