AG RA - Lehre - Diplomarbeiten

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:

Alle	Bachelor	Master	Diplom
2013
2012
2011
2010
2009
2008
2007
2006
2005

Diplom

Name	Thema	Jahr
Puvanendran Abirami	Testgetriebener Systementwurf auf Basis von SysML Modellen	2013
Trzebiatowski Karl	Automatisierung eines Zuweisungssystems für die Lehramtausbildung	2013
Nils Przigoda	Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf	2013
Pavel Dimitrov	Autonomous Track Control Systems for Trains	2012
Eleonora Schönborn	Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen	2012
Julia Seiter	Property Checking of Quantum Circuits	2012
Fereshta Yazdani	Einbettung reversibler Logik in SystemC	2012
Melanie Diepenbeck	SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells	2011
Norman Gülcü	Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen	2011
Sebastian Jauert	Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge	2011
Markus Möhrke	Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern	2011
Philipp Klaffert	Fehlertolerante Schaltkreise mit geringem Ressourcenbedarf unter Verwendung partieller Redundanz	2010
Stefanie Meyer	Optimierung der Don't Care Anzahl bei SAT-basierter Testmustergenerierung mittels 3-wertiger Logik	2010
Jan Carstens	Testmustergenerierung durch Kombination Boolescher Beweiser	2009
Jannes Dinse	System-on-Chip Entwurf eines RISC mit einem FPGA	2009
Alexander Finder	Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke	2009
Manuel Friebus	Visualisierung von SystemC auf Systemebene	2009
Finn Haedicke	Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern	2009
Hoang M. Le	Formal Verification of abstract SystemC designs via Bounded Model Checking	2009
Olaf von der Ahe	Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern	2009
Hongyan Zhang	Modellierung, Validation und Verifikation der SIMATIC S5 CPU	2009
Stefan Frehse	Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente Algorithmen	2008
Florian Harjes	Exakte Synthese von Multiplexerschaltkreisen	2008
Marc Messing	Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung	2008
Sebastian Offermann	Faktorisierung mittels SAT-Beweisern	2008
Mathias Soeken	Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene	2008
Sara Badkoubeh	Einsatz von interaktiven Lernmodulen in der technischen Informatik	2007
Tim Cassens	Statische Kompaktierung von Testmustern für Schaltkreise	2007
Xiaobo Chen	Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem	2007
Jinghong Jin	Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs	2007
Frank Riese	Implementierung eines GCC Backends für eine RISC Architektur	2007
Stephan Eggersglüß	Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems Ausgezeichnet als beste Abschlussarbeit des Jahrgangs	2006
Christian Genz	Analyse und Visualisierung von SystemC-Spezifikationen	2006
Marcin Grden	Überdeckungsmaße in der formalen Hardware Verifikation	2006
Michael Klemm	Testmusterkompaktierung mit Genetischen Algorithmen	2006
Ulrich Kühne	Modellierung und Verifikation eines RISC Prozessors Ausgezeichnet mit dem Bremer Studienpreis 2006	2006
André Steinkamp	Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem	2006
Andre Sülflow	Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus	2006
Tim Warode	Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung	2006
Robert Wille	Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern	2006
Sebastian Kinder	Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung Ausgezeichnet mit dem Bremer Ingenieurpreis 2005	2005

[x schliessen]

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.