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


NameTopicYear
Dan
Sörgel
Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation2017
Lars
Schmertmann
Analyse von SHA256 mit Hilfe von CryptoMiniSat2017
Eike
Behrends
Detektion von Abhängigkeiten zwischen User Stories mittels NLP2016
Max Benjamin
Nitze
Constraint-based Test-Data Generation2016
Carsten
Schiefelbein
Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS2016
Ronald Smith
Djomkam Yotedje
Generic Information Extraction Using Triple-Store Databases2016
Katrin
Thielmann
Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks2015
Clemens
Werther
Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen2015
Alexander T.
Lange
Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge2015
Maxime Djao
Mola
Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen2015
Murat
Göksu
Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten2014
Vladimir
Herdt
Complete Symbolic Simulation of SystemC Models2014
Sebastian
Huhn
Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung2014
Xiao
Gao
Charakterisierung der Fehler von Eingebetteten Systemen2014
Christoph
Hilken
Verifikation dynamischer Aspekte in SysML Modellen2012
Bastian
Blachetta
SystemC-Synthese aus SysML-Modellen2012
Wanja
Schöpfer
Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät2012
Christian
Otterstedt
Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern2012
Markus
Groß
Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden2011



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