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 |