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

Name	Thema	Abschluss	Jahr
Puvanendran Abirami	Testgetriebener Systementwurf auf Basis von SysML Modellen	Diplom	2013
Sascha Hestermann	Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers	Bachelor	2013
Trzebiatowski Karl	Automatisierung eines Zuweisungssystems für die Lehramtausbildung	Diplom	2013
Nils Przigoda	Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf	Diplom	2013
Bastian Blachetta	SystemC-Synthese aus SysML-Modellen	Master	2012
Pavel Dimitrov	Autonomous Track Control Systems for Trains	Diplom	2012
Vladimir Herdt	Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation	Bachelor	2012
Christoph Hilken	Verifikation dynamischer Aspekte in SysML Modellen	Master	2012
Sebastian Huhn	Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers	Bachelor	2012
Eugen Kuksa	Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen	Bachelor	2012
Christian Otterstedt	Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern	Master	2012
Eleonora Schönborn	Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen	Diplom	2012
Wanja Schöpfer	Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät	Master	2012
Julia Seiter	Property Checking of Quantum Circuits	Diplom	2012
Clemens Werther	Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch	Bachelor	2012
Fereshta Yazdani	Einbettung reversibler Logik in SystemC	Diplom	2012
Melanie Diepenbeck	SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells	Diplom	2011
Markus Groß	Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden	Master	2011
Norman Gülcü	Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen	Diplom	2011
Sebastian Jauert	Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge	Diplom	2011
Markus Möhrke	Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern	Diplom	2011
Keszöcze Oliver	Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods	Bachelor	2011
Bastian Blachetta	Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise	Bachelor	2010
Philipp Klaffert	Fehlertolerante Schaltkreise mit geringem Ressourcenbedarf unter Verwendung partieller Redundanz	Diplom	2010
Stefanie Meyer	Optimierung der Don't Care Anzahl bei SAT-basierter Testmustergenerierung mittels 3-wertiger Logik	Diplom	2010
Christian Otterstedt	Synthese sequentieller reversibler Schaltkreise	Bachelor	2010
Jan Carstens	Testmustergenerierung durch Kombination Boolescher Beweiser	Diplom	2009
Jannes Dinse	System-on-Chip Entwurf eines RISC mit einem FPGA	Diplom	2009
Hristina Fidanoska	Complete Algorithms for Solving the Boolean Satisfaiablitity Problem	Bachelor	2009
Alexander Finder	Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke	Diplom	2009
Manuel Friebus	Visualisierung von SystemC auf Systemebene	Diplom	2009
Markus Groß	Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen	Bachelor	2009
Finn Haedicke	Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern	Diplom	2009
Hoang M. Le	Formal Verification of abstract SystemC designs via Bounded Model Checking	Diplom	2009
Andreas Schröder	Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen	Bachelor	2009
Olaf von der Ahe	Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern	Diplom	2009
Hongyan Zhang	Modellierung, Validation und Verifikation der SIMATIC S5 CPU	Diplom	2009
Stefan Frehse	Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente Algorithmen	Diplom	2008
Florian Harjes	Exakte Synthese von Multiplexerschaltkreisen	Diplom	2008
Marc Messing	Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung	Diplom	2008
Sebastian Offermann	Faktorisierung mittels SAT-Beweisern	Diplom	2008
Mathias Soeken	Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene	Diplom	2008
Sara Badkoubeh	Einsatz von interaktiven Lernmodulen in der technischen Informatik	Diplom	2007
Tim Cassens	Statische Kompaktierung von Testmustern für Schaltkreise	Diplom	2007
Xiaobo Chen	Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem	Diplom	2007
Jinghong Jin	Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs	Diplom	2007
Frank Riese	Implementierung eines GCC Backends für eine RISC Architektur	Diplom	2007
Stephan Eggersglüß	Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems Ausgezeichnet als beste Abschlussarbeit des Jahrgangs	Diplom	2006
Christian Genz	Analyse und Visualisierung von SystemC-Spezifikationen	Diplom	2006
Marcin Grden	Überdeckungsmaße in der formalen Hardware Verifikation	Diplom	2006
Michael Klemm	Testmusterkompaktierung mit Genetischen Algorithmen	Diplom	2006
Ulrich Kühne	Modellierung und Verifikation eines RISC Prozessors Ausgezeichnet mit dem Bremer Studienpreis 2006	Diplom	2006
André Steinkamp	Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem	Diplom	2006
Andre Sülflow	Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus	Diplom	2006
Tim Warode	Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung	Diplom	2006
Robert Wille	Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern	Diplom	2006
Sebastian Kinder	Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung Ausgezeichnet mit dem Bremer Ingenieurpreis 2005	Diplom	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.