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 |
Stephan Eggersglüß | Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems Ausgezeichnet als beste Abschlussarbeit des Jahrgangs | Diplom |
Christian Genz | Analyse und Visualisierung von SystemC-Spezifikationen | Diplom |
Marcin Grden | Überdeckungsmaße in der formalen Hardware Verifikation | Diplom |
Michael Klemm | Testmusterkompaktierung mit Genetischen Algorithmen | Diplom |
Ulrich Kühne | Modellierung und Verifikation eines RISC Prozessors Ausgezeichnet mit dem Bremer Studienpreis 2006 | Diplom |
André Steinkamp | Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem | Diplom |
Andre Sülflow | Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus | Diplom |
Tim Warode | Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung | Diplom |
Robert Wille | Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern | Diplom |