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