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


2011
NameTopicAbschluss
Melanie DiepenbeckSAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At FehlermodellsDiplom
Markus GroßAutomatische kontrollflussbasierte Programm–Synthese mithilfe formaler MethodenMaster
Norman GülcüEinbetten irreversibler Funktionen mit Hilfe evolutionärer AlgorithmenDiplom
Sebastian JauertFormale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer ZusammenhängeDiplom
Markus MöhrkeExakte Synthese von NAND-Schaltungen mit ErfüllbarkeitsbeweisernDiplom
Keszöcze Oliver Realization of Modular Exponentiation in Reversible Logic using Automatic Design MethodsBachelor



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