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
Arman Allahyari-AbhariExakte Synthese minimaler NCV-|v1>-Quantenschaltkreise
Andrej FastVerbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen
Tobias KoehlerVergleich von formalen Methoden zur Fehlerlokalisierung in Software
Nils  PrzigodaAlgorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf
Abirami Puvanendran Testgetriebener Systementwurf auf Basis von SysML Modellen
Matthias  SchilmannOptimierung von Tiefenkosten auf reversibler Ebene
Kenneth SchmitzSimultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen
Karl TrzebiatowskiAutomatisierung eines Zuweisungssystems für die Lehramtausbildung
Aljoscha WindhorstEntwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse
Mathäus  WojtFehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test



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