|
|
Only available in german.
For more information please contact
Prof. Dr. Rolf Drechsler
»Telefon: +49 [421] 218-7390
»Telefax: +49 [421] 218-7385
»Email: Prof. Dr. R. Drechsler
|
Auswahl betreuter Diplomarbeiten:
| Name |
Topic |
Year |
| Offermann, Sebastian |
Faktorisierung mittels SAT-Beweisern |
2008 |
| Messing, Marc |
Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung |
2008 |
| Cassens, Tim |
Statische Kompaktierung von Testmustern für Schaltkreise |
2007 |
| Jin, Jinghong |
Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs |
2007 |
| Badkoubeh, Sara |
Einsatz von interaktiven Lernmodulen in der technischen Informatik |
2007 |
| Chen, Xiaobo |
Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem |
2007 |
| Riese, Frank |
Implementierung eines GCC Backends für eine RISC Architektur |
2007 |
| Kühne, Ulrich |
Modellierung und Verifikation eines RISC Prozessors
Ausgezeichnet mit dem Bremer Studienpreis 2006 |
2006 |
| Grden, Marcin |
Überdeckungsmaße in der formalen Hardware Verifikation |
2006 |
| Warode, Tim |
Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung |
2006 |
| Steinkamp, André |
Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem |
2006 |
| Klemm, Michael |
Testmusterkompaktierung mit Genetischen Algorithmen |
2006 |
| Wille, Robert |
Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern |
2006 |
| Sülflow, Andre |
Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus |
2006 |
| Eggersglüß, Stephan |
Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems |
2006 |
| Genz, Christian |
Analyse und Visualisierung von SystemC-Spezifikationen |
2006 |
| Kinder, Sebastian |
Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung
Ausgezeichnet mit dem Bremer Ingenieurpreis 2005 |
2005 |
|
|
|
