Arbeitsgruppe Forschung Lehre Publikationen Service Kontakt » A bis Z Alumni Aktuelles Anfahrt Buchbeiträge Bücher Diplomarbeiten Team Bereiche Startseite Impressum Internes Jobs Konferenzen Adressen Kooperationen Lehrmaterial Links Projekte Promotionen Software Struktur Studentische Projekte Workshops Zeitschriften LEHRE - DIPLOMARBEITEN Liebe Interessentinnen und liebe Interessenten, in unserer Arbeitsgruppe hat es sich bewährt, dass 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 Auswahl betreuter Diplomarbeiten: Name Thema Jahr Harjes, Florian Exakte Synthese von Multiplexerschaltkreisen 2008 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 Diplomarbeiten Lehrmaterial stud. Projekte