|
Home « Lehre « Abschlussarbeiten
 |
Liebe Interessentinnen und liebe Interessenten,
in unseren Arbeitsgruppen hat es sich bewährt, dass Bachelor-, Master- und Diplomarbeitsthemen
in einem Gespräch erarbeitet werden.
Feste Themen geben wir für gewöhnlich nicht vor
und bieten daher an, sich persönlich, telefonisch oder per Email
zu melden.
Mit freundlichen Grüßen
Prof. Dr. Rolf Drechsler &
Prof. Dr. Görschwin Fey
|
Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:
2006
| Name | Thema | Abschluss |
| 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 |
|
Im Bereich ' Team', bzw. ' Alumni' können Sie
einsehen, wer von den Absolventen im Anschluss weiter in der Gruppe geblieben ist, bzw. bereits den Doktortitel erlangt hat.
|
|
