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 |
Jan Patrick Heine | Der Einfluss von Backbone-Architekturen auf eine merkmalsbasierte Motiverkennung zur automatisierten Optimierung von Bilddatensätzen für Deep Neural Networks |
Jeremy Hutapea | Design and Verification of a Configurable PWM Peripheral in RTL using SpinalHDL |
Karl Aaron Rudkowski | Verification of SystemC RTL Peripherals using Symbolic Execution |
Kristoffer Weller | Visualization of Symbolic Execution Combining 2D and 3D Techniques to Visualize Symbolic Program Execution-Traces |