AG RA - Studies - Master Thesis

Home « Studies « Master Thesis

Dear reader,

entering a dialog to find interesting topics for Bachelor-, Master- and Diploma theses has been proven benefitial for our working groups in the past.

Thus we do not supply a fixed list of topics to choose from. Please don't hesitate to contact us personally or by phone or email.

Regards,
Prof. Dr. Rolf Drechsler &
Prof. Dr. Görschwin Fey

Choose a document for viewing:

All	Bachelor	Master	Diploma
2012
2011
2010
2009
2008
2007
2006
2005

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

[x close]

Following the links Team and Alumni you can observe a list of active co-workers and finished Ph.D. students.