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 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
2018 anzeigen
anzeigen
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


2013
NameTopicAbschluss
Arman Allahyari-AbhariExakte Synthese minimaler NCV-|v1>-QuantenschaltkreiseDiplom
Luka  DschaakErmittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?Bachelor
Andrej FastVerbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische AlgorithmenDiplom
Torben  HansingModellgetriebene Simulation von MicrocontrollersystemenBachelor
Sascha HestermannHardwarebeschleunigung eines ErfüllbarkeitsbeweisersBachelor
Tobias KoehlerVergleich von formalen Methoden zur Fehlerlokalisierung in SoftwareDiplom
Niklas KrafczykAutomatische Integration von Hardware-Modulen auf Register-Transfer-EbeneBachelor
Aaron Frederick LyeOptimization of Quantum Circuits for Linear Nearest Neighbor ArchitecturesBachelor
Ali MohammadzadehSynthese reversibler Funktionen mithilfe des ZauberwürfelsBachelor
Marc  NiehausComparing UML Models to Natural Language SpecificationsBachelor
Lennart PleußEntwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-ModellenBachelor
Nils  PrzigodaAlgorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im EntwurfDiplom
Abirami Puvanendran Testgetriebener Systementwurf auf Basis von SysML ModellenDiplom
Matthias  SchilmannOptimierung von Tiefenkosten auf reversibler EbeneDiplom
Kenneth SchmitzSimultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter TestmengenDiplom
Karl TrzebiatowskiAutomatisierung eines Zuweisungssystems für die LehramtausbildungDiplom
Aljoscha WindhorstEntwurf und Implementierung eines C-Beweisers für die funktionale AbdeckungsanalyseDiplom
Mathäus  WojtFehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online TestDiplom



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