Homepage Sitemap Contact




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 &
Prof. Dr.-Ing. Tim Güneysu


Choose a document for viewing:

All Bachelor Master Diploma
2017 anzeigen
anzeigen
2016 anzeigen
anzeigen
2015 anzeigen
anzeigen
anzeigen
2014 anzeigen
anzeigen
anzeigen
2013 anzeigen
anzeigen
2012 anzeigen
anzeigen
anzeigen
2011 anzeigen anzeigen anzeigen
2010 anzeigen anzeigen
2009 anzeigen anzeigen
2008 anzeigen
2007 anzeigen
2006 anzeigen
2005 anzeigen


NameTopic
Stephan EggersglüßTestmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems

Ausgezeichnet als beste Abschlussarbeit des Jahrgangs
Christian GenzAnalyse und Visualisierung von SystemC-Spezifikationen
Marcin GrdenÜberdeckungsmaße in der formalen Hardware Verifikation
Michael KlemmTestmusterkompaktierung mit Genetischen Algorithmen
Ulrich KühneModellierung und Verifikation eines RISC Prozessors

Ausgezeichnet mit dem Bremer Studienpreis 2006
André SteinkampHeuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem
Andre SülflowÜber die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus
Tim WarodeStrukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung
Robert WilleErstellung von Free Binary Decision Diagrams mit SAT-Beweisern



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



Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE