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 group 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

Choose a document for viewing:

All	Bachelor	Master	Diploma
2009
2008
2007
2006
2005

Name	Topic	Degree	Year
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
Jan Carstens	Testmustergenerierung durch Kombination Boolescher Beweiser	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
Stefan Frehse	Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente Algorithmen	Diplom	2008
Mathias Soeken	Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene	Diplom	2008
Florian Harjes	Exakte Synthese von Multiplexerschaltkreisen	Diplom	2008
Sebastian Offermann	Faktorisierung mittels SAT-Beweisern	Diplom	2008
Marc Messing	Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung	Diplom	2008
Frank Riese	Implementierung eines GCC Backends für eine RISC Architektur	Diplom	2007
Xiaobo Chen	Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem	Diplom	2007
Sara Badkoubeh	Einsatz von interaktiven Lernmodulen in der technischen Informatik	Diplom	2007
Jinghong Jin	Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs	Diplom	2007
Tim Cassens	Statische Kompaktierung von Testmustern für Schaltkreise	Diplom	2007
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
André Steinkamp	Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem	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
Stephan Eggersglüß	Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems	Diplom	2006
Christian Genz	Analyse und Visualisierung von SystemC-Spezifikationen	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.